Да, есть. Стандарт предписывает, что NULL
всегда указывает на недопустимую память. Но это не означает, что целочисленное представление указателя должно быть 0. Я никогда не сталкивался с реализацией, для которой NULL
отличался от 0, но это не предписано стандартом.
Обратите внимание, что присвоение литерала 0
указателю не означает, что указатель принимает целочисленное представление 0. Это означает, что специальное значение нулевого указателя присвоено переменной указателя.