Убедитесь, что параметр шаблона - это класс перечисления

Есть ли способ гарантировать, что параметр шаблона является типом класса enum?

Я знаю, что type_traits имеет std::is_enum, но я не хочу, чтобы он соответствовал регулярным перечислениям, просто enum_classes.

Пример желаемого эффекта:

enum class EnumClass {};
enum Enum {};
class Class {};

template <typename T>
void Example()
{
    static_assert(/* T is EnumClass */, "`T` must be an enum class");
}

Example<EnumClass>(); // Ok
Example<Enum>(); // Error
Example<Class>(); // Error

Я использую С++ 11 и, к сожалению, не могу подняться выше (хотя мне было бы интересно узнать решение в любом случае, даже если оно связано с более новыми стандартами).

Возможно ли это?

Ответ 1