現代のコンパイラは自動的に次のC++コードを最適化しますか？

Question

私はhteコードを使用する場合、バイナリツリーを使用して値を検索するスイッチ構造のようにコンパイラが最適化しますか？

if (X == "aaaa" || X == "bbbb" || X == "cccc" || X == "dddd") 
    { 

    } 
    else if (X == "abcd" || X == "cdef" || X == "qqqq") 
    { 

    } 

これは一例ですが、[OK]を、Xは文字列ですが、私は実際にそれがここで問題はないと思う引用記号

UPDATE

内に何のないパターンはありません私が知りたいのは、if内のすべてがすべて単一の変数であったときに最適化されます。

Answer 1

これらの値は、||または短絡オペレータの要件であるため、次々に比較されます。したがって、ここでは2つのことが起こります：

• Xは右から左へ1つずつ比較されます。

  int hello() { 
      std::cout<<"Hello"; 
      return 10; 
  } 
  
  int world() { 
      std::cout<<"World"; 
      return 11; 
  } 
  
  int hello2() { 
      std::cout<<"Hello2"; 
      return 9; 
  } 
  
  int a = 10; 
  
  bool dec = (a == hello() || a == world()) 
  bool dec = (a == hello2() || a == hello() || a == world()) 
  

  用出力：例えば以下の場合

、すなわち（それは短絡OR演算子であるため）成功任意の比較後にNO MOREの比較があります

comparisoように、第2 Hello2 Helloのために、実行されません

Hello 

a == world()として、および：最初の文は次のようになりますnsは最初の成功まで起こっています。

&&オペレータの場合、最初の失敗（これは文全体の結果を判断するのに十分です）まで比較が行われます。

Answer 2

おそらく設定したフラグによって異なります。バイナリツリーは検索が高速ですが、通常はより多くのコードを処理する必要があります。だから、サイズを最適化すれば、それはおそらく失われます。私はそれがとにかくそれをするかどうか分からない。 gccは多くのフラグに従って最適化されています。 O1、O2、O3、O4は、大きなグループのフラグを示す単純な形式です。ここにすべての最適化フラグのリストがあります：http://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html

そのページの文字列、バイナリツリーなどを検索してみてください。

Answer 3

これをテストする最良の方法は、以下のような例です。 b変数の

int a = 0; 
int b = 0; 
if(a == a || b++) { 
    ... 
} 
cout << b; 

値が終わりに0であるべきです。 b++部分は実行されません。これは予想される動作ですが、コンパイラとその最適化設定に応じていくつかの例外が存在する可能性があります。 JavaScriptのような多くのスクリプティングランゲージもこのように動作します。

Answer 4

ほぼ確実ではありません。バイナリ検索には、何らかの並べ替えが必要です。 リレーションシップとless-thanの比較が可能です。コンパイラ はそれが存在するとは想定できません。見つけても は ==に相当する同値関係を定義することはできません。順序関係を定義する関数 が副作用を持たないことをコンパイラが判断できない可能性もあります。 （ に副作用がある場合、または式のいずれかの演算に、 の効果がある場合、コンパイラは ||の短絡動作を尊重しなければなりません）最後に、コンパイラがこれをすべて行ったとしても... 比較の順序を慎重に選択して、最も頻繁なケースが最初の になるようにしました。このような“の最適化”は、最終的に が悲観的になる可能性があります。これを処理する

“正しい”（いくつかの状態が関係している場合や機能部品を多型ために、 ）関数へのポインタに 文字列をマッピング、マップを作成することです。