要特化一个类模板,必须重新定义底层基模板(即非特化类模板)中的所有成员函数,即使它们预计大部分保持不变。有哪些公认的方法和“最佳实践”可以避免这种代码重复?
谢谢。
最佳答案
您可以选择性地完全特化一个成员:
template<int N>
struct Vector {
int calculate() { return N; }
};
// put into the .cpp file, or make inline!
template<>
int Vector<3>::calculate() { return -1; }
您进行了全面特化。这意味着你不能部分特化它:
template<int N, int P>
struct Vector {
int calculate() { return N; }
};
// WROOONG!
template<int N>
int Vector<N, 3>::calculate() { return -1; }
如果需要,可以使用 enable_if:
template<int N, int P>
struct Vector {
int calculate() { return calculate<P>(); }
private:
// enable for P1 == 3
template<int P1>
typename enable_if_c<P1 == P && P1 == 3, int>::type
calculate() { return -1; }
// disable for P1 == 3
template<int P1>
typename enable_if_c<!(P1 == P && P1 == 3), int>::type
calculate() { return N; }
};
另一种方法是像 Nick 推荐的那样将您的东西拆分(通用的东西分成基类,专门的东西分成派生类)。
我通常会采用第二种方法。但如果我不需要部分专门化功能,我更喜欢第一个。
关于c++ - 关于模板特化和由此产生的代码重复的问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/499236/