Question

我想在使用malloc / free的C库周围编写一个库包装类（LibWrap）。为此，我想使用C ++的RAII来分配和释放内存。我使用lib_address作为我从库中收到的随机示例地址。但是，在定义mymeber变量时，以某种方式调用的析构函数具有此lib_address。

我希望默认构造函数创建的成员变量的析构函数不要知道我放入替换成员变量的构造函数中的新地址。

#include <stdlib.h>
#include <iostream>
using namespace std;

class LibWrap
{
    int j;
    int lib_address;
public:
    LibWrap(): //default LibWrap
    j(0),
    lib_address(0)
    {
        cout << "default LibWrap "<<j <<"\t\t"<<lib_address << "\t" << this<<endl;
    }

    LibWrap(int f_j): //special LibWrap
    j(0),
    lib_address(0)
    {
        j = f_j;
        lib_address = rand();
        cout << "special LibWrap " << j<<"\t"<< lib_address<< "\t" << this <<endl;
    }

    ~LibWrap()
    {
        cout << "killing LibWrap " << j<<"\t" <<lib_address <<"\t" << this<< endl;
    }

    int g()
    {
        return j;
    }
};

class A
{
    int i;
    LibWrap b;

public:
    A(): //default A
    i(0)
    {
        cout << "default A\t"<<i << endl;
    }

    A(int f_i)://special A
    i(0)
    {
        i = f_i;
        cout << "special A\t"<<i << endl;
        b = LibWrap(10);
    }
    ~A()
    {
        cout << "killing A\t"<<i << endl;
    }


    void p()
    {
        cout <<"Test values: "<< i<< "," << b.g() << endl;
    }
};

int f()
{
    //A a; a.p();
    cout << "variable\t\tlib_address\treal_address" << endl; 
    A a = A(1);
    cout << "End" << endl;
    //a.p();
}

int main()
{
    f();
}

运行此代码我希望得到以下结果：

variable        lib_address real_address
default LibWrap 0       0   0xbfef2e28
special A   1
special LibWrap 10  1804289383  0xbfef2df8 
killing LibWrap 10  1804289383  0xbfef2df8 --would expect kiling LibWrap 0  0 0xbfef2e28
End
killing A   1
killing LibWrap 10  1804289383  0xbfef2e28 --would expect killing LibWrap 10 1804289383 0xbfef2df8

Answer 1

b = LibWrap(10);

这不是初始化 b。 b已经初始化为构建A的一部分。您正在做的是创建一个临时的LibWrap和复制，暂时导入b。然后，你正在销毁那个临时的LibWrap（这是使用lib_address调用额外的析构函数的地方）。

临时LibWrap是“0xbfef2df8”地址的来源。 b变量是“0xbfef2e28”地址。这就是你按顺序获得它们的原因。

混合默认和非默认构造函数时，RAII如何工作

1 个答案: