Указателю появился константный конструктор нулевого значения

У атомарного указателя появился константный конструктор нулевого значения, симметричный уже существующему конструктору висячего значения.

Два вида «пустых» указателей

Висячий указатель — ненулевой, но указывающий в никуда. Нулевой — равный нулю, и разыменовать его нельзя даже теоретически.

Нулевой удобен тем, что его можно сравнивать с нулём обычным сравнением, а висячий — нет. Висячий нужен для указателей на элементы пустых массивов, где «ничего нет» не значит «нуль».

Оригинал

Implementation for rust-lang/rust#150733.