c++ Boost任何尝试

C++ Boost any attempt

本文关键字：任何尝 Boost c++      更新时间：2023-10-16

我没有访问Boost库，并试图实现类似于Boost any(可以存储多种类型的容器)的东西。我在http://learningcppisfun.blogspot.co.uk/2007/09/boostany.html找到了一个例子，但是当我编译它时，我得到了一个分段错误。调试它似乎表明是Variant的析构函数导致了问题。当我注释析构函数时，它工作得很好——尽管它会泄漏内存。有人能解释一下发生了什么吗?谢谢!

#include <iostream>
#include <vector>
using namespace std;
class BaseHolder
{
    public:
        virtual ~BaseHolder(){}
};
template<typename T>
class HoldData : public BaseHolder
{
    public:
        HoldData(const T& t_) : t(t_){}
        T t;
};
class Variant
{
public:
    template<typename T>
    Variant(const T& t) : data(new HoldData<T>(t)){}
    ~Variant(){delete data;}
    BaseHolder* data;
};
int main(){
    vector<Variant> a;
    int x = 10;
    double y = 3.15;
    a.push_back(x);
    a.push_back(y);
    cout << dynamic_cast<HoldData<int> *>(a[0].data)->t << endl;
    cout << dynamic_cast<HoldData<double> *>(a[1].data)->t << endl;
    return 0;
}
输出:

10
3.5

你根本违反了三个原则。

在默认构造函数中分配，在析构函数中取消分配。那么，复制构造函数和赋值操作符呢?如果两个Variant对象指向相同的数据，然后它们都超出了作用域，那该怎么办?

由于vector通过复制周围的元素来保持内部完整性，并且实际上首先保存了副本，因此应该清楚这是一个严重的因素。

我认为是这样的

  1. 将int 10压入向量a

  2. 触发临时变量的构造函数调用

  3. 构造函数调用new HoldData (10)

  4. 现在vector a调用Variant的复制构造函数(由编译器自动提供)在vector中创建一个Variant var2。默认的复制构造函数只是位复制，所以var1和var2都有一个指向相同位置的数据指针。

  5. var1现在超出了作用域，它的析构函数被称为删除它的数据指针。

  6. vector中的var2现在有一个指向无效内存的指针。当vector a超出作用域时，var2将调用其析构函数并尝试第二次删除内存，从而导致崩溃。

你需要在Variant中提供你自己的复制构造函数来安全地复制HoldData指针。

相关文章：