C++ - 定義聲明之外的模板成員函數

Question

我有一個模板結構，我想「過載」是這樣的：

#include <iostream> 

template <typename T, typename U = int> 
struct foo { 
    void operator()(T, U); 
} 

template <typename T, typename U = int> 
void foo::operator()(T a, U b){ 
    std::cout << "T, U()\n"; 
} 

template <typename T> 
struct foo<T, int> { 
    void operator()(T); 
} 

template <typename T> 
void foo<T, int>::operator()(T a){ 
    std::cout << "T()\n"; 
} 

int main(int argc, char **argv){ 
    foo<int> a; 
    foo<int, char> b; 

    a(1); 
    b(2, 'b'); 

    return false; 
} 

但是在編譯我收到以下錯誤：

($ g++ test.cpp -o test) 
test.cpp:11:6: error: 'template<class T, class U> struct foo' used without template parameters 
test.cpp:11:30: error: 'void operator()(T, U)' must be a nonstatic member function 

這很奇怪，因爲foo的定義是< T，int> :: operator（）似乎很完美。另外，當我像這樣定義內聯函數時：

template <typename T, typename U = int> 
struct foo { 
    void operator()(T a, U b){ std::cout << "T, U()\n"; } 
} 

它的工作沒有問題。

Answer 1

你必須使用這些模板參數指定哪個富，foo<T,U>::operator()。並從定義中刪除默認的模板參數值。

template <typename T, typename U> // don't use a default parameter 
void foo<T,U>::operator()(T a, U b){ // don't forget the <T,U> here 
    std::cout << "T, U()\n"; 
} 

你也忘了模板類定義之後的分號。

Answer 2

您只能在函數原型上指定默認模板參數（如果該函數有原型）。

template <typename T, typename U = int> void f(); 
// .... 

template <typename T, typename U = int> void f() {} 

這是不需要的。簡單地使其：

template <typename T, typename U> void f() {}