__null

わざわざ独自定義する以上は、__nullはポインター長の独自の型として振る舞い、int型への代入でエラーになることが期待されるところである。しかし、そのように動くかどうかは、環境による。

32ビット環境では、現実には(int)0と同じ扱いである。

次のコードはエラーにならない。

int i = __null;

そして、typeid(__null).name()で__nullの型を調べると、「int」と出力される。32ビット環境では、__nullはint型なのである。

__nullが存在するのは、64ビット環境への対応のためである。64ビット環境では、NULLと0は同一とは限らない。

#include <iostream>
int main()
{
  std::cout << "sizeof(NULL) : " << sizeof(NULL) << std::endl;
  std::cout << "sizeof(0) : " << sizeof(0) << std::endl;
  std::cout << "sizeof(0L) : " << sizeof(0L) << std::endl;
  return 0;
}

64ビット環境では次のようになる。

sizeof(NULL) : 8
sizeof(0) : 4
sizeof(0L) : 8

これはLP64と呼ばれるデータ型モデルだからであり、longとポインターが64ビットで、intと長さが違うのが特徴である。LinuxやFreeBSD等PC UNIXはじめUNIX系システムの標準となっている。

そして、typeid(__null).name()で__nullの型を調べると、「long」と出力される。64ビット環境では、__nullはlong型なのである。

ここから分かる結論は、次の通りである。

• g++(GCC)の場合、NULLは0に展開されるわけではなく、__nullに展開される
• 0とNULLは長さが違う

C++だからといっても、常に「#define NULL 0」な訳ではない。

また、64ビット環境でintに対して__nullを代入しようとすると、警告やエラーが出る。