1

我有一个模板结构，我想像这样“重载”：

#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"; }
}

它可以正常工作。

4

2 回答 2

2

您必须使用这些模板参数来指定哪个 foo, 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";
}

您还忘记了模板类定义后的分号。

于 2012-11-02T19:11:50.630 回答
0

您只能在函数原型上指定一次默认模板参数（如果该函数具有原型）。

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

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

那是不必要的。简单地说：

template <typename T, typename U> void f() {}
于 2012-11-02T19:05:08.137 回答