Почему это не компилируется с помощью gcc48 и clang32?
#include <type_traits>
template <int N>
struct S {
template<class T>
typename std::enable_if<N==1, int>::type
f(T t) {return 1;};
template<class T>
typename std::enable_if<N!=1, int>::type
f(T t) {return 2;};
};
int main() {
S<1> s1;
return s1.f(99);
}
Ошибка GCC:
/home/lvv/p/sto/test/t.cc:12:2: error: no type named ‘type’ in ‘struct enable_if<false, int>’
f(T t) {return 2;};
^
Ошибка CLANG:
/home/lvv/p/sto/test/t.cc:11:26: error: no type named 'type' in 'std::enable_if<false, int>'; 'enable_if' cannot be used to
disable this declaration
typename std::enable_if<N!=1, int>::type
^~~~
/home/lvv/p/sto/test/t.cc:16:7: note: in instantiation of template class 'S<1>' requested here
S<1> s1;
^
РЕДАКТИРОВАНИЕ - РЕШЕНИЕ
Я принял ответ от Чарльза Сальвии, но по практическим соображениям я не смог использовать обходное решение, которое было предложено (специализируйтесь на N). Я нашел другое обходное решение, которое работает для меня. Сделать enable_if
зависеть от T
:
typename std::enable_if<(sizeof(T),N==1), int>::type