Question

我正在尝试编写非常简单的Any对象，它可以保存任何类型的对象。我希望它在容器内使用，以实现异构容器。

#include <iostream>
#include <vector>
#include <string>

struct Any
{
    template < typename T >
    Any(const T & t) 
        :p(new storageImpl<T>(t)) { }

    ~Any() 
    {
        delete p;
    }

    struct storage
    {
        virtual ~storage() {}
    };

    template <typename T>
    struct storageImpl : storage
    {
        storageImpl(const T & t) : data(t) {}
        T data;
    };

    template <typename T>
    T & get()
    {
        storageImpl<T> * i = static_cast<storageImpl<T>*>(p);
        return i->data;
    }

    storage * p;
};

使用

int main ()
{
    //block1
    Any copy(Any(std::string("foo")));      
    std::cout << copy.get<std::string>();   

    //block2
    std::vector<Any> cont;
    cont.push_back(Any(5));
    cont.push_back(Any(37.9f));
    std::cout << cont[0].get<int>();    
    std::cout << cont[1].get<float>();  
}

我有复制构造的问题。

当我将Any推入向量（// block2）时，未命名的Any被破坏，因此指针被删除，被推送的对象不再有效。

所以我有两个问题：

1，如何为类Any编写复制构造函数？

2，为什么block1中未命名的Any被破坏，所以它的指针不会被删除？\

EDIT 我试过了

template <typename T>
Any(const Any & rhs)
    :p(new storageImpl<T>(rhs.get()))
{
}

但它没有被触发。

Answer 1

Any不是模板类。尝试将复制构造函数模板化为template <typename T> Any(const Any & rhs)是没有意义的。

你可以做的是使用virtual constructor成语，让storageImpl复制本身。这也是Boost.Any中使用的方法。

struct Any {
    template < typename T >
    Any(const T& t) : p(new storageImpl<T>(t)) {}

    Any(const Any& other) : p(other.p->clone()) {}
 // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    ~Any() { delete p; }

    struct storage {
        virtual ~storage() {}
        virtual storage* clone() = 0;
     // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    };

    template <typename T>
    struct storageImpl : storage {
        storageImpl(const T & t) : data(t) {}

        virtual storage* clone() { return new storageImpl(data); }
     // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

        T data;
    };

    template <typename T>
    T& get() {
        storageImpl<T>* i = static_cast<storageImpl<T>*>(p);
        return i->data;
    }

    storage * p;
};

请注意，此实现存在许多问题，例如： get()方法不会检查Any是否真的持有T.最好使用经过良好测试的库，例如Boost.Any

为什么没有未命名在block1中的任何一个被破坏，所以它的指针没有被删除？

Copy elision

Answer 2

进行深层复制，即动态分配一个新的storageImpl<T>对象，初始化为复制对象的内容。
您可能会发生copy elision，这意味着没有要删除的临时对象。

或者，使用boost::any来避免所有问题。

复制“异构对象”类中的构造函数

2 个答案: