Решение

И константа nullptr(которая имеет тип nullptr_t), и константа 0неявно преобразуются в нулевое значение любого типа указателя. Таким образом, сравнение с любым из них будет работать и технически нормально. Кстати, это означает, что не dynamic_castвозвращает ни один, он возвращает нулевое значение для определенного типа указателя.

Вероятно, лучше использовать привычку nullptr, чем использовать 0. Насколько я знаю, это действительно необходимо только для правильного разрешения перегрузки (например, одна перегрузка принимает, intа другая - char*). Для последовательности избегание 0будет лучшим.

Что я подразумеваю под «нулевым значением типа указателя»?

Рассмотрим переменную char * ptr. Это тип (неудивительно) char *. Но тип nullptrэто особый тип nullptr_t. Поэтому, когда мы пишем что-то вроде ptr = nullptr, должны произойти некоторые технические вещи

1. nullptrдолжен быть неявно преобразован в char *.
2. Результат этого преобразования устанавливается как новое значение ptr.

Нулевое значение для char *является результатом преобразования nullptrв char *. Концептуально это все еще nullptr, но с другим типом ( char *). Это пустое значение отличается от значения Нуля int *или string *или любого другого типа указателя. Мы склонны считать эти нулевые значения просто nullptr(или 0), но каждое из них действительно является отличным значением от другого типа. (Кстати, такое же преобразование происходит для сравнения с использованием ==).

Хотя это может звучать как придирчивые детали, это очень важно в разрешении перегрузки:

void foo(char * ptr) { ... }
void foo(int i) { ... }
void foo(nullptr_t ptr) { ... }

int main()
{
    foo(0); // Calls void foo(int), since 0 is an int
    foo(nullptr); // Calls void foo(nullptr_t), since nullptr is a nullptr_t
    foo(new char('c')); // Calls void foo(char *), since new char('c') is a char*
}

или при назначении несвязанных нулевых значений:

char * c_ptr = nullptr; // Okay
int * i_ptr1 = nullptr; // Okay
int * i_ptr2 = c_ptr;   // COMPILER ERROR HERE

Автор: Ken Wayne VanderLinde Размещён: 16.05.2013 03:10