为什么数组中对象的析构函数在被另一个对象替换时不被调用？

Why the destructor of an object in an array isn't called when being replaced by another?

本文关键字：替换 一个对象 调用 为什么 对象 析构函数 数组      更新时间：2023-10-16

只需查看代码

class SomeClass {
private:
int i;
public:
int getI() {
return i;
}
SomeClass() {
i = 0;
}
explicit SomeClass(int i) {
this->i = i;
}
~SomeClass(){
cout << "SomeClass destructed with i=" << i << "." << endl;
}
};

和主要功能

int main() {
auto* someClasses = new SomeClass[5];
someClasses[2] = SomeClass(20);
cout << "A new SomeClass Assigned." << endl;
someClasses[2] = SomeClass(40);
cout << "A new SomeClass Assigned." << endl;
delete[] someClasses;
}

数组使用 i=0 构造的所有对象进行初始化，我们对 someClasses[2] 进行一些修改。

当结束一个对象时，应该调用该对象的析构函数。但是，结果显示未调用析构函数。

SomeClass destructed with i=20. // destructed after copy constructor is done.
A new SomeClass Assigned.
SomeClass destructed with i=40. // destructed after copy constructor is done.
A new SomeClass Assigned.
SomeClass destructed with i=0. // okay.
SomeClass destructed with i=0. // okay.
SomeClass destructed with i=40. // okay.
SomeClass destructed with i=0. // okay.
SomeClass destructed with i=0. // okay.
Process finished with exit code 0

如果在这种情况下设计了不调用析构函数，如何将新对象正确分配给现有数组？

使用对象指针数组是一种选择，但我只是好奇。

当对象的生存期结束时调用析构函数(超出范围，在 new 返回的指针上调用 delete(。 当你这样做时

someClasses[2] = SomeClass(40);

someClasses[2]的生命周期不会结束，你只是给它一个新的价值。 直到

delete[] someClasses;

删除数组时，将结束数组中所有对象的生存期，将调用析构函数。

它不是被替换的，而是被分配给的。数组中的对象继续愉快地运行其生命周期，直到整个数组被销毁。

赋值不是调用构造函数或析构函数，而是调用赋值运算符operator=。由于您没有为SomeClass提供一个，编译器为您生成了一个。此默认operator=复制成员变量。对于像您这样的简单类，此默认值正是您所需要的，这就是为什么您在数组中看到预期结果的原因。

相关文章：