是否可以使用不同的枚举类型作为非类型模板参数

Question

背景：

我想从枚举值创建类型以处理与boost :: sml有关的类型。

所以我想简单地通过提供枚举值来创建类型：

template <typename ENUM_T, ENUM_T VAL >
class Bla
{
};

enum A
{
    a1,
    a2
};

enum B
{
    b1,
    b2
};

int main()
{
    Bla<A::eins> x;
}

但这不能用，因为我必须在使用该枚举类型的非类型模板参数之前定义枚举值的类型。

有什么主意吗？

Answer 1

从C ++ 17开始，可以使用具有自动类型推断功能的非类型模板参数：

#include <type_traits>

template <auto val>
class Bla
{
    static_assert(::std::is_enum_v<decltype(val)>); // constraint parameter types to enums
};

在C ++ 17之前，您需要提供非类型参数类型作为另一个模板参数：

template <typename T, T val>
class Bla
…
Bla<A, A::eins> x;