3

我不确定如何解释这一点,所以请让我澄清任何没有意义的事情。我有一个接口和一个模板函数,它返回基于编译时参数返回匿名内部类的函数:

interface MyInterface {
    void getName();
}
MyInterface function() getMyInterfaceFactory(string name)() {
    return function() {
        return new class MyInterface {
            void getName() { //Do something involving name here }
        };
    };
}

现在,getMyInterfaceFactory()曾经是getMyInterface(),它曾经直接返回匿名对象。一切正常。当我添加工厂函数时,我在从 Object 启动期间开始收到异常:

object.Exception.....(102): need opCmp for class mymodule.getMyInterfaceFactory!("someargument").getMyInterfaceFactory.__funcliteral14.__anonclass13

所以,我查看了 druntime 源代码中的 throwing 行,它看起来像是 object 的 opCmp 的默认实现只是 throws。我没有MyInterface在任何地方比较工厂功能或 s。我将工厂存储为字符串索引关联数组的值,但是当我将匿名类直接存储在该数组中不需要 opCmp,只有当我开始存储函数时才需要。如果我插入一个 opCmp(使用内存地址),一切似乎都正常工作,但 MyInterface 并没有真正的可比性,所以我宁愿不这样做,除非我必须这样做。如果可能的话,我想知道在匿名类上调用 opCmp 的原因/位置,以及如何防止或解决它。

注意:在 Object 中 opCmp 的默认实现包括一个模糊引用错误的注释,一个注释掉的内存地址比较,然后是抛出版本。

谢谢!

编辑:我应该提一下,我尝试了 windbg 和 ddbg 来准确追踪 opCmp 被调用的位置,但在这两种情况下都失败了。Windbg 没有提供任何有用的信息,因为它固执地拒绝加载任何符号,ddbg 加载了符号,但是在初始化期间(在静态模块构造函数之后但在 main 之前)发生了异常,并且可能 ddbg 无法访问运行时符号?

4

1 回答 1

0

更新:我在重现玩具示例中的 opCmp 错误时遇到了麻烦,但我想我已经弄清楚发生了什么。
似乎创建继承匿名函数内部接口的匿名内部类是错误的(见图)。具体来说,匿名类在虚函数方面表现不佳。即使定义了 opCmp,我也遇到了 toString 和默认构造函数的错误,并且成员什么都不做(但在调用时不会抛出或出错)。__traits(allMembers, MyInterface)返回预期的信息,__traits(allMembers, typeof(anonInstance))但调用频繁列出的成员不起作用。奇怪的。
但是,如果我将接口更改为具有抽象方法的类,则会解决 opCmp 错误,匿名类的行为符合预期等。我对编译器了解不多,但我认为在编译过程中会构建一个符号表,其中将虚函数名称映射到存储在 vtbl 中的内存地址。我认为正在发生的事情是,当返回从接口派生的匿名类时,生成的地图会有所不同。这是可能的,因为接口支持多重继承,因此不能规定绝对的 vtbl 映射。然而,类可能要求所有继承者都坚持相同的映射方案(我不知道他们是否这样做,但他们可以),因此匿名类不能以不同的映射结束。
同样,我真的不确定,但它似乎符合症状,即使我没有在任何地方使用它,也会调用 opCmp。我不认为问题出在 opCmp 上,我认为 Object 中定义的所有虚函数都是易受攻击的。我能够通过以下方式支持这一点:

testopcmphelper.d
interface TestInterface {
    string helloWorld();
}
class TestClass {
    abstract string helloWorld();
}

testopcmp.d
import testopcmphelper;
import std.stdio;

void invokeFn(TestInterface function() f) {
    auto t = f();
    auto s = t.helloWorld();
    writeln(s);
}

unittest {
    auto f = function() {
        return new class TestInterface {
            string helloWorld() {
                return "Hello World!";
            }
        };
    };
    invokeFn(f);
}

void invokeFn(TestClass function() f) {
    auto t = f();
    auto s = t.helloWorld();
    writeln(s);
}

unittest {
    auto f = function() {
        return new class TestClass {
            string helloWorld() {
                return "Goodbye World!";
            }
        };
    };
    invokeFn(f);
}

哪个打印:

src.utilities.testopcmp.__unittest2.__funcliteral1.__anonclass10
Goodbye World!

表示invokeFn(TestInterface)正在调用Object.toString而不是TestInterface.helloWorld.

我将把问题留到另一天,以防我犯了错误。然后我可能会将其报告为 DMD 中的错误。我将通过只对匿名工厂函数基类型使用抽象类来解决这个问题。 TL; DR 似乎是一个错误。

于 2012-03-19T18:45:36.307 回答