g++中宏NULL究竟是什么？

#include 

#include 

int main()

{

        printf("NULL: %d\n", NULL);

        printf("sizeof(NULL): %d\n", sizeof(NULL));

        printf("typeid(__null).name(): %s\n", typeid(__null).name());

        printf("typeid(0).name(): %s\n", typeid(0).name());

        return 0;

}

NULL: 0

sizeof(NULL): 8

typeid(__null).name(): l

typeid(0).name(): i

g++ -g3 -gdwarf-2 -o x x.cpp

adoop@VM-39-166-sles10-64:~/current> gdb ./x

GNU gdb 6.6

Copyright (C) 2006 Free Software Foundation, Inc.

GDB is free software, covered by the GNU General Public License, and you are

welcome to change it and/or distribute copies of it under certain conditions.

Type "show copying" to see the conditions.

There is absolutely no warranty for GDB.  Type "show warranty" for details.

This GDB was configured as "x86_64-suse-linux"...

Using host libthread_db library "/lib64/libthread_db.so.1".

(gdb) b main

Breakpoint 1 at 0x4005dc: file x.cpp, line 6.

(gdb) r

Starting program: /data/hadoop/hadoop-2.4.0/x 

Breakpoint 1, main () at x.cpp:6

6               printf("NULL: %d\n", NULL);

(gdb) macro expand NULL

expands to: __null

(gdb) p NULL

No symbol "__null" in current context.

(gdb) ptype NULL

No symbol "__null" in current context.

(gdb) p __null

No symbol "__null" in current context.

(gdb) ptype __null

No symbol "__null" in current context.

(gdb) 

hadoop@VM-39-166-sles10-64:~/current> grep __null /usr/include/*

/usr/include/libio.h:#  define NULL (__null)

hadoop@VM-39-166-sles10-64:~/current> grep __null /usr/include/*/*

/usr/include/asm-i386/vm86.h:   long __null_ds;

/usr/include/asm-i386/vm86.h:   long __null_es;

/usr/include/asm-i386/vm86.h:   long __null_fs;

/usr/include/asm-i386/vm86.h:   long __null_gs;

/usr/include/asm-i386/vm86.h:   long __null_ds;

/usr/include/asm-i386/vm86.h:   long __null_es;

#include 

#include 

int main()

{

        printf("NULL: %d\n", NULL);

        printf("NULL: %d\n", __null);

        printf("sizeof(NULL): %d\n", sizeof(NULL));

        printf("typeid(__null).name(): %s\n", typeid(__null).name());

        printf("typeid(0).name(): %s\n", typeid(0).name());

        return 0;

}

-Wstrict-null-sentinel (C++ only)

   Warn also about the use of an uncasted "NULL" as sentinel.  When compiling only with GCC this is a valid sentinel, as "NULL" is defined to "__null".  Although it is a null pointer constant not a null pointer, it is guaranteed to of the same size as a pointer（保证和指针相同的大小）.  But this use is not portable across different compilers.

Wed Aug  7 14:10:07 1996  Jason Merrill  

        * ginclude/stddef.h (NULL): Use __null for G++.

VM-39-166-sles10-64:/data/gcc-4.8.2/gcc # grep __null */*

c-family/c-common.c:  { "__null",               RID_NULL,       0 },

c-family/c-common.c:  /* Create the built-in __null node.  It is important that this is

c-family/c-common.c:      /* Although __null (in C++) is only an integer we allow it

c-family/c-common.h:/* The node for C++ `__null'.  */

cp/call.c:            /* If __null has been converted to an integer type, we do not

cp/NEWS:   is now defined as __null, a magic constant of type (void *)

cp/parser.c:     __null

cp/parser.c:      /* The `__null' literal.  */

const struct c_common_resword c_common_reswords[] =

{

  { "__is_union",       RID_IS_UNION,   D_CXXONLY },

  { "__label__",        RID_LABEL,      0 },

  { "__null",           RID_NULL,       0 },

  { "__real",           RID_REALPART,   0 },

  { "__real__",         RID_REALPART,   0 },

  { "__restrict",       RID_RESTRICT,   0 },

/* The node for C++ `__null'.  */

#define null_node                       c_global_trees[CTI_NULL]

/* An entry in the reserved keyword table.  */

struct c_common_resword

{

  const char *const word;

  ENUM_BITFIELD(rid) const rid : 16;

  const unsigned int disable   : 16;

};

enum c_tree_index

{

    。。。。。。

    CTI_VOID_ZERO,

    CTI_NULL,

    CTI_MAX

};

static tree

cp_parser_primary_expression (cp_parser *parser,

                              bool address_p,

                              bool cast_p,

                              bool template_arg_p,

                              bool decltype_p,

                              cp_id_kind *idk)

{ 

    。。。。。。

    case CPP_KEYWORD:

      switch (token->keyword)

        {

          /* These two are the boolean literals.  */

        case RID_TRUE:

          cp_lexer_consume_token (parser->lexer);

          return boolean_true_node;

        case RID_FALSE:

          cp_lexer_consume_token (parser->lexer);

          return boolean_false_node;

          /* The `__null' literal.  */

        case RID_NULL:

          cp_lexer_consume_token (parser->lexer);

          return null_node;

          /* The `nullptr' literal.  */

        case RID_NULLPTR:

          cp_lexer_consume_token (parser->lexer);

          return nullptr_node;