模板專業化中缺少方法

Question

1. 如何確保（類）模板的專業化實現所有 函數？ （現在只有當我使用mul時，是否會收到錯誤消息。）
2. traits1/traits2的特化到int的區別是什麼？我認爲他們都是模板專業化，但traits2不接受static，並提供鏈接器錯誤，而不是編譯器錯誤。

。

#include <iostream> 

template<typename T> 
struct traits1{ 
    static T add(T a, T b) { return a+b; } /* default */ 
    static T mul(T a, T b);    /* no default */ 
}; 

template<> 
struct traits1<int> { 
    static int add(int a, int b) { return a*b; } 
    /* static int mul(int a, int b) missing, please warn */ 
}; 

template<typename T> 
struct traits2{ 
    static T add(T a, T b); 
    static T mul(T a, T b); 
}; 

template<> 
int traits2<int>::add(int a, int b) { return a*b; } 

/* traits2<int>::mul(int a, int b) missing, please warn */ 

int main() 
{ 
    std::cout << traits1<int>::add(40, 2) << "\n"; 
    // error: mul is not a member of traits1<int> 
    //std::cout << traits1<int>::mul(40, 2) << "\n"; 

    std::cout << traits2<int>::add(40, 2) << "\n"; 
    // error: undefined reference to traits2<int>::mul(int, int) 
    //std::cout << traits2<int>::mul(40, 2) << "\n"; 
    return 0; 
} 

Answer 1

1）如果你想要的只是一個特定函數的不同行爲，那麼不要專門化整個類。只專注於這個功能：

template<> 
int traits1<int>::add(int a, int b) { return a*b; } 

你不能確定專業化實現所有模板方法，因爲它們是不相關的。

2）您沒有提供traits2::mul的定義，所以當然你會得到鏈接器錯誤 - 聲明就在那裏。