Как я могу изменить цвет своей подсказки в zsh (отличающийся от обычного текста)?

Во-первых, важно отметить, что не только поведение пользовательской программы не определено, но и поведение компилятора не определено. Аналогично, UB не встречается во время выполнения, это свойство исходного кода.

Чтобы писатель-компилятор «поведение не определено» означает «вам не нужно учитывать эту ситуацию», , или даже «вы не можете предположить, что исходный код никогда не произведет такую ​​ситуацию». Компилятор может делать что угодно, преднамеренно или непреднамеренно, когда представлен UB, и по-прежнему является стандартным, поэтому да, если вы предоставили доступ к носу ...

Тогда не всегда возможно знать если программа имеет UB или нет. Пример:

int * ptr = calculateAddress();
int i = *ptr;

Зная, может ли это быть UB или нет, потребуется знание всех возможных значений, возвращаемых calculateAddress(), что невозможно в общем случае (см. « Проблема с остановкой "). У компилятора есть два варианта:

• Предположим, что у ptr всегда будет действительный адрес
• вставить проверки времени выполнения, чтобы гарантировать определенное поведение

Первый вариант создает быстрые программы и ставит бремя избежать нежелательных эффектов на программиста, тогда как второй вариант обеспечивает более безопасный, но более медленный код.

Стандарты C и C ++ оставляют этот выбор открытым, и большинство компиляторы выбирают первый, в то время как Java, например, задает второй.

Почему поведение не определено реализацией, но неопределено?

Реализация -определенные средства ( N4296 , 1.9§2):

Некоторые аспекты и операции абстрактной машины описаны в этом Международном стандарте в качестве реализации (например, sizeof (int)). Они составляют параметры абстрактной машины. Каждая реализация должна включать документацию, описывающую ее характеристики и поведение в этих отношениях. Такая документация должна определять экземпляр абстрактной машины, которая соответствует этой реализации (упоминается как «соответствующий экземпляр» ниже).

blockquote>

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

Запись на случайный ненулевой Недопустимый указатель - одна из самых непредсказуемых вещей, которые вы можете сделать в программе, поэтому для этого потребуется также сократить время выполнения. До того, как у нас были MMU, вы могли бы уничтожить аппаратное обеспечение , написав неверный адрес, который приходит очень рядом с носовыми демонами; -)