5.4 メモリー参照の制限の例

ここでは、実際のソースファイルに登場する可能性の高いコードの例を説明します。それぞれの例のあとに、コンパイラの仮定について説明します。これらの仮定は、適用レベルの型に基づいた解析によって作成されます。