Интегральные константные выражения
Целочисленное константное выражение, равное нулю, преобразуется в указатель, который называется "пустым указателем". Такой указатель гарантированно не равен указателю на любой действительный объект или функцию (кроме указателей на базовые объекты, которые могут иметь одинаковое смещение, но при этом указывать на разные объекты).
В следующем примере кода демонстрируется определение указателя на член i в классе A. Указатель pai инициализируется со значением 0 и становится пустым указателем.
// conve__pluslang_Integral_Constant_Expressions.cpp
class A
{
public:
int i;
};
int A::*pai = 0;
int main()
{
}