if文コンパイル時のconst値

Question

コンパイル時定数に基づいて関数にコードを含めたいのですが、static_ifはC++の構文ではありません。

だから私はこの

class TA { 
public: 
    template<bool flag> 
    void func() { 
     if(flag) 
      a++; 
    } 

    int a; 
}; 


int main() { 
    TA a; 
    a.func<true>(); 
    a.func<false>(); 
} 

のような関数を書くことができると私は、コンパイラは2つの機能を作る保証を持っていると思います。 1つは 'if（flag）a ++'が関数にコンパイルされ、もう1つはコンパイルされない関数です。

この保証は、C++ 17標準に基づいて取得することはできますか、コンパイラベンダーの助けを借りてですか？

ありがとうございました。

Answer 1

実際には、C++ 17にはあなたが求めているものが含まれています。それはif constexprです。

あなたの条件は（そのようなテンプレートのインスタンス化など）、コンパイル時に評価することができますどこにでも使用することができます。

class TA { 
public: 
    template<bool flag> 
    void func() { 
     if constexpr (flag) 
      a++; 
    } 

    int a; 
}; 

しかし、他の人はあなたができるだけ多くを獲得しそうだ、この例では、述べてきたようにコンパイラはしばしばこのようなものを最適化できます。