pureとnothrowの判定
3件表示
すべてのコメント一覧へ
投稿ツリー
-
pureとnothrowの判定 (tama, 2009/9/8 19:03)
«
-
Re: pureとnothrowの判定 (SHOO, 2009/9/9 2:08)
-
Re: pureとnothrowの判定 (tama, 2009/9/12 17:51)
-
-
pureとnothrowの判定
msg# 1
tama
投稿数: 111
投稿数: 111
http://d.hatena.ne.jp/pastel-magic/20090901/1251766511
これ見てて何でpureだと無理なのかなぁと．記事のは「nothrowな関数からnothrow修飾されてない関数を呼べない」というのを利用してると思ってるんですが，それはpureでも同じような？
#code(d){{{
void f1() {}
void f2() nothrow { f1(); } // Error: function foo.f2 'f2' is nothrow yet may throw
void g1() {}
void g2() pure { g1(); } // Error: pure function 'g2' cannot call impure function 'g1'
}}}
何か勘違いしている？？
これ見てて何でpureだと無理なのかなぁと．記事のは「nothrowな関数からnothrow修飾されてない関数を呼べない」というのを利用してると思ってるんですが，それはpureでも同じような？
#code(d){{{
void f1() {}
void f2() nothrow { f1(); } // Error: function foo.f2 'f2' is nothrow yet may throw
void g1() {}
void g2() pure { g1(); } // Error: pure function 'g2' cannot call impure function 'g1'
}}}
何か勘違いしている？？
投票数:105
平均点:3.24
返信する