d闭包隐式转换问题

原文

class Bar
{
}

class Foo
{
    Bar get() { return new Bar; }
    alias get this;
}

void main() {
    auto foo = new Foo;
    void test(Bar delegate() dg) {
        assert(dg() !is null);
    }
    test({ return foo; });
}

-vcg-ast显示闭包被编译为return cast(Bar)foo,而不是return foo.get.

test(delegate Bar() { return foo; })

而如上有效.
闭包返回类型应根据函数返回内容来决定,而不是根据返回结果的使用方式来决定.

alias fd = () => foo;
test(fd);

编译器调用test时,fd的类型已经确定为foo.-vcg-ast表明闭包返回强制转换Bar确实是错误,但是,期望返回foo.get也是不合理的.
dmd确实根据环境调整了闭包返回类型.

修复

posted @ 2022-08-29 11:14  zjh6  阅读(14)  评论(0)    收藏  举报  来源