>>258
厳密に言語仕様だけで考えると、ポインタにアドレス値が格納されているとは限らない。
アドレスが格納されているとしても、「有効な値」とは何かを定義しないとわからない。