d的分发操作问题

原文

void foo(){}

  struct A{
    auto opDispatch(string op)() {
      writeln;//故意,不导入.
    }
  }

  void test(){
    A.init.foo();
  }
//dmd -c -o- main.d

当opDispatch不编译时,发生.正确行为,应是不能解析写行函数.
用void foo(A a){}替换void fun(){},不应编译.但编译了.

---

opDispatch文档未说明无法编译时,应怎么样.
应该关注,opDispatch而非ufcs.

---

最近碰到了.我一直在找显式调用opDispatch不工作原因:

A.init.opDispatch!"foo"();

即使未编译(然后打印错误消息),如果无其他有效成员,则应用opDispatch.
可能用法如下:

struct A
{
   T wrapped;
   auto opDispatch(string m, Args...)(Args args) {
       mixin("return wrapped." ~ m ~ "(args);");
   }
}

可不用约束来确保调用,但成本高(困惑/误导性错误).
opDispatch是否*匹配*不应依赖主体,而只依赖于签名和约束,与函数模板一致.

---

如果未意识到opDispatch,则不可能调试.
拒绝实例化而非生成编译错误,可导致错误重载,甚至深度域中深度模板失败.很难跟踪,最后发现是opDispatch为目标,但由于抑制错误,而安静跳过.
不应依赖实现而选择opDispatch.错误应是硬编译错误.对转发模板,很容易在opDispatch签名中用__traits(hasMember),来决定是否实例化.小小成本,而大大改进分发操作的错误报告.

---

过去,工作得很好.