テンプレート引数を解決できないために多型に失敗しましたか？

Question

私はこれが畳み込まれているようですが、誰かが私の間違いを指摘してくれることを願っています。デザインがあなたの口の中に悪い味を残すと確信しています。私はデザインの選択肢を聞いてうれしいです。しかし、この形式は、問題領域のモデリングに由来します。

私はばかげていると確信していますが、テンプレートが継承して私を混乱させる方法については何かがあります。ここではいくつかは、以下の説明でコードをダウン切り詰めです：

// main.cpp 

#include <cstdio> 

template <typename POD> 
class A { 
public: 
    POD data; 
    POD get_a() { return data; } 
}; 

template <typename T> 
class B { 
public: 
    virtual void do_something_with_an_A_child(const T&) = 0; 
}; 

class ADerived : public A<float> { 
public: 
    ADerived(float a) { data = a; } 
}; 

class BDerived : public B<ADerived> { 
public: 
    virtual void do_something_with_an_A_child(const ADerived& someA) { 
    printf("A bit of A-type's data: %f\n", someA.data); 
    } 
}; 

template <typename POD> 
class Aggregator { 
public: 
    A<POD>* instanceOfA; 
    B<A<POD>>* instanceOfB; 
    Aggregator(A<POD>* anA, B<A<POD>>* aB) : instanceOfA(anA), instanceOfB(aB) {} 
}; 

int main() { 
    ADerived myADerived(3.14159f); 
    BDerived myBDerived; 

    Aggregator<float> myAggregator(&myADerived, &myBDerived); 

    return 1; 
} 

のでA署名ほんの一部がビルトインされるタイプ（複数可）のクラステンプレートです。 （私の特別なケースでは、Aにはその内部データを操作するメソッドがあります）。クラスBは、A<.>の特定のインスタンスを対象としたいくつかの操作に対するインタフェースを約束します。上のコードでは、AとBをテンプレートクラスとして定義し、これらのテンプレートクラスを継承するクラスを作成して、ADerivedとBDerivedとしています。

（真の場合、Aは、数学的モデルといくつかのデータを表し、そしてBモデルに数学的な最適化を行うためのインタフェースである。）次に

のインスタンスへのリンクを有していなければならないクラスをADerivdedとBDerived（それらのインターフェイスに基づいて一般的なアルゴリズムを作成する目的で）私はAggregatorを呼び出しました。これは単にコンストラクタでいくつかのポインタが必要です。 は、PODタイプについて知りたいだけです。これは、インターフェイスを操作するだけであり、オブジェクトに含まれるものについてあまり心配する必要がないからです。

私は-std=c++14とclang++から次のコンパイラエラーを取得する：

main.cpp:42:21: error: no matching constructor for initialization of 'Aggregator<float>' 
    Aggregator<float> myAggregator(&myADerived, &myBDerived); 
        ^   ~~~~~~~~~~~~~~~~~~~~~~~~ 
main.cpp:35:3: note: candidate constructor not viable: no known conversion from 'BDerived *' to 'B<A<float> > *' for 2nd argument 
    Aggregator(A<POD>* anA, B<A<POD>>* aB) : instanceOfA(anA), instanceOfB(aB) {} 
^

意味が明確であるが、私はそれがBDerivedがB<A<float>>であることを見ることができない理由はわかりません。つまり、具体的にはB<ADerived>ですが、ADerivedはA<float>であるため、BDerivedはB<A<float>>と見なされます。これは明らかにそうではありませんので、私は何かばかげたことをしています。誰かにそれを指摘させてもらうか、これはC++では不可能です。代替設計提案が必要です。

Answer 1

テンプレート引数は、静的で正確な型に解決されます。したがって、ADerivedがA<POD>の子孫であっても、B<ADerived>はB<A<POD>>に減衰しません。使用Bに

• はAggregatorで、もう一つのテンプレートパラメータ、Tを取り、必要に応じてTの公開A<POD>がTのベースであること、または
• （std::enable_if<>とstd::is_base<>を使用して）確保：あなたはこのことで回避するかもしれませんa typedefとし、AggregatorをTとし、TとA<B::T>をAggregatorに格納する。