g ++：テンプレートメンバ関数のインスタンスをマージする

Question

最終的なバイナリにマージされるテンプレート化されたクラスのメンバ関数を持つ方法はありますか？私は、特定の機能をサポートし、それに依存して、メンバ関数の内部いくつかの追加のステップを必要とすることができるクラスがある：

template <uint32_t features> 
class Driver { 
    static bool set (uint32_t value) { 
     /* do something required for every feature */ 
     if (features & Feature::A) 
     /* do special things if Feature::A */ 
     /* do something required for every feature */ 
     if (features & Feature::B || features & Feature::C) 
     /* do something special for either Feature::B or Feature::C */ 
     return true; 
    } 
    /* more, similar methods */ 
}; 

後のコードで、私は、実際に応じDriver<Feature::A>::set又はDriver<Feature::A | Feature::B>::set等のコールを使用します利用可能な機能。これまでのところうまくいきますが、g++-5.4.0 -std=c++11 -O3でコンパイルされたコードだけが同じメソッドをどのようにマージしていないのですか？このクラスには、共通の共通部分を持つ複数の関数があり、実際には最終的なバイナリのサイズが大きくなります。共通する部分についてはプライベート関数を使用すると、サイズのオーバーヘッドが減少しますが、私の意見では読むことのように友好的ではありませんが：特別のひとつに「早く出て」パスがある場合にも、これは、問題を紹介

template <uint32_t features> 
class Driver { 
    static void _set_common_0 (value) { 
     /* do something required for every feature */ 
    } 
    static bool set (uin32_t value) { 
     _set_common_0 (value); 
     if (features & Feature::A) 
      _set_special_0 (value); 
     _set_common_1 (value); 
     if (features & Feature::B || features & Feature::C) 
      _set_special_1 (value); 
     return true; 
    } 
}; 

以前は単純なreturnで行うことができましたが、現在はサブ機能からエスカレートされ、そのサブ機能の戻り値に応じてさらにチェックが行われます。

私は何をしたいですか？コンパイラはDriver<Feature::B>::setとDriver<Feature::C>::setのシンボルを（使用時に）発行しますが、コードで同一のコード位置を指していることを確認してください。どのように私はこれを行うことができる任意のアイデア？ （好ましくは、新しい規格から機能を必要とC++ 11に滞在していない）

EDIT：（テンプレートインスタンスでここで生産）の同一の命令シーケンスをgccによって結合されていない理由を明確にするために、私は、疑問に思って。私の理解のために、-ftree-tail-mergeは少なくともそれらを同じ実装/コードシーケンス（e.q. Driver<Feature::B>::setとDriver<Feature::C>::set）へのジャンプで置き換えるべきです。

Answer 1

投稿したコードから、あなたがテンプレートを誤って使用していることがわかります。正しい方法はDriverの部分的な特殊化を定義することです：

template <uint32_t features> 
class Driver; // There may be some default implementation, but it is not necessary 

// Specialize for feature A only 
template <> 
class Driver<Feature::A> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::A */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

// Specialize for feature B only 
template <> 
class Driver<Feature::B> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::B */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

// Specialize for features A and B 
template <> 
class Driver<Feature::A | Feature::B> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::A */ 
     /* do special things for Feature::B */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

テンプレートアプローチの利点は、特定の機能が有効になっているかどうかをチェックするため、実行時のオーバーヘッドを持っていないということです。もちろん、多くの機能がある場合は、多数の機能の組み合わせが存在します。したがって、出力バイナリの膨れ。そのため、クラステンプレートを取り除き、ランタイム関数の引数を使用することをお勧めします。たとえば、コンストラクタにフィーチャを渡します。

class Driver { 
private: 
    uint32_t features_; 

public: 
    Driver(uint32_t features) : features_(features) {} 
    bool set (uint32_t value) { 
     /* do something required for every feature */ 
     if (features_ & Feature::A) 
     /* do special things if Feature::A */ 
     /* do something required for every feature */ 
     if (features & Feature::B || features & Feature::C) 
     /* do something special for either Feature::B or Feature::C */ 
     return true; 
    } 
};