Можно ли определить, не имеет ли перечисление фиксированного базового типа? ⇐ C++

[Anonymous]

У меня есть функция шаблона, которая работает с общим типом T в качестве входных данных. Я статически утверждаю, что T является перечислением.
Однако я хочу еще больше ограничить его, чтобы перечисления в стиле C (т. е. без фиксированного (явного) базового типа) не могли быть прошедший. В противном случае реализация рискует вызвать из-за этого неопределенное поведение (выделено мной):

Значение целочисленного типа или типа перечисления может быть преобразовано в любой полный тип перечисления.
Если базовый тип не фиксирован, поведение не определено, если значение выражения выходит за пределы диапазона (диапазон — это все значения, возможные для наименьшее битовое поле, достаточно большое, чтобы вместить все перечислители целевого перечисления).

Можно ли этого добиться? Если да, то как?

Подробнее здесь: https://stackoverflow.com/questions/786 ... lying-type