すべてのケースをカバーしていても「制御は非空白関数の終了に達します」という警告が表示される

Question

どちらの関数も適切な関数を返すのに2つの条件がある場合、アラームが発生します。

コントロールは非void型関数[-Wreturn型]

bool EtherTrafGen::isGenerator() 
{ 
    if (multipacket) return par("destAddresses").stringValue()[0]; 
    else if (!multipacket) return par("destAddress").stringValue()[0]; 
} 

、このような警告を修正する方法は何であるの終わりに達しましたか？

Answer 1

制御が

bool EtherTrafGen::isGenerator() 
{ 
    if (multipacket) return par("destAddresses").stringValue()[0]; 
    else if (!multipacket) return par("destAddress").stringValue()[0]; 
    //here 
} 

に達することはありませんにもかかわらず、コンパイラが（それがelse ifだから）ということを知ることができず、それがに達した場合、それは可能性未定義の動作に関する警告が表示さ（多分別のスレッドがmultipacketを変更最初のチェック後など）。あなただけのコンパイラを満足させるために、デフォルトの戻り値を追加することができます。

bool EtherTrafGen::isGenerator() 
{ 
    if (multipacket) return par("destAddresses").stringValue()[0]; 
    else if (!multipacket) return par("destAddress").stringValue()[0]; 
    return false; 
} 

それとも、それはtrueまたはfalseのどちらかだから、全体else ifをカット：

bool EtherTrafGen::isGenerator() 
{ 
    if (multipacket) return par("destAddresses").stringValue()[0]; 
    return par("destAddress").stringValue()[0]; // multipacket must be false here anyway 
} 

Answer 2

あなたは1ケースに欠けている：

bool EtherTrafGen::isGenerator() 
{ 
    if (multipacket) return par("destAddresses").stringValue()[0]; 
    else { 
     if (!multipacket) return par("destAddress").stringValue()[0]; 
     else ???? <---- what should be done here 
    } 
} 

Answer 3

私はあなたの状態を構造化した方法がかなりエキゾチックであると言って始めます。

if (multipacket) doX() 
else doY() 

コンパイラはこの問題を解決し、エラーを表示しないようにスマートにする必要があります。

しかし、あなたのコンパイラはそれほどスマートではありません。それは、それを持っているよりも、警告を持っていない方が良いとあなたが正しいと知っている。

---

上記のコードは間違っている可能性がある、より広く見ると、それはちょうど、コンパイラがその分析に十分に強力でない場合ではないのです。

マルチスレッドコンテキストで次のコードが発生すると、まれにスレッドの問題が発生する可能性があります。マルチスレッドへの最初のアクセスではfalseを読み取るため、2番目のブランチに移動し、2番目のアクセスでtrueしたがって、戻り値のない関数から外に出るように強制します。このケースは、別のスレッドがマルチパケットを読み取った2回の間に変更した場合に発生する可能性があります。

与えられたレジスタ/キャッシュ/その他の一時的な場所に値があるため、別のスレッドによってマルチパケットが変更されても、そのメソッドでは直ちに表示されないことがありますコンパイラによって。

しかし、なぜチャンスをつかむと書き込み非慣用的なコードとはあなたの手に警告がありますか？