素敵機能の予感。
import std.c.stdio;
class Hoge{
void yeah(){
printf("yeah\n");
}
invariant{
printf("invariant called\n");
}
}
void main(){
Hoge hoge = new Hoge();
hoge.yeah();
}
実行。
invariant called
yeah
invariant called
あれ、コンストラクタ完了直後とデストラクタ実行直前の分が無い…定義してないとチェックされないらしい(そっちの方が自然だけど)