Определяется ли печать строки NULL?

Question

Имеет ли этот код определенное поведение?

char *str = NULL;
printf("%s\n",str);

В контексте стандартов C ++ (98/03 и 11) и C (99).

Answer 1

неопределенное поведение в C

(C99, 7.19.6.1p8) "s Если модификатор длины l отсутствует, аргумент должен быть указателем на начальный элемент массива символов типа ".

с некоторыми компиляторами / libc выводит (null), а с некоторыми другими - segfaults.

(Примечание: в C нарушение shall, которое не является ограничением, является неопределенным поведением, см. 4.p2 "Соответствие" в Стандарте C)

Answer 2

Да.

printf будет разыменовывать указатель str, а разыменование пустого указателя будет UB.

Answer 3

Отмена ссылки на указатель null в C приводит к undefined behavior, что может быть катастрофическим. Однако большинство реализаций просто останавливают выполнение рассматриваемой программы, как правило, из-за ошибки сегментации.

Пожалуйста, отметьте это