相同模板参数时不同类型？

Question

struct Matrix(T, size_t row, size_t col){

  alias row Row;
  alias col Col;

  auto opBinary(string op, M)(in M m) const if(op == "*"){
    static assert(Col == M.Row, "Cannot Mix Matrices Of Different Sizes.");
    // whatever...
    return Matrix!(T, Row, M.Col)();
  }
}


void main(){


  Matrix!(double, 2, 3) m1 = Matrix!(double, 2, 3)();
  Matrix!(double, 3, 2) m2 = Matrix!(double, 3, 2)();
  Matrix!(double, 2, 2) m3 = m1 * m2;  // ERROR
// Error: cannot implicitly convert expression (m1.opBinary(m2)) of type Matrix!(double,row,col) to Matrix!(double,2,2)
}

为什么会出现错误以及如何解决这个问题？

Answer 1

问题在于，目前模板是使用其参数类型而不是参数类型来实例化的。

如果您将 return 语句更改为：

return Matrix!(T, cast(int)Row, cast(int)M.Col)();

它将编译，因为它是用 int 实例化的，而不是 size_t （它是 uint 或 ulong）。

这是一个长期存在的错误，尽管他以前不喜欢它，沃尔特最近改变了他的请注意支持更改此设置以使用参数类型。 这里是解决此问题的拉取请求（它将在下一个DMD 版本），链接各种相关错误。