型消去
型消去 (英: type erasure) とは、型変数が存在するクラスや構造体において、型変数を消去すること。
C++では、何らかの条件を満たす様々な型のオブジェクトをカプセル化し、テンプレートを使用しつつ実行時の多態性を実現する技法のことを言う。
以下のような利用例がある。