- 165 名前：デフォルトの名無しさん mailto:sage [2007/12/01(土) 19:17:22 ]
- >>162-163
を見て気になったけど、
>invariant メンバ関数では、 this参照経由で参照される全てのデータがinvariantであることが保証されます。
struct S
{
int x;
invariant void foo()
{
x = 4; // エラー。x は invariant
this.x = 4; // エラー。x は invariant
}
}
これはつまりS.xはコンパイル時決定変数？
そうなるとSのメンバ変数はすべてコンパイル時決定って意味になるけど、それは使い道がない気がする...
