如何利用C++ decay实现类型擦除

在 C++ 中，std::decay 是一个模板元函数，它可以将给定的类型转换为其对应的非引用、非 cv-qualified（即非 const/volatile 限定）类型。这对于实现类型擦除非常有用，因为它允许我们存储和操作各种类型的对象，而无需知道它们的确切类型。

下面是一个使用 std::decay 实现类型擦除的示例：

#include<iostream> #include <type_traits> #include <utility>  template<typename T> class TypeErasedWrapper { public:     template<typename U>     TypeErasedWrapper(U&& value)         : _value(new ValueWrapper<typename std::decay<U>::type>(std::forward<U>(value))) {}      // ... 其他成员函数，如析构函数、拷贝/移动构造函数和赋值运算符等  private:     class ValueWrapperBase {     public:         virtual ~ValueWrapperBase() = default;         // ... 其他虚函数，用于实现类型擦除的接口     };      template<typename U>     class ValueWrapper : public ValueWrapperBase {     public:         ValueWrapper(U&& value) : _value(std::forward<U>(value)) {}          // ... 实现 ValueWrapperBase 中的虚函数      private:         U _value;     };      std::unique_ptr<ValueWrapperBase> _value; };  int main() {     TypeErasedWrapper<int> wrapper1 = 42;     TypeErasedWrapper<double> wrapper2 = 3.14;      // ... 使用类型擦除的对象      return 0; } 

在这个示例中，我们创建了一个名为 TypeErasedWrapper 的类，它使用 std::decay 来实现类型擦除。我们还定义了一个基类 ValueWrapperBase 和一个模板派生类 ValueWrapper，用于存储和操作各种类型的对象。通过这种方式，我们可以在不知道具体类型的情况下，处理各种类型的对象。