关于模板专业化和结果代码复制的问题

要专门化类模板,必须重新定义底层基本模板中的所有成员函数(即非专用类模板),即使它们预计基本保持不变.有哪些可接受的方法和"最佳实践"可以避免此代码重复？

谢谢.

您可以选择性地完全专门化成员:

template
struct Vector {
    int calculate() { return N; }
};

// put into the .cpp file, or make inline!
template<>
int Vector<3>::calculate() { return -1; }

你做了一个完整的专业化.意思是你不能局部专门化它:

template
struct Vector {
    int calculate() { return N; }
};

// WROOONG!
template
int Vector::calculate() { return -1; }

如果需要,可以使用enable_if:

template
struct Vector { 
    int calculate() { return calculate
(); }
private:
    // enable for P1 == 3
    template
    typename enable_if_c::type
    calculate() { return -1; }

    // disable for P1 == 3
    template
    typename enable_if_c::type
    calculate() { return N; }
};

另一种方法是将你的东西(普通的东西分成基类,特殊的东西分成派生类)分开,就像Nick推荐的那样.

我通常采取第二种方法.但如果我不需要部分专门化功能,我更喜欢第一个.