目标是函数func仅对枚举类型有声明，其他类型直接编译出错

#include <type_traits>

template<class T>
void func(typename std::enable_if<std::is_enum<T>::value, T>::type* objs);
enum Color { Red, Green, Blue };
int main()
{
        Color c;
        func(&c);
}

x.cc: In function ‘int main()’:
x.cc:11:16: error: no matching function for call to ‘func(Color*)’
         func(&c);
                ^
x.cc:4:6: note: candidate: ‘template<class T> void func(typename std::enable_if<std::is_enum<_Tp>::value, T>::type*)’
void func(typename std::enable_if<std::is_enum<T>::value, T>::type* objs);
      ^~~~
x.cc:4:6: note:   template argument deduction/substitution failed:
x.cc:11:16: note:   couldn't deduce template parameter ‘T’
         func(&c);


func<Color>(&c) 是能用的，但不是我想要的
--
修改:laputa2013 FROM 49.7.21.*
FROM 49.7.21.*

那有什么办法达到函数只对枚举类型参数有定义么？


【 在 ilovecpp (cpp) 的大作中提到: 】
: 往前翻几页看“模板这样特化为什么不行？”这个帖子。
--
FROM 49.7.21.*

能并列写多种么？

比如
对枚举有效，且有一个偏特化
对union有效，且有一个偏特化
对其他类型无效
  
【 在 ilovecpp () 的大作中提到: 】
: enable_if<..., return_type>::type f(T)
: 或者
: f(T, enable_if<..., int>::type _=0)
:  
--
FROM 106.121.69.*

你写的这种不叫偏特化，叫函数重载。
函数重载你想写多少个版本都可以。

【 在 laputa2013 的大作中提到: 】
: 能并列写多种么？
: 比如
: 对枚举有效，且有一个偏特化
: ...................
--
FROM 114.86.89.*