c++ - 这本教科书错了吗？专门从事某些成员职能，但不专门从事其他成员职能

我正在阅读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超出了标准，还是我误解了整个情况？

谢谢。

最佳答案

你不可以做这个:

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++ - 这本教科书错了吗？专门从事某些成员职能，但不专门从事其他成员职能，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6930039/