ノート:エイリアス解析
「型に基づくエイリアス解析」の 3, 4 の部分が直訳。
- Each record field of each record type has its own alias class, in general, because the typing discipline usually only allows for records of the same type to alias. Since all records of a type will be stored in an identical format in memory, a field can only alias to itself.
となっているのだが、ポインタが同じ型の構造体しか示せないとして、なぜ構造体のフィールドが alias classを持つといえるのだろうか？ --Javaden 2009年4月16日 (木) 13:00 (UTC)