C++对象数组在连续内存中存储多个同类型对象，需关注构造/析构时机、内存管理与异常安全。静态数组在栈上分配，作用域结束时自动调用析构函数；动态数组用new[]分配，必须用delete[]释放以正确调用每个对象的析构函数，否则会导致内存泄漏或未定义行为。推荐使用std::vector，它自动管理内存，支持列表初始化和emplace_back高效构造，且异常安全：构造过程中若抛异常，已创建对象会自动销毁。对于无默认构造函数的类，可使用std::array配合列表初始化，或std::vector逐个构造，避免默认初始化开销。若需动态分配并自动管理，可用std::unique_ptr<T[]>结合make_unique或自定义函数实现参数化初始化。性能方面，对象数组具有良好的缓存局部性，但频繁的构造/析构及vector扩容可能带来开销，可通过reserve预分配容量优化。总之，优先选用std::vector保证安全性与便利性，在性能敏感且大小固定时考虑std::array，慎用手动动态数组。
C++对象数组本质上是在连续内存空间中存储多个相同类型的对象。管理的关键在于理解对象的构造和析构，以及如何有效地访问和操作数组中的每个对象。
解决方案
C++中，对象数组的创建和销毁需要特别注意构造函数和析构函数的调用时机。当创建一个对象数组时，会为数组中的每个元素调用默认构造函数（如果没有提供显式初始化）。当数组超出作用域或被删除时，会逆序调用每个元素的析构函数。
-
静态对象数组：
立即学习“C++免费学习笔记（深入）”；
class MyClass { public: MyClass() { std::cout << "Constructor called\n"; } ~MyClass() { std::cout << "Destructor called\n"; } void print() { std::cout << "Hello from MyClass\n"; } }; int main() { MyClass myArray[3]; // 调用三次默认构造函数 myArray[0].print(); // 访问第一个对象 return 0; // 退出作用域时，调用三次析构函数 }这里，
myArray
是在栈上分配的，当main
函数结束时，会自动调用每个对象的析构函数。 -
动态对象数组：
MyClass* myArray = new MyClass[3]; // 调用三次默认构造函数 myArray[0].print(); delete[] myArray; // 必须使用 delete[] 释放内存，调用三次析构函数 myArray = nullptr; // 避免悬挂指针
使用
new
动态分配的对象数组需要在不再使用时使用delete[]
释放内存。忘记[]
会导致只调用第一个对象的析构函数，造成内存泄漏。 -
使用
std::vector
：#include <vector> std::vector<MyClass> myVector(3); // 调用三次默认构造函数 myVector[0].print(); // vector 会自动管理内存，无需手动 delete
std::vector
是更安全、更方便的选择。它自动管理内存，避免了手动new
和delete
可能造成的错误。vector
会在超出作用域时自动调用每个元素的析构函数。 -
构造函数参数：
如果
MyClass
没有默认构造函数，或者需要使用带参数的构造函数初始化数组，可以使用列表初始化（C++11及以上）：class MyClass { public: MyClass(int value) : data(value) { std::cout << "Constructor with value: " << value << "\n"; } ~MyClass() { std::cout << "Destructor called\n"; } void print() { std::cout << "Data: " << data << "\n"; } private: int data; }; int main() { std::vector<MyClass> myVector = {MyClass(1), MyClass(2), MyClass(3)}; // 使用列表初始化 myVector[0].print(); return 0; } // 或者使用动态分配，但需要 placement new MyClass* myArray = new MyClass[3]; new (myArray) MyClass(1); new (myArray + 1) MyClass(2); new (myArray + 2) MyClass(3); myArray[0].print(); // 手动调用析构函数，逆序 myArray[2].~MyClass(); myArray[1].~MyClass(); myArray[0].~MyClass(); delete[] myArray;Placement new 允许你在已分配的内存上构造对象。但需要手动调用析构函数，并且必须逆序调用，然后再释放内存。这通常很复杂，推荐使用
std::vector
。
对象数组初始化时如何避免默认构造函数？
如果类没有默认构造函数，或者你想在创建数组时使用不同的构造函数初始化每个对象，可以使用以下方法：
-
std::array
和列表初始化 (C++11及以上): 如果数组大小在编译时已知，std::array
是一个不错的选择。#include <array> class MyClass { public: MyClass(int value) : data(value) {} int data; }; std::array<MyClass, 3> myArray = {MyClass(1), MyClass(2), MyClass(3)}; -
std::vector
和emplace_back
(C++11及以上):emplace_back
允许你在vector
的末尾直接构造对象，避免了拷贝或移动操作。#include <vector> class MyClass { public: MyClass(int value) : data(value) {} int data; }; std::vector<MyClass> myVector; myVector.emplace_back(1); myVector.emplace_back(2); myVector.emplace_back(3); -
std::unique_ptr
和std::make_unique
(C++14及以上): 如果需要动态分配数组，并且希望自动管理内存，可以使用std::unique_ptr
。#include <memory> class MyClass { public: MyClass(int value) : data(value) {} int data; }; std::unique_ptr<MyClass[]> myArray(new MyClass[3]{MyClass(1), MyClass(2), MyClass(3)}); // C++20 可以省略MyClass或者，在 C++14 及以上版本，可以结合
std::make_unique
和std::initializer_list
：#include <memory> #include <initializer_list> template <typename T, typename... Args> std::unique_ptr<T[]> make_unique_array(size_t size, Args&&... args) { std::unique_ptr<T[]> ptr(new T[size]); for (size_t i = 0; i < size; ++i) { new (&ptr[i]) T(std::forward<Args>(args)...); } return ptr; } std::unique_ptr<MyClass[]> myArray = make_unique_array<MyClass>(3, 1); // 所有元素都初始化为 1需要注意的是，上面的
make_unique_array
示例只适用于所有元素都使用相同参数初始化的情况。如果需要不同的参数，则需要更复杂的实现。
如何处理对象数组中的异常？
如果在构造对象数组的过程中抛出异常，可能会导致部分对象被成功构造，而部分对象没有。这会使得资源管理变得复杂。
避免在构造函数中抛出异常： 这是最简单也是最有效的方法。尽量在构造函数之外处理可能出错的操作。
使用
std::vector
：vector
在构造过程中如果抛出异常，会自动销毁已经构造的对象，保证资源安全。-
手动管理异常： 如果必须使用动态数组，并且构造函数可能抛出异常，需要使用
try-catch
块来捕获异常，并手动销毁已经构造的对象。MyClass* myArray = nullptr; try { myArray = new MyClass[3]; // 假设 MyClass 的构造函数可能抛出异常 for (int i = 0; i < 3; ++i) { // myArray[i] = MyClass(i); // 如果构造函数抛出异常，后面的对象不会被构造 new (myArray + i) MyClass(i); // 使用 placement new } } catch (...) { // 捕获异常，并销毁已经构造的对象 if (myArray != nullptr) { for (int i = 0; i < 3; ++i) { myArray[i].~MyClass(); // 手动调用析构函数 } delete[] myArray; myArray = nullptr; } throw; // 重新抛出异常 } // 正常使用 myArray if (myArray != nullptr) { delete[] myArray; myArray = nullptr; }这个例子展示了如何在构造过程中捕获异常，并手动销毁已经构造的对象，以避免资源泄漏。
对象数组的性能考虑
内存连续性： 对象数组在内存中是连续存储的，这有利于缓存命中和提高访问速度。
构造和析构开销： 创建和销毁对象数组会调用构造函数和析构函数，这会带来一定的开销。对于简单的类，这个开销可能很小，但对于复杂的类，这个开销可能会很大。
std::vector
的动态增长：vector
在容量不足时会重新分配内存，并将现有元素复制或移动到新的内存区域。这会导致一定的性能开销。可以通过reserve
方法预先分配足够的容量来避免频繁的重新分配。
总而言之，选择对象数组的管理方式取决于具体的需求。
std::vector通常是最好的选择，因为它安全、方便、灵活。但是，如果性能至关重要，并且数组大小在编译时已知，那么
std::array可能更合适。如果必须使用动态数组，需要小心管理内存和异常，以避免资源泄漏和程序崩溃。
