- 168 名前：165 mailto:sage [2007/12/01(土) 19:34:50 ]
- えーと、
たとえばSを
struct S{
int x;
int y;
invariant void foo(){
x = 4; //エラー、xはinvariant
}
void var(){
x = 4; //これはNG?
y = 5; //これはOK?
}
}
とした場合どうなる？
xはfooでinvariantとして扱われているから、varで書き換えたら怒らるんじゃないかと心配してるんだけど。
で、yはfooからは参照されてないからvarからは普通に書き換え可能？
テストすれば分かることを聞いてすまん。時間あったらテストするんだけど。
