Блог

Я прекрасно понимаю, что из соображений производительности operator* in std::optional не выполняет никаких проверок на предмет фактического существования содержащегося значения. Однако в режиме отладки соображения производительности не должны иметь значения, и для меня было бы очень разумно, чтобы какое-то утверждение было сделано в режиме отладки.

Похоже, в Visual Studio нет такого утверждения (хотя я не уверен в других компиляторах).

Мой вопрос: есть ли какая-либо фундаментальная причина, по которой компилятор НЕ будет делать такое утверждение в режиме отладки или это просто недостающая функция?

Есть ли какая-либо фундаментальная причина, по которой компилятор НЕ будет делать такое утверждение в режиме отладки или это просто недостающая функция?

Нарушения ODR. std::optional является шаблоном класса и, следовательно, реализован в заголовке. Различное поведение кода внутри заголовка для разных символов препроцессора настолько опасно, насколько это возможно. Рассмотрим этот пример (не тестировался, вы поймете суть):

 clang   -DNDEBUG usesOptionalOfInt.cpp -shared -c -o myLib.so
clang   alsoUsesOptionalOfInt.cpp main.cpp -lmyLib -o ./ub-please
 

Там вы идете с неопределенным поведением. Обратите внимание, что очень маловероятно, что разница в std::optional::operator* действительно нанесет какой-либо вред в этом примере, но все же — вы хотите избежать этих ситуаций.