Здравствуйте, sergii.p, Вы писали:

SP>а по имени to_underlying можно без напряга вычислить тип результата? Точно также в IDE наводишь на функцию и видишь тип. В чистом notepad — да, это мудрено.

Имя to_underlying говорит, что функция преобразует аргумент к underlying типу, который, естественно, зависит от типа аргумента. И это имя в точности описывает семантику функции. Бобльше о ней ничего знать и не нужно. Имея на руках фактический параметр, я всегдя ясно понимаю, каков будет тип результата. Чего нельзя сказать про твой cast.