Странная ошибка компиляции при вызове явно специализированного члена класса функции шаблона

Question

У меня есть странные ошибки компиляции с GCC 5.1.0 (tdm64-1) компиляции следующий код

template <class T> 
struct test { 
    template <class X> 
    bool func(); 
}; 

template <class X, class Y> 
bool testfunc(X x, Y y) 
{ 
    test<Y> s; 

    if (s.func<X>()) // <-- parse error here 
     return false; 
} 

void func2() 
{ 
testfunc(double(), long()); 
} 

Ошибка

testX.cpp: In function 'bool testfunc(X, Y)': 
testX.cpp:12:15: error: expected primary-expression before '>' token 
    if (s.func<X>()) 
      ^
testX.cpp:12:17: error: expected primary-expression before ')' token 
    if (s.func<X>()) 

Обратите внимание, что ошибка возникает только в версии, когда Y является параметром шаблона. Когда я удаляю параметр шаблона Y и создаю экземпляр теста с известным типом (например, test < int>), он компилируется без ошибок.

Итак, что здесь не так?

Answer 1

Изменить это:

if (s.func<X>()) 

Для этого:

if (s.template func<X>()) 

Причиной является s.func<X> является зависимым именем, поэтому компилятор не может сказать, что func является функцией членом шаблона.

Answer 2

Поскольку s.func<X>() является зависимым именем, вы должны сообщить компилятору, что func является шаблоном, используя ключевое слово template:

s.template func<X>()