Специализируясь на VARIADIC функции члена шаблона нешаблонного класса

Question

У меня проблема с этим кодом:

#include <iostream> 

using namespace std; 

class A { 
public: 
     template<typename T, typename... Args> 
     void stuff(Args... args); 
}; 

template<typename T, typename... Args> 
void A::stuff(Args... args) { 
     cout << sizeof...(args) << endl; 
} 

template<> 
void A::stuff<int>() { 
     cout << "int" << endl; 
} 

int main() { 
     A a; 
     A b; 

     a.stuff<char>(); 
     b.stuff<int>(); 
} 

Trying to compile it, я получаю эту ошибку:

template-id 'stuff<int>' for 'void A::stuff()' does not match any template declaration 

Что я делаю неправильно? Я пробовал это без вариативности, и это сработало, но как я специализирую функцию Variadic template member?

Answer 1

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

template<typename T, typename... Args> 
void stuff2(Args... args); 

template<typename T, typename... Args> 
void stuff2(Args... args) { 
    cout << sizeof...(args) << endl; 
} 

template<> 
void stuff2<int>() { 
    cout << "int" << endl; 
} 
int main() {} 

Хотя лязг 3,2 компилирует это просто отлично, GCC жалуется:

spec.cpp:31:6: error: template-id 'stuff2' for 'void stuff2()' does not match any template declaration

Существует родственный SO question.

A message, похоже, подтверждает, что это действительно ошибка.