Расширение языка c++17 и флаг std:c++17

if constexpr — чрезвычайно полезная языковая конструкция из C++17. Это очень удобно для реализации, например, многих оптимизаций в стандартной библиотеке.

Таким образом, когда Visual Studio 15.3 изначально реализовывал if constexpr, он широко использовался в реализации стандартной библиотеки даже при компиляции в режиме C++14. Но поскольку большая часть этого кода находится в заголовках, которые, с точки зрения компилятора, являются частью вашего исходного кода, это означает, что вы тоже можете его использовать. Для этого они сделали используя if constexpr из C++14 предупреждение, а не ошибку, предупреждение, которое они отключили в своих заголовках с помощью #pragmas.

Однако, несмотря на то, что в документации MSVC это называется предупреждением, оно выдается компилятором как ошибка, которую можно подавить.

Таким образом, разница в формулировках между этими двумя условиями, вероятно, связана с тем фактом, что if constexpr «ошибка» считается «предупреждением», несмотря на то, что по умолчанию она представляется как «ошибка».