这本教科书有错吗？专门化某些成员函数，但不专门化其他成员函数答案

【问题标题】：Is this textbook wrong? Specialising some member functions but not others这本教科书有错吗？专门化某些成员函数，但不专门化其他成员函数
【发布时间】：2011-08-03 16:42:54
【问题描述】：

我正在阅读 Vandevoorde 和 Josuttis 的“C++ 模板完整指南”（顺便说一句，这似乎很不错）。这种说法（第 3.3 节）似乎是错误的and is not in the published errata：

如果您特化一个类模板，您还必须特化所有成员函数。虽然可以特化单个成员函数，但是一旦你这样做了，你就不能再特化整个类。

以下是在 gcc 上编译的模板

<typename T>
struct C {
    T foo ();
    T bar ();
};

template <>
struct C<int> {
    int foo ();
    int bar () {return 4;}
};

template <typename T>
T C<T> :: foo () {return 0;}

template <typename T>
T C<T> :: bar () {return 1;}

int C<int> :: foo () {return 2;}

template <>
float C<float> :: bar () {return 3;}

#include <cassert>

int main () {
    C<int> i;
    C<float> f;
    assert (2 == i .foo ());
    assert (0 == f .foo ());
    assert (4 == i .bar ());
    assert (3 == f .bar ());
}

我有专门的C<int>::foo和C<float>::bar所以是教科书错了，是gcc超出了标准，还是我误解了整个情况？

谢谢。

【问题讨论】：

您误解了规则。一旦你特化了一个成员函数，你就不能在同一类型上特化一个类，而不是在所有其他类型上。

标签： c++ templates gcc template-specialization

【解决方案1】：

你不能这样做：

template <typename T> struct C
{
   T foo ()     { return 0;}
   T bar ()     { return 1;}
};

// partial specialization of foo on C<int>
template <>
int C<int> :: foo () {return 2;}

// partial specialization of bar on C<float>
template <>
float C<float> :: bar () {return 3;}

// will not compile, C<int> already partially specialized
template <>
struct C<int>
{
   int foo() {return 10;}
   int bar() {return 10;}
};

【讨论】：

这是一个普通的重定义错误，与模板无关。这就是我困惑的原因吗？仅仅因为它在模板的上下文中被提及？好悲伤...
在这种情况下，您可以这样想是的。如果你在C<int>的特化中去掉foo()的实现，它只会把部分特化当作这个函数的实现。

【解决方案2】：

不，这本书没有错。恐怕你的理解是:)

在这种情况下，只有 1 个成员函数 - foo 用于 C<int>，bar 用于 C<float>

现在您不能明确专门化 C<int> 或 C<float>。但是你可以专攻C<char>

【讨论】：

请查看我更新的问题。我现在已经为C<float> 专门化了一个函数（条形），并为C<int> 提供了一个完整的专业化——这与教科书不矛盾吗？
不，您对 C::foo() 的“部分专业化”实际上只是完全专业化版本的定义。有关详细信息，请参阅下面的答案。