在 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 {};