c++ - 如何强制模板参数为枚举或枚举类？

Question

我实现了以下类:

template<typename Enum>
class EnumDescription
{
    //TODO Force Enum to be an enum type

public:
    static std::string get( const Enum val );
};

这按预期工作，但现在我想将枚举模板参数限制为仅枚举/枚举类。

Answer 1

取决于您对 C++ 的喜好。

C++17

最容易编写的方式是静态断言

template<typename Enum>
class EnumDescription
{
    static_assert(std::is_enum_v<Enum>);

public:
    static std::string get( const Enum val );
};

C++20

您可以在模板上指定临时约束

template<typename Enum> requires std::is_enum_v<Enum>
class EnumDescription
{

public:
    static std::string get( const Enum val );
};

或者，可能是为了更好，采用可重用的概念

template<typename E>
concept EnumType = std::is_enum_v<E>;

template<EnumType Enum>
class EnumDescription
{

public:
    static std::string get( const Enum val );
};