如何部分专门化枚举值的类模板？

Question

可以基于枚举值来专门化模板

#include <type_traits>

template<typename T, typename = void>
struct Specialize
{
};

template<typename T>
struct Specialize<T, typename std::enable_if<std::is_enum<T>::value>::type>
{
    void convert() { }
};

enum E
{
};

int main()
{
    Specialize<E> spec;
    spec.convert();
}

// My doubt: is below code valid? if not how to achieve this?

enum E
{
    E1,
    E2
};

int main()
{
    Specialize<E, E1> spec;
    spec.convert();
}

这是对以下问题的回答的后续问题。

我怎样才能部分专门化所有枚举的类模板？

我已将答案的答案中的代码粘贴到上面链接的问题中。

我的更改出现以下错误。

error: type/value mismatch at argument 2 in template parameter list for _template<class T, class>

Answer 1

//我的疑问：以下代码是否有效？

Specialize<E, E1> spec;

简短答案：不可以。

长答案。

您已将Specialized定义为接收两种类型的模板参数的模板struct

template<typename T, typename = void>
struct Specialize
{
};

E是类型，但E1是值 。

如果没有，该如何实现？

如果希望您的struct / class接收一个类型和该类型的值作为模板参数，以使struct / class的特殊化成为可能（如果且仅当该类型是枚举时），则必须添加typename = void作为第三个模板参数

template<typename T, T Val, typename = void>
struct Specialize
{
};

template<typename T, T Val>
struct Specialize<T, Val, typename std::enable_if<std::is_enum<T>::value>::type>
{
    void convert() { }
};

从C ++ 17开始，您还可以将auto用作模板值的类型，并删除第一个模板参数

template<auto Val, typename = void>
struct Specialize
{
};

template<auto Val>
struct Specialize<Val, std::enable_if_t<std::is_enum_v<decltype(Val)>>>
{
    void convert() { }
};

-编辑-

OP问

我们如何在结构/类之外定义函数“转换”？

不幸的是，在这种情况下，我没有办法避免std::enable_if重复

template <typename T, T Val>
struct Specialize<T, Val,
   typename std::enable_if<std::is_enum<T>::value>::type>
 { void convert(); };

template <typename T, T Val>
void Specialize<T, Val,
   typename std::enable_if<std::is_enum<T>::value>::type>::convert ()
 { };

Answer 2

您的编译器会告诉您Specialize<E, E1> spec; 是无效的。

您可以使用std::integral_constant将值包装为类型。

template<typename T, T V>
struct Specialize<std::integral_constant<T, V>, typename std::enable_if<std::is_enum<T>::value>::type>
{
    void convert() { }
};

int main()
{
    Specialize<std::integral_constant<E, E1>> spec;
    spec.convert();
}