如何利用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，用于存储和操作各种类型的对象。通过这种方式，我们可以在不知道具体类型的情况下，处理各种类型的对象。