В чем разница между str==NULL и str[0]=='' в C?

важно помнить, что str на самом деле это не "строка", а скорее указатель в место памяти, где char (часть строки) сохраняется.

Далее, мы должны понять, как компилятор видит все эти предметы. Давайте посмотрим на их типы:

• str типа char * (буквально, "указатель на char")
• NULL является константой нулевого указателя (по крайней мере, в моей системе это ((void*)0))
• '' является символьной константой (на самом деле она имеет тип int, но не беспокойтесь об этом; это обычно используется в контексте, который требует char значение)

посмотреть * на char * и void *? Это говорит компилятору, что это типы указателей (это причудливый способ сказать, что переменные этого типа не содержат значения, они просто указывают на него). Поэтому, когда компилятор видит char *str, он знает, что вы можете попросить сделать что-то вроде *str или str[0] (что одно и то же). Мы вернемся к этому позже.

видишь, когда пишешь str в программе C компилятор знает, что переменная с именем "str" хранится в месте памяти, например 0x0001. Код он генерирует идет на 0x0001 и извлекает значение. Таким образом, если вы делаете что-то вроде

str + 1

тогда компилятор будет генерировать код, который выглядит примерно так:

fetch the value from where str is stored (0x0001)
add 1 to that value

что что-то, что ты наверняка знаешь. Итак, теперь должно быть очевидно, что эта строка говорит:

str == NULL

С NULL является константой нулевого указателя, эта строка проверяет, является ли str является нулевым указателем (т. е. указателем, который ни на что не указывает).

поэтому компилятор обычно генерирует такой код:

fetch the value from where str is stored
check if that value is 0

помните теперь, пожалуйста, что мы сказали компилятору, что str является типом указателя. Так что нам разрешено писать это:

*str

и это заставляет компилятор генерировать следующее:

fetch the value from where str is stored
now use that value as a memory address and fetch what is stored there

поэтому, если str содержит 0x0200, то мы получим значение из адреса памяти 0x0200. Обратите внимание, что компилятору все равно, действительно ли строка хранится там или нет.

(я предполагаю, что вы знаете, что str[0] это то же самое, что *str. Так легче объяснить, что происходит.)

как насчет этого?

*str == ''

так, что линия действительно, в действительности:

*str == (char) 0

что заставляет компилятор генерировать это:

fetch the value from where str is stored
now use that value like a memory address and fetch the char that is stored there
check if the value of that fetched char is 0

подведем итоги:

• писать str == NULL сообщает вам, является ли указатель str указывает ни в чем.
• писать *str == '' сообщает вам, является ли указатель str направлен в пустая строка (на самом деле, указывая на место памяти, содержащее ноль).

("строка", по определение, "непрерывная последовательность символов, заканчивающаяся первым нулевым символом и включающая его", поэтому, если самый первый символ строки '', то строка является пустой строкой.)