class Person
{
public :
Person()
{
cout << "构造函数调用" << endl;
}
~Person()
{
cout << "析构函数调用" << endl;
}
};
int main()
{
Person p1; // 栈区开辟
// 输出:
// 构造函数调用
// 析构函数调用
// 堆区开辟
Person *p2 = new Person; // 构造函数调用。
//输出:
// 构造函数调用
// 构造函数调用
// 析构函数调用
delete p2; // 析构函数调用。
//输出:
// 构造函数调用
// 构造函数调用
// 析构函数调用
// 析构函数调用
}
所有new出来的对象,都返回该类型的指针。
而malloc则返回void* 类型;还要强制类型转换。
而且malloc不会去调用构造函数。
但是new会调用构造函数。
new是一个运算符,malloc是一个函数。
释放堆区空间要用delete。delete也是运算符。
如果直接用free释放new对象,那么会导致析构函数不被调用。
新问题:
class Person
{
public :
Person()
{
cout << "构造函数调用" << endl;
}
~Person()
{
cout << "析构函数调用" << endl;
}
};
void test02()
{
void *p3 = new Person;
delete p3;
// 只输出:
// 构造函数调用
}
int main()
{
test02();
return EXIT_SUCCESS;
}
当用void* 接收new出来的指针时,会出现释放的问题。所以一定要避免这种写法,不要再像C中那样用这种万能指针。
数组的构造和释放
class Person
{
public :
Person()
{
cout << "构造函数调用" << endl;
}
Person(int a)
{
cout << "有参构造调用" << endl;
}
~Person()
{
cout << "析构函数调用" << endl;
}
};
void test03()
{
// 栈上开辟
Person pArray[2] = { Person(1) , Person(2) }; // 为了写数组,可以提供有参构造。
// 栈上开辟
Person* ArrayP = new Person[10]; // 调用默认构造。
delete[] ArrayP;
}
当创建一个对象数组的时候,必须对数组中的每一个对象调用构造函数,除了在栈上可以聚合初始化,必须提供一个默认的构造函数。
使用new和delete必须采用相同形式。如果new是数组,那么delete也必须是相同的数组形式。
问题代码分析:
Person * p = new Person[10];
delete p;
使用了new也搭配使用了delete,问题在于Person有10个对象,那么其他9个对象可能没有调用析构函数,也就是说其他9个对象可能删除不完全,因为它们的析构函数没有被调用。
我们现在清楚使用new的时候发生了两件事: 一、分配内存;二、调用构造函数,
那么调用delete的时候也有两件事:一、析构函数;二、释放内存。
那么刚才我们那段代码最大的问题在于:person指针指向的内存中到底有多少个对象,因为这个决定应该有多少个析构函数应该被调用。换句话说,person指针指向的是一个单一的对象还是一个数组对象,由于单一对象和数组对象的内存布局是不同的。
更明确的说,数组所用的内存通常还包括“数组大小记录”,使用delete的时候知道应该调用几次析构函数。单一对象的话就没有这个记录。
当我们使用一个delete的时候,我们必须让delete知道指针指向的内存空间中是否存在一个“数组大小记录”的办法就是我们告诉它。当我们使用delete[],那么delete就知道是一个对象数组,从而清楚应该调用几次析构函数。