c++ - "invalid use of incomplete type"部分模板特化错误

Question

以下代码:

template <typename S, typename T>
struct foo {
   void bar();
};

template <typename T>
void foo <int, T>::bar() {
}

给我错误

invalid use of incomplete type 'struct foo<int, T>'
declaration of 'struct foo<int, T>'

(我正在使用 gcc。)我的部分特化语法是否错误？请注意，如果我删除第二个参数:

template <typename S>
struct foo {
   void bar();
};

template <>
void foo <int>::bar() {
}

然后它会正确编译。

Answer 1

你不能部分特化一个函数。如果您希望在成员函数上这样做，则必须部分专门化整个模板(是的，这很烦人)。在大型模板类中，要部分专门化一个函数，您需要一种解决方法。也许模板化的成员结构(例如 template <typename U = T> struct Nested )会起作用。或者，您可以尝试从另一个部分特化的模板派生(如果您使用 this->member 表示法，则有效，否则会遇到编译器错误)。