コンパイラは関数のnoexcept'nessを決定できますか？

Question

はのは、たとえば

class X 
{ 
    int value; 
public: 
    X (int def = 0) : value (def) {} 

    void add (int i) 
    { 
     value += i; 
    } 
}; 

明らかに、機能void X::add (int)は任意の例外をスローすることはありませんがやってみましょう。

私の質問は、コンパイラがコードを分析し、関数がnoexceptとしてマークされていなくても、例外を処理するマシンコードを生成しないことを決定できますか？

Answer 1

コンパイラが関数が投げられないことを証明できれば、 "As-If"ルール（C++標準の§1.9「プログラム実行」）によって例外を処理するコードを削除することができます。

しかし、関数が一般的にのをスローしないかどうかを判断することはできません。なぜなら、これは停止問題を解決することになります。