Почему при определении шаблона функции, принадлежащего шаблону класса, не нужно указывать шаблонный тип?

Question

[Qubc]

template <typename T>
class A {
    T data;
public:
    template <typename C>
    void func (C c);
};

template <typename T> template <typename C>
void A<T>::func (C c) { // non-type partial specialization 'func<C>' is not allowed, причём здесь частичная специализация?
}

int main() {
    A<int>().func<int>(1);
    A<long>().func<char>('1');
    return 0;
}

Answer 1

[code_panik]

// non-type partial specialization 'func' is not allowed

Буквально значит, что язык позволяет определить частичную специализацию только для пользовательского типа. Частичная специализация функции запрещена.
Общий вид частичной специализации можно посмотреть здесь. Видно, что в определениях есть непустые угловые скобки после template и после имени, как и в примере из вопроса.
Значит, скобки после имени функции в определении не нужны, если это не полная специализация. И в полной специализации скобки опускают, если тип выводится из типов аргументов (пример).

Comments

[Qubc]

Большое спасибо за подробный ответ и статью, но пока не удаётся собрать пазл.

[code_panik]

Qubc,

но пока не удаётся собрать пазл.

Рассмотрим пример синтаксиса частичной специализации.

#include <iostream>
#include <vector>
using namespace std;

// шаблон класса
template<typename T1, typename T2, typename T3>
class Foo {
public:
    void talk() { cout << "Template class Foo\n"; }
};

// частичная специализация шаблона класса
template<typename T>
class Foo<int, T, char> { // скобки после имени - это специализация. Не все шаблонные параметры определены, поэтому специализация именно частичная.
public:
    void talk() { cout << "Specialized class Foo\n"; }
};

// шаблон функции
template<typename T1, typename T2>
void func() { cout << "Template function func\n"; }

// частичная специализация шаблона функции запрещена!
template<typename T>
void func<T, char>() { } // скобки после имени - это специализация. Здесь это синтаксическая ошибка.

// полная специализация шаблона функции
template<> // нет шаблонных параметров
void func<int, char>() { cout << "Full specializatioin of func\n"; } // скобки после имени - это специализация

int main()
{
    Foo<vector<int>, double, char>().talk(); // Template class Foo
    Foo<int, double, char>().talk(); // Specialized class Foo
    func<double, char>(); // Template function func
    func<int, char>(); // Full specializatioin of func
    return 0;
}

Аналогично в вашем случае для шаблонной функции-члена шаблонного класса не нужно явно указывать тип в скобках после имени, т.к. иначе компилятор считает такое определение частичной специализацией функции, синтаксической ошибкой.