d的opcast为何不编译

原文
代码:

struct Foo{
    bool opCast(T : bool)()const{
        assert(0);
    }
    ~this(){}
}

struct Bar{
    const Foo foo;
}

void main(){
}

错误,opCast!(Foo)模板实例不匹配opCast(T : bool)().
Tejas:
因为析构器忽略了const,手动添加~this析构器,使编译器必须通过cast(Foo) foo来去掉常,又因为你定义了仅接受隐式转为极的opCast,所以失败了.
移除特化,改为返回T,就成功了.

struct Foo{
    Foo opCast(T)()const {
        assert(0);//断定
        return this;
    }
    ~this() {}
}

struct Bar{
    const Foo foo;
}

void main(){
    //Bar bar = Bar(); //触发断定错误.
}

常与转换.

---

opIndexAssign,不能编译时区分初化/赋值.

Stuff[Key] aa;
aa[key] = Stuff(args); //表面初化
aa[key] = otherStuff;  //赋值给存在值.