Как неудавшийся static_assert работает в блоке if constexpr (false)? ⇐ C++

[Anonymous]

P0292R1 constexpr, если он был включен, готовится для C++17. Это кажется полезным (и может заменить использование SFINAE), но комментарий о том, что static_assert неправильно сформирован, диагностика не требуется в ложной ветке, меня пугает:

Disarming static_assert declarations in the non-taken branch of a
constexpr if is not proposed.

void f() {
if constexpr (false)
static_assert(false); // ill-formed
}

template
void g() {
if constexpr (false)
static_assert(false); // ill-formed; no
// diagnostic required for template definition
}


Я так понимаю, что использовать static_assert внутри constexpr if (по крайней мере, ложную/непринятую ветку, но на практике это означает, что это не так) безопасное или полезное занятие).

Как это получается из стандартного текста? Я не нашел упоминания о static_assert в формулировке предложения, а функции constexpr C++14 допускают static_assert (подробнее см. cppreference: constexpr).

Это скрывается в этом новом предложении (после 6.4.1)? :


Когда оператор constexpr if появляется в шаблонной сущности,
во время создания экземпляра включающего шаблона или общей лямбды, экземпляр отброшенного оператора не создается.


С этого момента я предполагаю, что также запрещено и не требуется никакой диагностики вызывать другие функции constexpr (шаблона), которые где-то в графе вызовов могут вызывать static_assert.

Итог:

Если я правильно понимаю, не так ли? наложить довольно жесткие ограничения на безопасность и полезность constexpr if, как нам нужно было бы знать (из документации или проверки кода) о любом использовании static_assert? Мои опасения напрасны?

Обновление:

Этот код компилируется без предупреждения ( clang head 3.9.0), но, насколько я понимаю, неправильно сформирован, диагностика не требуется. Действителен или нет?

template< typename T>
constexpr void other_library_foo(){
static_assert(std::is_same::value);
}

template
void g() {
if constexpr (false)
other_library_foo();
}

int main(){
g();
g();
}


Подробнее здесь: https://stackoverflow.com/questions/383 ... alse-block