0

我想围绕使用 malloc/free 的 C 库编写一个库包装类 (LibWrap)。为此，我想使用 C++ 的 RAII 来分配和释放内存。我使用 lib_address 作为我将从库中收到的随机示例地址。然而，当定义我的成员变量时，被调用的析构函数有这个 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
4

1 回答 1

4 
b = LibWrap(10);

这不会初始化 b。b已经作为构造的一部分被初始化A。您正在做的是创建一个临时文件LibWrap并将该临时文件复制到b. 然后，您正在销毁该临时LibWrap文件（这是带有 lib_address 的额外析构函数调用的来源）。

临时LibWrap是“0xbfef2df8”地址的来源。b变量是“0xbfef2e28”地址。这就是为什么您要按此顺序获取它们的原因。

于 2013-02-10T21:09:14.463 回答