成员函数的部分特化[重复]

Question

可能重复：
“invalid use of incomplete type” error with partial template specialization

为什么我可以这样做：

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

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

但不是这个：

template <typename> struct C {};

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

template <typename T>
void A<C<T> >::foo(int)
{
}

对于第二种情况，GCC 给出以下错误：

test.cpp:10:23: error: invalid use of incomplete type 'struct A<C<T> >'
test.cpp:4:8: error: declaration of 'struct A<C<T> >'

编辑：

在解释为什么不允许第二个示例时，还请考虑使成员函数也成为模板对哪个示例有效和哪个无效没有影响。也就是说，这仍然有效：

template <typename T>
struct A
{
    template <typename U>
    void foo(U);
};

template <>
template <typename U>
void A<int>::foo(U)
{
}

但事实并非如此：

template <typename> struct C {};

template <typename T>
struct A
{
    template <typename U>
    void foo(U);
};

template <typename T>
template <typename U>
void A<C<T> >::foo(U)
{
}

所以原因不能是函数模板只能完全特化，因为第三个示例不是完全特化（模板参数U 仍然存在），但它仍然有效。

Answer 1

函数模板只能完全特化，不能部分特化。

您使用的是类模板的成员函数本身就是函数模板这一事实，因此该规则仍然适用。

---

至于您的编辑：从 14.7.3/1 开始，以下内容可以明确（即完全）专门化：

以下任何一项的明确特化：

——函数模板

——类模板

— 类模板的成员函数

——类模板的静态数据成员

——类模板的成员类

——类模板的成员枚举

——类或类模板的成员类模板

——类或类模板的成员函数模板

可以通过template<>;引入的声明来声明

我已经强调了适用于您的案例的两个陈述。在没有任何其他明确规定的情况下，这些实体不能被部分专门化。