Что именно означают "IB" и "UB"?

реализация-определенное поведение и неопределенное поведение

стандарт C++ очень специфичен в отношении эффектов различных конструкций, и в частности вы всегда должны знать об этих категориях проблемы:

• неопределенное поведение означает, что нет абсолютно никакой гарантии. Код может работать, или он может поджечь ваш жесткий диск или заставьте демонов вылететь из вашего носа. Поскольку язык C++ является беспокоит, абсолютно все может случиться. На практике это обычно означает, что у вас есть неисправимая ошибка. Если это произойдет, вы не можете действительно доверять что-нибудь о вашем приложении (потому что одним из эффектов этого неопределенного поведения может быть просто испортить память, используемую остальной частью вашего приложения). Это не обязательно должно быть последовательным, поэтому запуск программы дважды может дать разные результаты. Это может зависеть от фаз луны, цвета рубашки ты носишь, или абсолютно все остальное.

• неопределенное поведение означает, что программа должна делать что-то разумное и последовательное, но это не требуется документ этого.

• определенное реализацией поведение похоже на неопределенное, но также должно быть задокументировано авторами компилятора. Примером этого является результат reinterpret_cast. обычно, он просто изменяет тип указателя, без изменения адрес, но сопоставление фактически определяется реализацией, поэтому компилятор может карта на совершенно другой адрес, пока он документировал этот выбор. Другим примером является размер int. Стандарт C++ не волнует, если это 2, 4 или 8 байт, но это должны быть задокументированы компилятором

но общим для всех них является то, что они лучше избегать. Когда это возможно, придерживайтесь поведения, которое на 100% определяется C++ сам стандарт. Таким образом, вам гарантирована портативность.

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

неопределенное поведение, с другой стороны, должен всегда избежать. В общем, вы должны просто предположить, что это заставляет вашу программу взорваться тем или иным образом или другой.

• IB: является ли реализация определенным поведением-компилятор должен документировать то, что он делает. Выполнение >> операция с отрицательным значением является примером.

• UB: неопределенное поведение-компилятор может делать все, что угодно, включая просто сбой или непредсказуемые результаты. Разыменование нулевого указателя попадает в эту категорию, но также и более тонкие вещи, такие как арифметика указателя, которая выходит за пределы массива объект.

другой связанный термин - "неопределенное поведение". Это между определенным и неопределенным поведением. для неопределенного поведения компилятор должен делать что-то в соответствии со стандартом, но точно, какие варианты стандарт дает, зависит от компилятора и не должен быть определен (или даже согласован). Такие вещи, как порядок оценки подвыражений, попадают в эту категорию. Компилятор может выполнять их в любом порядке, который ему нравится, и может делать это по-разному в разных сборках или даже в разных запусках одной и той же сборки (маловероятно, но возможно).

UB:Неопределенное Поведение

IB:реализация-определенное поведение

краткая версия:

реализация-определенное поведение (IB): правильно запрограммировано, но неопределенно*

неопределенное поведение (UB): неправильно запрограммирован (т. е. a ошибка!)

_{*)" неопределенный " в том, что касается языкового стандарта, он, конечно, будет определяться на любой фиксированной платформе.}