某些时候,我们需要将指针赋值为空指针,以防止野指针。 有人喜欢使用NULL作为空指针常量使用,例如:int* p = NULL;。 也有人直接使用0值作为空指针常量,例如:int* p = 0;。 前者可能觉得:NULL作为空指针常量,名字很形象,可读性较强。 后者可能觉得:NULL并不是C/C++语言的关键字,而是一个在标准库头文件<stddef.h>中定义的宏,因此要使用NULL,可能需要直接或简介地包含<stddef.h>头文件,比较麻烦。 问题一:NULL与常数0值有何区别? 要弄清楚这个问题,我们采用问与答的形式来描述。 问:NULL到底是什么? 答:NULL是一个宏。 问:它的值是多少? 答:C/C++标准规定:它的值是一个空指针常量(null pointer constant),由实现定义。#1,#2 问:什么样的值才能称之为空指针常量? 答:C语言中常数0和(void*)0都是空指针常量;C++中(暂且忽略C++11)常数0是,而(void*)0 不是。#3,#4 问:NULL宏是在哪里定义的? 答:通常是在C标准库的<stddef.h>头文件中,不过别的头文件中可能也有定义。 问:一般编译器的<stddef.h>头文件中NULL宏是如何定义的? 答:以gcc或clang编译器为例,NULL的定义大致如下(稍有简化):
#if defined(__cplusplus) # define NULL 0 // C++中使用0作为NULL的值 #else # define NULL ((void *)0) // C中使用((void *)0)作为NULL的值 #endif
问:为什么C中(void*)0是空指针常量,而C++中不是? 答:因为C语言中任何类型的指针都可以(隐式地)转换为void*型,反过来也行,而C++中void*型不能隐式地转换为别的类型指针(例如:int*p = (void*)0;使用C++编译器编译会报错)。#5,#6 问:既然C/C++标准中,常数0都可作为空指针常量,为什么不统一使用0? 答:个人觉得由于(void*)0更能体现指针的意义,而常数0更多的时候是用作整数。因此,C语言中NULL定义选择了(void*)0。(仅供参考) 问题二:C++11中为什么要引入nullptr? 考虑着这样一个函数重载的情形:
#include <stddef.h> void foo(int) {} // #1 void foo(char*) {} // #2 int main() { foo(NULL); // 调用#1还是#2? }
从字面上来讲,NULL是个空指针常量,我们可能会觉得:既然是个指针,那么应该调用#2。但事实上调用的却是#1,因为C++中NULL扩展为常数0,它是int型。 根本原因就是:常数0既是整数常量,也是空指针常量。 为了解决这种二义性,C++11标准引入了关键字nullptr,它作为一种空指针常量。#7例如:
void foo(int) {} // #1 void foo(char*) {} // #2 int main() { foo(nullptr); // 它会毫无异议地调用#2 }
附注: [#1] C99: 7.17-p3: The macros are NULL which expands to an implementation-defined null pointer constant; and ... [#2] C++03: 18.1-p4: The macro NULL is an implementation-defined C + + null pointer constant in this International Standard(4.10). [#3] C99: 6.3.2.3-p3: An integer constant expression with the value 0, or such an expression cast to type void *, is called a null pointer constant. [#4] C++03: 4.10-p1: A null pointer constant is an integral constant expression (5.19) rvalue of integer type that evaluates to zero. [#5] C99: 6.3.2.3-p1: A pointer to void may be converted to or from a pointer to any incomplete or object type. A pointer to any incomplete or object type may be converted to a pointer to void and back again; the result shall compare equal to the original pointer. [#6] C++03: 4.10-p2: An rvalue of type “pointer to cv T,” where T is an object type, can be converted to an rvalue of type “pointer to cv void.” [#7] C++11: 4.10-p1: A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero or a prvalue of type std::nullptr_t. 参考: (1) C99/C++03/C++11标准文档 (2) nullptr提案文档:N2431:http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2431.pdf 标签:常量,void,nullptr,C++,NULL,pointer,指针 From: https://www.cnblogs.com/tomato-haha/p/17446179.html