合成（過剰継承）による余分なヒープ割り当ての回避

Question

tl; dr - 構図は私の状況にとって正しいデザインの選択のようですが、一緒に作っている各オブジェクトのヒープ割り当てのオーバーヘッドを避けたいと思います。どんな良いテクニックですか？

私は次のようになり、セットアップがあります。

大体

class Foo { 
    public: 
    Foo(unique_ptr<FooEvaluator> evaluator) 
    : evaluator_(std::move(evaluator)), 
     common_state_() {} 

    void FooMethod() { 
     // Perform some common processing. 
     evaluator.DoSomething(); 
    } 
    private: 
    unique_ptr<FooEvaluator> evaluator_; 
    Bar common_state_; 
} 

class FooEvaluator { 
    public: 
    virtual void DoSomething() = 0; 
} 

class FooEvaluatorImpl : public FooEvaluator { 
    public: 
    FooEvaluatorImpl(type1 arg) {...} 

    void DoSomething() override {...} 
} 

class FooEvaluatorImplVariant : public FooEvaluator { 
    public: 
    FooEvaluatorImplVariant(type2 arg) {...} 

    void DoSomething() override {...} 
} 

を：私はいくつかの共通の処理を行うのFooを持っているし、その後FooEvaluatorを使用しています。私はいくつかの異なるロジックを持つFooEvaluatorの実装をいくつか持っています。一般的なFoo処理は、それを複製しないようにするのには意味がありますが、それほど重要ではありません。

共有ロジックと評価ロジックの両方を含むモノリシックなFooを使用していた場合は、2つのオブジェクトを割り当てる必要があります。

FooからFooEvaluatorを継承し、Fooのプライベート仮想メソッドとしてDoSomething()を追加することは、ぼんやりとした妥当な中間地です。これは継承の濫用のビットです（あなたはFooEvaluatorが "Foo"だとは言えませんが）、私の共有コードを取得し、倍精度メモリの割り当てを回避します。

どのような考えですか？まあ

Answer 1

あなたはテンプレートを使用してそのような何かを行うことがあります。

template <typename Evaluator> 
class Foo { 
public: 
    template <typename ... Ts> 
    Foo(Ts&&... args) 
    : evaluator_(std::forward<Ts>(args)...), 
     common_state_() 
    {} 

    void FooMethod() { 
     // Perform some common processing. 
     evaluator.DoSomething(); 
    } 
private: 
    Evaluator evaluator_; 
    Bar common_state_; 
}; 

Answer 2

、私はFooのの複雑/詳細については考えていることから、私はそれインライン関数作る示唆し、その後、あなたが実行する前に、共通の処理を達成するために、いくつかのFooEvaluatorインスタンスからそれを呼び出すことができます詳細。