Search code examples
c++pointersnullliteralsnullptr

What is the difference between a null pointer constant (nullptr), a null pointer value and a null member pointer value?

In ISO/IEC 14882:2017 (C++17), Section 5.13.7 "Pointer literals" is stated:

5.13.7 Pointer literals [lex.nullptr]

pointer-literal: nullptr

1 The pointer literal is the keyword nullptr. It is a prvalue of type std::nullptr_t. [Note: std::nullptr_t is a distinct type that is neither a pointer type nor a pointer to member type; rather, a prvalue of this type is a null pointer constant and can be converted to a null pointer value or null member pointer value. See 7.11 and 7.12. —end note]

Following, nullptr is a prvalue of type std::nullptr_t. A prvalue of type std::nullptr_tis a null pointer constant; thus nullptr is a null pointer constant. A null pointer constant (so is nullptr) can be converted to a null pointer value or a null member pointer value.

Now I have in the cited Section 7.11, "Pointer conversions" of ISO/IEC 14882:2017:

A null pointer constant is an integer literal (5.13.2) with value zero or a prvalue of type std::nullptr_t. A null pointer constant can be converted to a pointer type; the result is the null pointer value of that type and is distinguishable from every other value of object pointer or function pointer type.

I understand that a null pointer constant is an integer literal with a value of zero or a prvalue of type std::nullptr_t, but I do not understand the difference to the null pointer value nor the null member pointer value. I do not understand how the result of the conversion from a null pointer constant to a pointer type is a "null pointer value of that type" and what a null pointer value in that context is.

My Question is:

  • What is the difference between a null pointer constant (which is nullptr), a null pointer value and a null member pointer value?
Solution

  • What is the difference between a null pointer constant (nullptr), a null pointer value and a null member pointer value?

    Null pointer constant is either nullptr (or any other prvalue of type std::nullptr_t), or integer literal of value 0. Examples of null pointer constants:

    NULL  // a macro for one of the others
0
0L
nullptr

std::nullptr_t fun();
fun() // also a null pointer constant

    Of these, don't use the integer literals nor NULL unless you need to support older than C++11 standard.

    Null pointer value is the value of a pointer type that represents null. Examples of null pointer values:

    (void*)nullptr     // pointer to void
(int*)nullptr      // pointer to object

using void_fun = void();
(void_fun*)nullptr // pointer to function

    Null member pointer value is the value of a member pointer type that represents null. Example of null member pointer values:

    (int some_class::*)nullptr // pointer to data member

using mem_void_fun_ptr = void(some_class::*)(); // unfortunately cannot alias member
                                                // function type as far as I know,
                                                // so we alias pointer to it instead
(mem_void_fun_ptr)nullptr  // pointer to member function

    Note that std::nullptr_t is not a pointer type nor a pointer to member type.