テンプレートの再帰的なデータ型

Question

は、私はこのような再帰的なデータ型を持っています。どこかでエラーを出していますか？これは標準の一部ですか？

テンプレートパラメータ（std::stackとstd::queueなど）で内部コンテナを決定したいと思っていますが、SomeTypeが既に定義されている必要があるため、これを行う方法はわかりません。

不完全な例：

template<typename T, typename C = std::map<T, SomeType<[???]>>> 
struct SomeType { 
    C mapping; 
}; 

SomeType<int, [???]> foo; 

私は、これは、ランタイム間接に行うことができます知っているが、それは私が探しているものではないのです。

Answer 1

あなたのクラスは定義の最後の}の前にどこかで不完全です。そのため、mappingメンバーは型のテンプレート引数に不完全型SomeTypeを使用しています。

The standard does not allow this, and it is pure luck that it works with some STL containers.

あなたの第二の質問は同じ答えに該当する - 最初の場所でそれを行うことは違法です。

Answer 2

明白な理由から、再帰的なデフォルトパラメータでテンプレートを定義することはできません。不完全な型の標準ライブラリコンテナテンプレートをインスタンス化することはできません。標準ではそうだと言います（そうでなければ未定義の動作です）。しかし、通常のPIMPLイディオムが役に立ちます：

#include <map> 
#include <memory> 
template <typename T> class SomeType 
{ 
    typedef std::map<T, SomeType<T>> map_type; 
    typedef std::unique_ptr<map_type> map_ptr; 
    map_ptr pimpl; 
public: 
    SomeType() : pimpl(new map_type) { } 
}; 

Answer 3

コンテナに不完全な型を使用することはできませんが、スマートポインタで行うことができます。 そして、あなたは未定義の型パラメータを持つテンプレートの種類を作成することはできませんが、あなたはここにいくつかのトリックを使用することができます。

template<typename T, template <typename U, typename V, typename... Args> class Container = std::unordered_map > 
struct SomeType { 
    Container<T, std::unique_ptr<SomeType> > mapping; 
};