テンプレートtypedefがC++（C++ 11ではなく）で問題になっています

Question

this questionで、OPはC++では不可能なテンプレートtypedefに対する解決策を求めました。 OPはまた、溶液に自分自身を提示し、それを好きではなかった：

template<size_t N, size_t M> 
class Matrix { 
    // .... 
}; 

// Problem - will not compile 
typedef Matrix<N,1> Vector<N>; 

// Solution 
template <int N> 
class Vector: public Matrix<N,1> 
{ }; 

私の質問、Helper::typesolutionは、これらのクラスはベースポインタで使用されることを意図されることはありませんと仮定すると（OPのソリューション上で私たちをどのような優位性を与えるんさまたはnew 'd）？空のクラスでは、リリース時にオーバーヘッドが発生しません（またはそれはありますか？）。私が見ることができる唯一の欠点は、デバッグビルドでは、デバッグ時にベースクラスを拡張する必要があることです。

EDIT：選択された回答に加えて、継承されたバージョンではコンストラクタを定義する必要があることを示唆した@ Daniの回答を参照してください。これは追加の不都合です。

Answer 1

typedefのポイントは、タイプエイリアスを定義することです。サブクラスは型エイリアスではなく、新しい型です。例えば

、

Vector<3>::type * var = createMatrix<3, 1>(); 

が合法であるヘルパータイプで今すぐ

template<size_t N, size_t M> 
Matrix<N, M> * createMatrix(); 

いくつかのライブラリ関数を想像してみてください。相続

Vector<3> * var = createMatrix<3, 1>(); 

で
ではありません。

Answer 2

これはコンストラクタが継承されていないためです（デフォルトではC++ 11では使用できません）。 したがって、実装で基本クラスのコンストラクタを単に呼び出しても、すべての非デフォルトの構造体をコピーする必要があります。

Answer 3

主観的に違いがありますが、主な相違点は、パターンとは別に、マトリックスが崩壊するタイプで、typedefを含むヘルパーを使用しているのに対し、ベクターはマトリックスのエイリアスです少なくとも部分的な専門化が適用されるものについては）。

違いは、場合