2

我正在尝试编写非常简单的 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、为什么Anyblock1中的unnamed没有被销毁，所以它的指针没有被删除？\

编辑我试过

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

但它不会被触发。

4

2 回答 2

2

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

您可以做的是使用虚拟构造函数习语，让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 中未命名的 Any 没有被销毁，所以它的指针没有被删除？

复制省略。

于 2012-09-02T08:57:15.353 回答
1

  1. 进行深拷贝，即动态分配一个新storageImpl<T>对象，初始化为被复制对象的内容。

  2. 您可能会发生复制省略，这意味着没有要删除的临时对象。

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

于 2012-09-02T08:46:58.453 回答