Объясни, что такое неопределённое поведение

Неопределённое поведение означает, что стандарт не накладывает на программу никаких требований: результат может быть любым, и не только в той строке, где UB произошло. Оно существует ради производительности и переносимости: компилятору не нужно вставлять проверки границ, переполнений и нулевых указателей, а оптимизатор вправе считать, что корректная программа UB не содержит. Например, из-за UB знакового переполнения проверка x + 1 < x сворачивается в false, а цикл for (int i = 0; i < n; ++i) можно векторизовать, не думая о переполнении i. Типичные источники: переполнение знакового, выход за границы, разыменование висячего указателя, чтение неинициализированной переменной, нарушение strict aliasing и гонка данных. Опасность в том, что баг может не проявляться при -O0 и проявиться при -O2 или в новой версии компилятора. Implementation-defined и unspecified, в отличие от UB, оставляют программу корректной. Ловлю UB санитайзерами address и undefined, предупреждениями и прогоном тестов в релизной сборке.