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

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

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

#include
#include 
#include 

template
class TypeErasedWrapper {
public:
    template
    TypeErasedWrapper(U&& value)
        : _value(new ValueWrapper::type>(std::forward(value))) {}

    // ... 其他成员函数，如析构函数、拷贝/移动构造函数和赋值运算符等

private:
    class ValueWrapperBase {
    public:
        virtual ~ValueWrapperBase() = default;
        // ... 其他虚函数，用于实现类型擦除的接口
    };

    template
    class ValueWrapper : public ValueWrapperBase {
    public:
        ValueWrapper(U&& value) : _value(std::forward(value)) {}

        // ... 实现 ValueWrapperBase 中的虚函数

    private:
        U _value;
    };

    std::unique_ptr _value;
};

int main() {
    TypeErasedWrapper wrapper1 = 42;
    TypeErasedWrapper wrapper2 = 3.14;

    // ... 使用类型擦除的对象

    return 0;
}