C++类数组声明、定义或后续阶段如何调用有参构造函数

问题解答 #

两种需求都可以实现，以下是具体实现方案：

方案1：数组定义阶段直接初始化（推荐） #

原生数组支持在定义时通过初始化列表为每个元素直接调用有参构造，完全不需要先调用无参构造：

int main()
{
    // 为每个元素分别指定构造参数，未显式指定的元素会调用无参构造
    Box b[5] = {
        Box(10.0, 3.0, 4.0), // 显式调用3参构造
        5.0, // 有参构造第2、3参数有默认值，可直接传1个参数隐式构造
        {6.0, 7.0}, // 列表初始化，等价于Box(6.0,7.0)
        Box(8.0) // 显式调用1参构造
        // 第5个元素未指定参数，自动调用无参构造
    };
}

如果初始化列表的元素个数和数组长度完全一致，全程不会触发无参构造。

方案2：数组创建完成后为已有元素调用有参构造 #

如果数组已经完成了默认初始化，要给已存在的元素重新调用有参构造，需要用定位new语法实现。注意：如果你的类持有动态内存、文件句柄等资源，需要先手动调用原对象的析构函数释放资源，避免泄漏：

int main()
{
    Box b[5]; // 先全部调用无参构造完成初始化
    // 给下标为2的元素重新调用有参构造
    b[2].~Box(); // 先析构原有对象，无资源的类可省略，建议保留
    new (&b[2]) Box(9.0, 10.0, 11.0); // 定位new：在已有内存地址上调用构造函数
}

方案3：使用C标准库容器（现代C项目更推荐） #

如果不是必须使用原生数组，推荐用std::array或者std::vector，灵活性更高：

• 初始化时指定参数的写法和原生数组完全一致
• 动态添加元素时可以直接调用有参构造，不需要先做默认构造

#include <vector>
int main()
{
    std::vector<Box> boxes;
    boxes.reserve(5); // 预先分配空间，避免多次扩容
    // 直接调用有参构造添加元素，不会触发无参构造
    boxes.emplace_back(1.0, 2.0, 3.0);
    boxes.emplace_back(4.0);
    boxes.resize(5); // 剩下3个元素调用无参构造
}

内容的提问来源于stack exchange，提问作者user786