- 295 名前：デフォルトの名無しさん mailto:sage [2008/05/09(金) 18:13:03 ]
- GUIクラスライブラリのBoxクラスを想定。
Boxクラスには、x, y, width, heightというフィールドがある。
xとyのあいだ、widthとheightの四則演算は原理的に
禁止。書けてしまう＆実行できるのは、言語が
行き届いてない証拠。
言語レベルで禁止するには、x, y, width, heightを
それぞれ別の型にしてしまえばいい。
でもそうすると、Xクラスのフィールド名はx、Yクラスの
フィールド名はy、てなことになるわけだ。
これって間抜けじゃね？
型名と変数名を名前システムの観点から考え直せば、
こういう間抜けなことの起こらない方法が見つかるかも
しれない、ってこと。
