У меня есть функция шаблона, которая работает с общим типом T в качестве входных данных. Я статически утверждаю, что T является перечислением.
Однако я хочу еще больше ограничить его, чтобы перечисления в стиле C (т. е. без фиксированного (явного) базового типа) не могли быть прошедший. В противном случае реализация рискует вызвать из-за этого неопределенное поведение (выделено мной):
Значение целочисленного типа или типа перечисления может быть преобразовано в любой полный тип перечисления.
Если базовый тип не фиксирован, поведение не определено, если значение выражения выходит за пределы диапазона (диапазон — это все значения, возможные для наименьшее битовое поле, достаточно большое, чтобы вместить все перечислители целевого перечисления).
Можно ли этого добиться? Если да, то как?
Подробнее здесь: https://stackoverflow.com/questions/786 ... lying-type
