在C語言中,NULL通常被定義爲:#define NULL ((void *)0)
所以說NULL實際上是一個空指針,如果在C語言中寫入以下程式碼,編譯是沒有問題的,因爲在C語言中把空指針賦給int和char指針的時候,發生了隱式型別轉換,把void指針轉換成了相應型別的指針。
int *pi = NULL;
char *pc = NULL;
但是問題來了,以上程式碼如果使用C++編譯器來編譯則是會出錯的,因爲C++是強型別語言,void*是不能隱式轉換成其他型別的指針的,所以實際上編譯器提供的標頭檔案做了相應的處理:
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
可見,在C++中,NULL實際上是0. 因爲C++中不能把void*型別的指針隱式轉換成其他型別的指針,所以爲了解決空指針的表示問題,C++引入了0來表示空指針,這樣就有了上述程式碼中的NULL宏定義。
但是實際上,用NULL代替0表示空指針在函數過載時會出現問題,程式執行的結果會與我們的想法不同,舉例如下:
#include <iostream>
using namespace std;
void func(void* t)
{
cout << "func( void* )" << endl;
}
void func(int i)
{
cout << "func( int ) " << endl;
}
int main()
{
func(NULL);
func(nullptr);
system("pause");
return 0;
}
在這段程式碼中,我們對函數func進行可過載,參數分別是void*型別和int型別,但是執行結果卻與我們使用NULL的初衷是相違背的,因爲我們本來是想用NULL來代替空指針,但是在將NULL輸入到函數中時,它卻選擇了int形參這個函數版本,所以是有問題的,這就是用NULL代替空指針在C++程式中的二義性。
爲解決NULL代指空指針存在的二義性問題,在C++11版本(2011年發佈)中特意引入了nullptr這一新的關鍵字來代指空指針,從上面的例子中我們可以看到,使用nullptr作爲實參,確實選擇了正確的以void*作爲形參的函數版本。
NULL在C++中就是0,這是因爲在C++中void* 型別是不允許隱式轉換成其他型別的,所以之前C++中用0來代表空指針,但是在過載整形的情況下,會出現上述的問題。所以,C++11加入了nullptr,可以保證在任何情況下都代表空指針,而不會出現上述的情況,因此,建議以後還是都用nullptr替代NULL吧,而NULL就當做0使用。
其他:在沒有C++ 11的nullptr的時候,我們怎麼解決避免這個問題呢?
const class nullptr_t
{
public:
template<class T>
inline operator T*() const
{ return 0; }
template<class C, class T>
inline operator T C::*() const
{ return 0; }
private:
void operator&() const;
} nullptr = {};
原文鏈接:https://blog.csdn.net/qq_18108083/article/details/84346655