C++ 基本机制
示例
类型擦除是一种使用对象从代码中隐藏对象类型的方法，即使它不是从通用基类派生的也是如此。这样，它为静态多态性（模板；在使用时必须在编译时知道确切的类型，但不必在定义时声明为符合接口）之间建立桥梁。（继承和虚函数；在使用时，不需要在编译时知道确切的类型，而必须在定义时声明其符合接口）。
以下代码显示了类型擦除的基本机制。
#include <ostream>
class Printable
{
public:
template <typename T>
Printable(T value) : pValue(new Value<T>(value)) {}
~Printable() { delete pValue; }
void print(std::ostream &os) const { pValue->print(os); }
private:
Printable(Printable const &) /* in C++1x: =delete */; //未实现
void operator = (Printable const &) /* in C++1x: =delete */; //未实现
struct ValueBase
{
virtual ~ValueBase() = default;
virtual void print(std::ostream &) const = 0;
};
template <typename T>
struct Value : ValueBase
{
Value(T const &t) : v(t) {}
virtual void print(std::ostream &os) const { os << v; }
T v;
};
ValueBase *pValue;
};在使用现场，仅上述定义是可见的，就像带有虚拟函数的基类一样。例如：
#include <iostream>
void print_value(Printable const &p)
{
p.print(std::cout);
}请注意，这不是模板，而是仅需要在头文件中声明且可以在实现文件中定义的常规函数（与模板不同，模板的定义必须在使用位置可见）。
在具体类型的定义中，不需要了解任何信息Printable，它只需要符合接口，就像模板一样：
struct MyType { int i; };
ostream& operator << (ostream &os, MyType const &mc)
{
return os << "MyType {" <<mc.i<< "}";
}现在，我们可以将此类的对象传递给上面定义的函数：
MyType foo = { 42 };
print_value(foo);