非能動的な無用な警告を抑制する「制御は非void関数の終了に達する可能性があります」

Question

これは何よりも便利な問題ですが、警告を抑制できる方法があるかどうかを知りたいと思います：

control may reach end of non-void function [-Wreturn-type]

私がを知っている特定の場合、はコードに問題はないことが分かります。私は例外を投げるための私のコードベースにいくつかのヘルパー関数を持っており、このようなコードのために：

int foo(int i) { 
    if (i > 10) { 
     return i*10; 
    } 
    else { 
     Exception::throwExcept(MyCustomException("Error: i not in the accepted range")); 
    } 
} 

私はそれは、どんな返さない、またはスローするかということを知っています。したがって、警告は私の目にはあまり意味がありません。コンパイラは、制御フローのパスが実際にスローされることを判断できません。

実際にコードが間違っている（つまり、返されない、またはスローされない）というサインの場合は、この警告ポップアップが表示されます。

移植可能な方法で可能でしょうか？

EDIT：あなたのコンパイラは、それは常に例外をスローすることを知っているException::throwExceptの内部を見ることができないようですが、私には見えます

Apple LLVM version 8.1.0 (clang-802.0.41)

Answer 1

コンパイラはException::throwExcept()が返されないことをコンパイラが認識できません。ここには2つの解決策があります。一つは、コンパイラに伝えるためであること、すなわち

struct Exception 
{ 
    [[noreturn]] static void throwExcept(SomeType const&); 
}; 

（打ち鳴らすの-Wmissing-noreturn、-Weverythingに含まれる、[[noreturn]]を宣言していないが、できることの機能上の場合は警告が表示されます）、または

としての機能を再アレンジ

int foo(int i) { 
    if (!(i>10)) 
     Exception::throwExcept(MyCustomException("Error: i not in the accepted range")); 

    return i*10; 
} 

Answer 2

、私が使用しているコンパイラを追加し忘れました。

生のC++例外throwを関数の最後の行として使用してコンパイラを助けてください：throw std::exception("Just to help the compiler know to not warn here");これはコード以降のパフォーマンスを損なうことはありません。

Answer 3

エラーを抑止するためのすばやく簡単な方法は、return文でカンマ演算子を使用することです。あなたは

return Exception::throwExcept(MyCustomException("Error: i not in the accepted range")), 0; 

を使用している場合、コンパイラは、return文が表示されますが、それはactualyそれがException::throwExcept機能[[noreturn]]マーキング0

Answer 4

をすべき返すことができます前に、

Exception::throwExcept(MyCustomException("Error: i not in the accepted range")) 

がスローされますように実行することはありませんコンパイラが実際にはそれが返ってこないことを理解するのを助けます。