あるタイプから別のタイプへのエイリアスの作成

Question

私は何らかの種類のDIコンテナをC++で書いています。現代のC++のエイリアスを別のタイプから別のエイリアスにすることができれば興味があります。 私が基本的にしたいことは、エイリアスインターフェイスで実装コンストラクタを呼び出すことができることです。これと同じように：

di::Register<Interface, Impl>(); 
di::Resolve<Interface>(); // -> Impl should be resolved 

問題は、私がこれまでにコンパイル時にエイリアスインターフェイスとImplをする方法を見つけることができなかったことです。私はRTTIを使ってこれを行うことができますが、実際には使用したくありません。まったく可能ですか？

Answer 1

問題は、これまでコンパイル時にInterfaceとImplのエイリアスを見つけることができなかったことです。私はRTTIを使ってこれを行うことができますが、実際には使用したくありません。まったく可能ですか？

私はあなたの目標を正しく理解していると仮定すると、これを行うために使用できるトリックがあります。それはあなたがそこに持っているもののように見栄えはありません。

http://stackoverflow.com/questions/4790721/c-type-registration-at-compile-time-trick

このトリックは、マット・カラブレーゼに起因していた、彼はa Boostcon talk in like 2011でそれを説明しました。

このトリックは標準に準拠していますが、いくつかのヘッダーファイルで登録を開始してからCPPファイルで登録を続けると、ODR違反が発生する可能性がありますあなたは不注意です。

私は、例えば、あなたが

REGISTER_PAIR(interface, impl); 

のようないくつかのマクロで終わるだろうと、あなたは、いくつかの型の別名を持っていると思う

get_registered_impl_t<interface> 

これはimplに解決されます。

この例では、時間の経過とともに蓄積されるタイプのリストを作成する方法を示しています。あなたの場合、それはタイプレベルの "ペア"のリストになり、リニアスキャンを行うことでそれを検索することができます。複雑なコンパイル時のマップデータ構造を使用しようとすることもできますが、ほとんどの場合、リニアスキャンは十分速く、リストの長さはコンパイラの最大テンプレートインスタンス化の深さによって制限されます典型的には100または200のようなものです。大きなリストが必要な場合は、使用できるトリックがありますが、ここでは詳しく説明しません。

Answer 2

あなたは（私は積極的にお勧めしません）グローバルな状態を持っている場合は、それと逃げるべきで、あなたのコードのインタフェースを見ることによって：

using type_id_t = void(*)(); 
template<typename> void type_id() {} 

struct di { 
    using create_function_t = void*(*)(); 
    static std::unordered_map<type_id_t, create_function_t> types; 

    template<typename I, typename T> 
    static void Register() { 
     types.emplace(type_id<I>, []{ 
      return static_cast<void*>(
       static_cast<I*>(new T) 
      ); 
     }); 
    } 

    template<typename I> 
    static std::unique_ptr<I> Resolve() { 
     return std::unique_ptr<I>{static_cast<I*>(types[type_id<I>]())}; 
    } 
}; 

Live example