变体实现（可变参数模板）C++答案

【问题标题】：Variant implementation (variadic template) C++变体实现（可变参数模板）C++
【发布时间】：2015-02-26 09:32:32
【问题描述】：

我正在尝试实现一个变体类，但我遇到了递归函数的问题：

template<typename Visitor, typename... Types>
class VariantVisitor;

template<typename... Types>
class Variant
{
    template <typename V, typename... types>
    friend class VariantVisitor;
public:
    struct holder
    {
        virtual ~holder() {}
    };

    template <typename T>
    struct impl : public holder
    {
        impl(const T& t) : val(t) {}
        T get() const { return val; }
        T val;
    };

    Variant() : mHolder(nullptr) {}

    template <typename T>
    Variant(const T& t) 
    {
        mHolder = new impl<T>(t);
    }

    Variant(const Variant<Types...>& v) : mHolder(nullptr)
    {
        copy<Types...>(v);
    }

    ~Variant()
    {
        delete mHolder;
    }

    template <typename T>
    Variant<Types...>& operator = (const T& t)
    {
        if (!mHolder) {
            mHolder = new impl<T>(t);
            return *this;
        }

        _ASSERT(typeid(*mHolder) == typeid(impl<T>));
        static_cast<impl<T>*>(mHolder)->val = t;
        return *this;
    }

    Variant<Types...> &operator = (const Variant& v)
    {
        copy<Types...>(v);
        return *this;
    }

    template <typename T>
    T Get() const
    {
        _ASSERT(mHolder && typeid(*mHolder) == typeid(impl<T>));
        return static_cast<impl<T>*>(mHolder)->get();
    }

    template<typename T>
    bool Is() const
    {
        return (mHolder && typeid(*mHolder) == typeid(impl<T>));
    }
private:
    template <typename T>
    void copy(const Variant<Types...>& v)
    {
        if (mHolder) delete mHolder;
        impl<T>* ptr = static_cast<impl<T>*>(v.mHolder);
        mHolder = new impl<T>(*ptr);
    }

    template <typename T, typename...types>
    void copy(const Variant<Types...>& v)
    {
        if (!Is<T>())
            return copy<types...>(v);

        copy<T>(v);
    }

    holder* mHolder;
};

Visual C++ 2013 表示对这一行的调用不明确：

copy<T>(v);

我是可变参数模板的新手，但我认为它应该区分类型数量的两个复制函数，不是吗？那么为什么它们都可以是重载呢？当然，我该如何解决这个问题？

【问题讨论】：

std::unique_ptr<holder> mHolder;

标签： c++ templates c++11 variant variadic

【解决方案1】：

参数包可以为空。结果编译器无法区分

template <typename T> void copy(const Variant& v); // with T = T

和

template <typename T, typename...types> 
void copy(const Variant& v); // with T = T, types = empty pack

解决方法是让第二个版本只匹配两个或多个模板参数：

template <typename T, typename T2, typename...types> 
void copy(const Variant& v);

正文需要更新以使用copy<T2, types...>(v)。

请注意，在类Variant 的定义中，您可以只写Variant，它的意思是Variant<Types...>。

【讨论】：