はてなブックマーク

久しぶりに書き足します． 今度は不完全型について解説します． 不完全型は，型の定義が不完全でありポインタの取得のみが可能なデータ型のことです．実際にこれがどういうものかというと，たとえば構造体のタグ名のみを宣言したもの： struct incomplete; // 不完全型 struct incomplete の宣言 struct incomplete i; // コンパイルエラー struct incomplete* p; // OK などがあたります．ただし，関数はこれに含まれません． これがなぜ不完全なのかというと，コンパイラがこのデータ型のデータを格納するのに必要な領域の大きさを知らない（または知ることができない），つまりその型の情報が不完全であるからです．変数（または構造体のメンバ変数）として宣言するためにはコンパイラがそのデータ型の大きさ（や，そのメンバの配置）を知っていなけれ