为什么用enable_if编译错误

Question

为什么这不能用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;};
  ^

叮当声错误：

/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）。我找到了其他适合我的解决办法。如果依赖于T，则启用_：

typename std::enable_if<(sizeof(T),N==1), int>::type

Answer 1

要让std:：enable_if像这样工作，您需要依赖SFINAE。不幸的是，在你宣布

S<1> s1;

它将实例化所有的S

对于这样的事情，我可能会遵循单独的模板结构：

template <bool B>
struct f_functor {
    template <typename T>
    static int f(T t) { return 1; }
};

template <>
struct f_functor<false> {
    template <typename T>
    static int f(T t) { return 2; }
};

template <int N> 
struct S {

    template<class T> 
    typename int f(T t) { return f_functor<N==1>::f(t); }
};

Answer 2

好吧，我不确定你想做什么，但也许这段代码会有所帮助：

#include <iostream>

template <int N>
struct S {

    template<class T=int>
    typename std::enable_if<N==1, T>::type
    f(T t) {return 1;}

    template<class T=int>
    typename std::enable_if<N!=1, T>::type
    f(T t) {return 2;}
};

int main()
{
    S<1> s1;
    S<2> s2;
    std::cout << s1.f(99) << " " << std::endl << s2.f(5);
}

这打印1和2。

Answer 3

因为您在函数模板中使用enable_if而不使用模板参数T。如果您想在结构S具有特定模板参数值N时进行特化，则需要使用类模板特化。

template <int N, class Enable = void> 
struct S {  };

template <int N>
struct S<N, typename std::enable_if<N == 1>::type>
{
  ....
};