C++中的CRTP（Curiously Recurring Template Pattern，好奇递归模板模式）是一种强大的技术，它允许我们实现编译时的多态性。然而，CRTP本身并不直接支持类型擦除。类型擦除通常用于在编译时和运行时保持接口的一致性，同时隐藏具体的实现细节。
尽管CRTP不能直接实现类型擦除，但我们可以通过其他方式结合使用CRTP和类型擦除的概念。一个常见的做法是使用虚函数和动态类型识别（dynamic_cast）来实现类似类型擦除的效果。
下面是一个简单的示例，展示了如何使用CRTP和虚函数实现类型擦除：
#include <iostream> #include <typeinfo> // 基类模板 template <typename Derived> class Base { public: void baseMethod() { static_cast<Derived*>(this)->derivedMethod(); } }; // 派生类A class DerivedA : public Base<DerivedA> { public: void derivedMethod() { std::cout << "DerivedA method called" << std::endl; } }; // 派生类B class DerivedB : public Base<DerivedB> { public: void derivedMethod() { std::cout << "DerivedB method called" << std::endl; } }; int main() { Base<DerivedA>* objA = new DerivedA(); Base<DerivedB>* objB = new DerivedB(); objA->baseMethod(); // 输出 "DerivedA method called" objB->baseMethod(); // 输出 "DerivedB method called" // 使用dynamic_cast进行类型擦除 if (DerivedA* derivedA = dynamic_cast<DerivedA*>(objA)) { derivedA->derivedMethod(); // 输出 "DerivedA method called" } else { std::cout << "dynamic_cast failed" << std::endl; } if (DerivedB* derivedB = dynamic_cast<DerivedB*>(objB)) { derivedB->derivedMethod(); // 输出 "DerivedB method called" } else { std::cout << "dynamic_cast failed" << std::endl; } delete objA; delete objB; return 0; } 在这个示例中，我们使用了一个基类模板Base，它接受一个派生类作为模板参数。基类中有一个虚函数baseMethod，它调用派生类中的derivedMethod。这样，我们可以在运行时通过基类指针调用正确的派生类方法，从而实现类似类型擦除的效果。
需要注意的是，这种方法并不是真正的类型擦除，因为它仍然依赖于虚函数和动态类型识别。然而，它可以在一定程度上隐藏具体的实现细节，并在编译时和运行时保持接口的一致性。
