这本教科书错了吗?专门化一些成员函数，而不是其他成员函数

Question

我正在阅读Vandevoorde和Josuttis的《c++模板完整指南》(顺便说一下，这本书看起来相当不错)。这种说法(第3.3节)似乎是错误的，并且没有在已出版的勘误表中:

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

但是下面的代码可以在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超出了标准，还是我误解了整个情况?

谢谢。

Answer 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;}
};

Answer 2

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

在这种情况下，您指定了只有一个成员函数 - foo用于C<int>, bar用于C<float>

现在你不能显式专门化C<int>或C<float>。但是你可以专门化C<char>