在 C++，如何将模板参数强制为范围枚举值类型？

Question

我有一个 class 模板，我想这样写：

template </*what to put here?*/ T>
Class Bar {};

我想强制 T 只是来自范围枚举的值。 我使用了此处提供的is_scoped_enum类型检查，但是我能想到的最好办法是将Bar更改为如下所示：

template <typename T>
concept ScopeEnum = is_scoped_enum<T>::value;

template<ScopeEnum SE, SE se>
class Bar {};

我如何实施它才能使Bar保持原样？

Answer 1

使用泛型非类型参数，并约束其声明

template <ScopedEnum auto se>
class Bar {};