C 仮想テンプレート メソッド

C では、静的な時間ポリモーフィズム (テンプレート) と実行時ポリモーフィズムを組み合わせるのは難しい場合があります。これは、次の抽象クラスで明らかです。

class AbstractComputation {
    public:
        template  virtual void setData(std::string id, T data);
        template  virtual T getData(std::string id);
};

このクラスは、一意の識別子に基づいて、指定されたタイプのデータを設定および取得することを目的としています。ただし、setData("foodouble", data) など、特定の型で汎用の setData 関数を呼び出そうとすると問題が発生します。

コンパイラが動的にコンストラクトを実行する必要があるため、言語ではこの構造が禁止されています。無限の数のテンプレートのインスタンス化をディスパッチします。この問題を解決するには、いくつかのアプローチが可能です:

静的多態性の削除:

• キーと値を格納する別の型を導入して静的多態性を排除します。マッピング。テンプレートは、ポリモーフィズムを必要とせずに、これを基本レベルで解決できます。

class AbstractComputation {
public:
   template 
   void setData( std::string const & id, T value ) {
      m_store.setData( id, value );
   }
   template 
   T getData( std::string const & id ) const {
      return m_store.getData( id );
   }
protected:
   ValueStore m_store;
};

動的ポリモーフィズムの削除:

• 実行時ポリモーフィズムを保持しますが、型消去による静的ポリモーフィズムを排除します:
• boost::any を使用します。タイプ消去を提供し、あらゆるデータを保存しますtype:

class AbstractComputation {
public:
   template 
   void setData( std::string const & id, T value ) {
      setDataImpl( id, boost::any( value ) );
   }
   template 
   T getData( std::string const & id ) const {
      boost::any res = getDataImpl( id );
      return boost::any_cast( res );
   }
protected:
   virtual void setDataImpl( std::string const & id, boost::any const & value ) = 0;
   virtual boost::any getDataImpl( std::string const & id ) const = 0;
};