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＋＋模板早已实现了这个特性。

评论

3 楼 qiezi 2007-01-07  

不是不支持，是不完善，以后应该会改进吧。

2 楼 taowen 2007-01-05  

类型推倒不支持？那constraint就更不支持喽？这模板也太弱了吧……

1 楼 qiezi 2006-12-05  

在邮件列表中找到一个方法：

class Matrix(T, int R, int C){ 
     static assert(R > 0 && C > 0); 
     const r = R; 
     const c = C; 

     Matrix!(T,R,M.c) opMul(M)(M rhs){ 
         static assert(C == M.r, 
                       "Matrix inner dimensions must agree for *"); 
         return null; 
     } 
} 

权宜之计，不得已而用之，期望以后能完善“模板参数类型隐式推导”。