类型擦除的实际应用场景包括实现可存储任意类型值的容器、处理不同类型数据的通用函数、以及策略模式或访问者模式等设计模式。例如，qt的qvariant类利用类型擦除存储多种数据类型。类型擦除通过虚函数调用和动态内存分配带来一定性能开销，但其灵活性通常更重要。为避免代码膨胀，应精简接口类中的虚函数数量，并可采用静态多态（crtp）减少虚函数调用开销。
类型擦除，简单来说，就是隐藏具体的类型信息，让代码可以处理不同类型，而无需在编译时知道确切的类型。这在需要处理多种类型，但又不想使用模板（或者模板不适用）的情况下非常有用。
c++中实现类型擦除，通常会用到虚函数和模板。核心思想是创建一个基类，其中包含一些虚函数，这些虚函数定义了我们想要对擦除类型进行的操作。然后，我们创建一个模板类，该模板类继承自基类，并使用模板参数来存储实际的类型。模板类重写基类的虚函数，并在这些函数中调用实际类型的方法。
#include <iostream> #include <memory> // 接口类 class AnyValueConcept { public: virtual ~AnyValueConcept() = default; virtual std::unique_ptr<AnyValueConcept> clone() const = 0; virtual void print() const = 0; }; // 模板类，负责存储具体类型并实现接口 template <typename T> class AnyValueModel : public AnyValueConcept { public: AnyValueModel(T value) : data_(value) {} std::unique_ptr<AnyValueConcept> clone() const override { return std::make_unique<AnyValueModel>(data_); } void print() const override { std::cout << data_ << std::endl; } private: T data_; }; // 类型擦除类 class AnyValue { public: template <typename T> AnyValue(T value) : concept_(std::make_unique<AnyValueModel<T>>(value)) {} AnyValue(const AnyValue& other) : concept_(other.concept_->clone()) {} AnyValue& operator=(const AnyValue& other) { concept_ = other.concept_->clone(); return *this; } ~AnyValue() = default; void print() const { concept_->print(); } private: std::unique_ptr<AnyValueConcept> concept_; }; int main() { AnyValue intValue(10); AnyValue stringValue("Hello, World!"); intValue.print(); // 输出 10 stringValue.print(); // 输出 Hello, World! AnyValue copiedValue = intValue; copiedValue.print(); // 输出 10 return 0; }
类型擦除有哪些实际应用场景？
类型擦除在很多场景下都非常有用。比如，在实现一个可以存储任意类型值的容器时，或者在需要编写一个可以处理不同类型数据的通用函数时。例如，Qt的QVariant类就是类型擦除的一个典型应用，它允许存储各种不同的数据类型，而无需在编译时指定具体的类型。另外，在实现一些设计模式，比如策略模式或者访问者模式时，类型擦除也可以简化代码，提高灵活性。
立即学习“C++免费学习笔记（深入）”；
类型擦除会带来哪些性能上的影响？
类型擦除会引入一些性能开销。由于使用了虚函数，每次调用都需要进行虚函数查找，这会比直接调用函数略慢。此外，类型擦除通常需要进行动态内存分配，比如在复制对象时，这也会带来额外的开销。但是，在很多情况下，这些性能开销是可以接受的，因为类型擦除带来的灵活性和代码简洁性更加重要。当然，在性能敏感的场景下，需要仔细评估类型擦除带来的影响，并考虑是否可以使用其他替代方案，比如模板。
如何避免类型擦除带来的代码膨胀？
使用模板会产生代码膨胀，而类型擦除的目标之一就是避免模板带来的代码膨胀。但如果类型擦除实现不当，也可能引入类似的问题。关键在于接口类的设计。如果接口类定义的虚函数过多，那么每个具体的类型都需要实现这些虚函数，从而导致代码膨胀。因此，应该尽量减少接口类中的虚函数数量，只保留最基本的操作。此外，可以使用一些技巧，比如使用静态多态（CRTP），来减少虚函数调用的开销，从而提高性能。
