Это учебник не так? Специализируя некоторые функции-члены, но не другие

Question

Я читаю Vandevoorde и Josuttis "C ++ Templates The Complete Guide" (что, кстати, кажется довольно хорошим).Это утверждение (раздел 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

Нет, книга не ошибается.Я понимаю, что вы понимаете:)

В этом случае у вас есть специализированная функция только 1 член - foo для C<int> и bar дляC<float>

Теперь вы не можете явно специализировать C<int> или C<float>.Но вы можете специализироваться C<char>