D语言的成员函数模板
DMD 0.166 特性列表中有一条：* ncorporated Oskar Linde's patches to support member templates.
当时没注意，今天看到邮件列表中的一个帖子。才发现已经支持成员函数模板了，不过是不是在0.166中支持的就不清楚了。
没有成员函数模板的模板是不完整的。一个简单的例子，源于我的另一篇“泛型矩阵类”：
class Matrix(T, int R, int C){ static assert(R > 0 && C > 0); Matrix!(T, R, C1) opMul(int C1)(Matrix!(T,C,C1) rhs){ return null; }}int main(){ { Matrix!(int, 3, 4) m1; Matrix!(int,4,3) m2; // 维度匹配，可以相乘 Matrix!(int, 3, 3) m3 = m1.opMul!(3)(m2); Matrix!(int, 8, 3) m4; // 维度不匹配，无法相乘 //auto m5 = m1 * m4; // 维度匹配，可以相乘 Matrix!(int, 8, 4) m5 = m4.opMul!(4)(m1); } return 0;}
［注：仅演示类型匹配特性］
可见模板在处理强类型方面的作用。不过目前为止似乎还没有办法实现“成员函数模板参数类型自动推导”，一个小小的遗憾，否则上面的测试代码可以修改为：
int main(){ { Matrix!(int, 3, 4) m1; Matrix!(int,4,3) m2; // 维度匹配，可以相乘 Matrix!(int, 3, 3) m3 = m1 * m2; Matrix!(int, 8, 3) m4; // 维度不匹配，无法相乘 //auto m5 = m1 * m4; // 维度匹配，可以相乘 Matrix!(int, 8, 4) m5 = m4 * m1; } return 0;}
C＋＋模板早已实现了这个特性。
页:
[1]