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确实根据环境调整了闭包的返回类型.
                
            
        
浙公网安备 33010602011771号