C++、関数の引数のtemplatization対多型

Question

は、2つのクラスAとBがあり

は、Aは、基本クラスであり、Bは、派生クラスである：

template <typename T> 
class A {T a;}; 

template <typename T> 
class B: public A <T> {T b;}; 

変性容器

を表す次のクラス

template <typename Item> 
struct TItems {typedef std::vector <Item> Type;}; 

template <typename Item> 
class ModCont 
{ 
    private: 
      typename TItems <Item>::Type items; 
}; 

機能試験は、（）仮パラメータとしてオブジェクトのコンテナへのポインタを有する。

template <typename T> 
void test (ModCont <A <T> > *it) {} 

Iが多型を適用し、方法試験にBの容器を通過したい：

int main(int argc, char* argv[]) 
{ 

    ModCont < A <double> > a_items; 
    ModCont < B <double> > b_items; 
    test (&a_items); //Works 
    test (&b_items); //Does not work 
    return 0; 
} 

Iが見出さ唯一の方法は、このように試験（）メソッドのパラメータをテンプレート化することである。

template <typename Object> 
void test (ModCont <Object> *it) {} 

代わりにコンパイル多型の「機能」多型（テンプレート？）あなたの助けを

感謝の使用方法をどのような方法があります...

Answer 1

まず、テンプレートはではありません。ランタイムポリモーフィズム - コンパイル時の多型です。

ランタイムポリモーフィズムを使用する場合は、ModCont<B<T> >がModCont<A<T> >から派生していることを確認する必要があります.C++で多態性を処理する方法ではこれがデフォルトになりません。あるいは、ModCont<T>は一般的なものであるModContBaseから派生させることができますが、それがどのように機能するかは不明です。

Answer 2

リンゴがFRUでありますそれ。

リンゴの袋はフルーツの袋ではありません。果物の袋に梨を入れることができるからです。

Answer 3

コンテナをAではなくA *にする必要があります。U *のコンテナを取得し、そのコンテナの内容を自身に追加するコンストラクタも必要です。