C# と VB.NET の質問掲示板

http://www.artima.com/cppsource/type_erasure2.html

にTypeErasure(型消去)のサンプルソースがあるのですが、
ソースを追うことはできるのですが、何がどう型消去なのか
わかりません。教えてください。

なぜ、placeholder が必要なのでしょうか？
placeholder がなくても良さそうに思えます。

適当ですが、、以下の用な実装では型消去と言わないのでしょうか？

template<class ValueType >
class Any
{
  public:
    Any(ValueType& value);
    Any(const Any& other);
    Any& operator=(const Any& other);

    // その他いろいろ

  private:
    ValueType content;
};

placeholder を使う実装が一番ポピュラーなのでしょうか？

> なぜ、placeholder が必要なのでしょうか？
> placeholder がなくても良さそうに思えます。
上記ＵＲＬのソースを見たのですが、placeholderが基底クラスとして存在しないと
色々な型をanyクラスに代入することができないので必要なんじゃないでしょうか？

ちなみに、
＞template
＞any(ValueType const & value) : content(new holder(value)) {}
こうなって見えますが正しくはこうですね。
template <typename ValueType>
any(ValueType const & value) : content(new holder<ValueType>(value)) {}
#htmlのソースを表示したらちゃんと書いてありましたけど。

上記サイトのanyを使うと以下のようなことができます。
any hoge = 1;         // int型
std::string s("abc");
hoge = s;             // string型を入れてもエラーにならない

> 適当ですが、、以下の用な実装では型消去と言わないのでしょうか？
この例だとanyは宣言時に型を指定しなければ使えないので型消去ではないと思います。
Any<int> hoge = 1;
std::string s("abc");
hoge = s;             // string型はエラー

■No31505 (falcon さん) に返信

Boost.Anyで使われてるのは、非テンプレート基本クラスとテンプレート派生クラスを使用したType Erasureですね。
Boost.Anyはクラステンプレートではありませんが、あらゆる型をメンバとして持つことができ、
メンバとして持ってるあらゆる型の値を取り出すこともできます。

class any {
    ??? value_;
public:
    template <class T>
    any(const T& value);
};

このとき、メンバの型は何にすればいいんだー、というときにType Erasureという手法がよく使われます。

非テンプレート基本クラスとテンプレート派生クラスを使用する
タイプのType Erasureは以下のような感じで行います。

class base {};

template <class T>
class derived : public base {};

こういうのを用意しておくと、多態性を利用してderivedが持つ型情報Tをbaseに隠すことができます。

class any {
    base* p;
public:
    template <class T>
    any(const T&)
    {
        p = new derived<T>();
    }
};

この方法でのType ErasureはBoostでよく使われています。