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

TB>Где гарантия, что результат будет вычислен при компиляции? Есть какой-то список операций, дающий гарантию?

Есть такие места, где кроме констант компиляции ничего больше использовать нельзя, например, параметры шаблонов, значения перечислений, ключи оператора switch, размеры массивов и пр. Вот эти места, собственно, и являлись гарантами.