テンプレートを使用してC++で型を指定するには？

Question

使い方に基づいてクラスの型を宣言できるようにします。たとえば、3つのキューが接続された3ステージのパイプラインを作成します。キューとステージを正しく接続しているかどうかを確認したい（例：キューが正しい方向に、正しいユニットに移動しているなど）

ここは私のものの非常に単純化された例です達成しようとしています：

template<class in, class out> 
class Fifo: public queue{}; 

class Stage1; class Stage2; class Stage3; 

class Stage1{ 
    Fifo<Stage1,Stage2>* m_fifoOut; 
}; 

class Stage2{ 
    Fifo<Stage1,Stage2>* m_fifoIn; 
    Fifo<Stage2,Stage3>* m_fifoOut; 
}; 

class Stage3{ 
    Fifo<Stage2,Stage3>* m_fifoIn; 
}; 

これを機能的に達成するより適切な方法はありますか？コンパイル時に、キューが正しく設定されていないことを知ることが望ましいです。しかし、私は、テンプレートを使用すると不要なクラスのコピーが生成されることを心配しています。

Answer 1

これまで通り完全に合理的に見えます。私が働いている会社では、定期的にテンプレートを使っています（あなたが知りたくない）、そして重複したオブジェクトコードに関連する問題は一度もありませんでした。考えている）。

Answer 2

私は私が正しくキューと一緒にステージを接続することを確認する（例：キューがなど、右ユニットに、正しい方向に向かっている。）

だけ持っています第2の型を生成するメタ関数。最初の型を指定するだけです。

template<class In> 
struct get_target; 

class Stage1; class Stage2; class Stage3; 

template<> 
struct get_target<Stage1>{ 
    typedef Stage2 type; 
}; 

template<> 
struct get_target<Stage2>{ 
    typedef Stage3 type; 
}; 

template<class In> 
class Fifo : public queue{ 
    typedef In in_type; 
    typedef typename get_target<In>::type out_type; 
}; 

struct Stage1{ 
    Fifo<Stage1> m_fifoOut; 
}; 

struct Stage2{ 
    Fifo<Stage1> m_fifoIn; 
    Fifo<Stage2> m_fifoOut; 
}; 

struct Stage1{ 
    Fifo<Stage2> m_fifoIn; 
}; 

Answer 3

私はパイプラインをもう少し直接的に表現しようと考えています。具体的には、私はFIFOの代わりにパイプラインステージに集中しようとします。 C++ 11が利用可能な場合は、パイプラインステージのタイプを指定するバリアブルテンプレートがあり、各パイプラインステージと次のパイプステージの間に自動的にFIFOが生成されます。