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