型が派生クラスに依存する基本テンプレートクラスのメンバーを宣言するにはどうすればよいですか？

Question

CRTPを使用する基本クラスがあると、型が派生クラスに依存する基本テンプレートクラスのメンバーを宣言しています。意図したように、次の作品ながら

：

template <class T> class BaseTraits; 
template <class T> class Base { 
    using TypeId = typename BaseTraits<T>::TypeId; 
    TypeId id; 
public: 
    Base() { id = 123; } 
    TypeId getId() { return id; } 
}; 

class Derived; 
template <> class BaseTraits<Derived> { 
public: 
    using TypeId = int; 
}; 

class Derived : public Base<Derived> {}; 

int main(int argc, char ** argv) { 
    Derived foo; 
    return foo.getId(); 
} 

私は実装を簡素化することができれば、私は疑問に思います。 Baseテンプレートに2番目のテンプレートパラメータを追加して、BaseTraitsを簡単にしたり、取り除いたりすることもできます。しかし、上記のスニペットはすでに第2のテンプレートパラメータを削除しようとしています。私はBaseの2番目のテンプレートパラメータを含まないソリューションを探しています。

私は次のようなものを試してみたが、それはコンパイルされません：

error: invalid use of incomplete type 'class Derived'

template <class T> class Base { 
    using TypeId = typename T::TypeId; 
    TypeId id; 
public: 
    Base() { id = 123; } 
    TypeId getId() { return id; } 
}; 

class Derived : public Base<Derived> { 
public: 
    using TypeId = int; 
}; 

int main(int argc, char ** argv) { 
    Derived foo; 
    return foo.getId(); 
} 

UPDATE：

• 私はC++ 14に制限されています。
• Baseはテンプレートである必要があります。
• パフォーマンスは必須です。

Answer 1

メンバータイプを直接派生クラスに応じてにすることはできますか？ auto（返される型の推定値）で宣言されたメンバー関数の結果型を取得すると、は不可能です。

ですから、ソリューションで行うよう型特性の使用が最善との唯一の解決策です。

派生クラスが定義されている場合、基本クラスは完全型でなければなりません。コンパイラは、派生クラス定義を解析する前に、まずベースクラス定義をインスタンス化して解析する必要があります。C++ standard N4140 [derived.class]/2（太字は鉱山です）：

The type denoted by a base-type-specifier shall be a class type that is not an incompletely defined class;[...]

Answer 2

これは簡略化されていますが、いくらかの値段を払ってください。

このようなものについては何

#include <any> 

template <class T> class Base { 
    std::any id; // expensive, but cannot have T::TypeId here 
public: 
    Base() : id(123) {} 
    auto getId() { 
     return std::any_cast<typename T::TypeId>(id); 
    } // T::TypeId is OK inside a member function 
}; 

class Derived : public Base<Derived> { 
public: 
    using TypeId = int; 
}; 

Answer 3

：

template <typename T, typename TypeId> class Base 
{ 
private: 
    TypeId id; 
public: 
    Base() { id = 123; } 
    TypeId getId() {return id;} 
}; 

class Derived : public Base<Derived, int> {}; 

Answer 4

クラス階層を逆にないのはなぜ？

template <class T> 
class Base : T { 
    using TypeId = typename T::TypeId; 
    TypeId id; 
public: 
    Base() { id = 123; } 
    TypeId getId() { return id; } 
}; 

struct BasicDerived { 
    using TypeId = int; 
}; 


using Derived = Base<BasicDerived>; 

Answer 5

正直なところ、ハード循環依存の壁に当たっています。 どのような脱出は臭いです。
2つのテンプレート引数は、最終的には小さな値段のようです。

DerivedとTypeIDをとるダミーのテンプレートクラスを宣言できますか？私はそれがあなたに何かを得るとは思わない。

Is TypeID：1：1マッピングを派生しましたか？ TypeIDから派生した別のヘルパーテンプレートを使って1：1のマッピングをバックルックアップすることを過度に表現する方が良いでしょうか？これを行うには、TypeIDをDerivedクラスの外部で定義する必要があることに注意してください。
TypeIDは実際にクラス内で定義する必要がありますか？内部typedefの既存の使用をサポートするために、渡された定義をBaseでリーチできますか？

ダブルインクルードできますか？テンプレートの前に含めることができる基本クラス定義にtypeidが含まれるように、派生の定義を分割またはmacrioseしますか？このDerivedBaseは名前空間で宣言することができ、完全なDerivedクラスへのtypedefリンクを含んでいるため、Baseは参照用にそれを見つけることができます。

Answer 6

実際には、これはあまりにも不愉快ではないと思った：
あなたはバインディング構造体を持つことができ、実際のクラスの直前に宣言されたマクロとして記述することもできます。
バインディング構造体は、実数型の列挙型と不完全な型定義を定義します。
テンプレートは、そのすべての前に定義されていますが、その依存関係を延期する型名を使用しますが、それは実際のクラスのように型ID使用されていることを実際のクラスと結合構造体にのみ依存

template <class ThatClassWrapper> 
class MyBase 
{ 
protected: 
    typedef typename ThatClassWrapper::TypeId TypeId; 
    typedef typename ThatClassWrapper::RealClass ThatClass; 
    TypeId typeIdValue; 
    TypeId GetTypeId() { return typeIdValue; } 
    std::vector<ThatClass*> storage; 
}; 

class SomeClass; 
namespace TypeIdBinding 
{ 
    struct SomeClass 
    { 
     enum TypeId 
     { 
      hello, world 
     }; 
     typedef ::SomeClass RealClass; 
    }; 
} 
class SomeClass: public MyBase<TypeIdBinding::SomeClass> 
{ 
public: 
    bool CheckValue(TypeId id) 
    { return id == typeIdValue; } 
}; 

注によってインスタンス化されますテンプレートベースで定義され、名前付きメンバーは直接表示されません。テンプレートBaseをバインディング構造体から派生させることで、それを修正することができます（そのようにコンパイルすることが確認されています）。私は実際にはC++ 11のように、別の名前空間から列挙型の名前をエクスポートまたはtypedefして、その名前を列挙型メンバーの接頭辞として使用して名前の汚染を避けることができます。