コンパイル時のコード生成

Question

I次のコードを持っている：

template<typename T, typename... args> 
void func(const my_type<T, args...>& set, std::ofstream t_print, std::ofstream args_print) { 
     t_print << set.get_t() << std::endl; 

     if (sizeof...(args) > 0) 
      data << set.get_args() << std::endl; 
    } 
} 

if条件の評価は時間を実行するために延期され、コンパイラは、本体のコードを生成ifの私の質問は、コンパイラがsizeof...(args) == 0の場合にコードを生成せず、テンプレートの特殊化技術を使用しないようにする方法があるかどうかです。現代のC++には回避策がありますか？サイズがゼロの場合ARGS...の大きさは、しかし、0よりも大きい場合

template <typename T, typename ... ARGS> 
std::enable_if_t<(sizeof...(ARGS)>0)> func(...) { ... } 

この場合、funcだけ過負荷セットの一部として表示されます、あなたは：あなたは常にstd::enable_ifを使用することができます

Answer 1

あなたのオーバーロードセットから関数が欠落します。しかし、それはあなたが欲しいと思うかもしれません。

Answer 2

以降のみパックを持つから構成され、このための実用的な、非難読化トリック、

template<typename T, typename arg, typename... args> 
void func(const my_type<T, arg, args...>& set, std::ofstream t_print, std::ofstream args_print) { 
    t_print << set.get_t() << std::endl; 
    data << set.get_args() << std::endl; 
} 

は、あなたが「最適化」としてこれを行うことを検討している場合、ちょうどすぐに停止しかしあります。また、アセンブリで直接C++とプログラムの使用について心配する必要があります。ああ、まず、インテルの開発者向けマニュアルを読んで、コンパイラのコード生成よりもCPUの方が良いことを知っておく必要があります。

ボトムライン - このレベルでのパフォーマンスは心配しないでください。 「最適化を有効にしない」とは、「ダムコード生成」を意味しません。最適化を無効にしても、半分程度のコンパイラはif(0) ...を発行しません。