C++中如何用带参构造函数初始化类的成员对象数组？

错误原因分析 #

你写的B():a{(1,2,3)}{}里，(1,2,3)是逗号表达式，它的求值结果是最后一个元素3，相当于你只提供了一个int值，却要初始化包含3个A对象的数组。编译器无法将单个int转换为多个A实例，因此抛出编译错误：

无法将“用大括号括起的初始化列表”从“用大括号括起的初始化列表”转换为A

正确实现方案 #

方案1：C++11及以上（推荐） #

利用列表初始化特性，直接为数组中的每个A对象传递构造参数：

class A {
private:
    int val;
public:
    A(int v) : val(v) {}
};

class B {
private:
    A a[3];
public:
    // 简洁写法：每个int对应一个A的构造参数
    B() : a{1, 2, 3} {} 

    // 更明确的嵌套写法（效果完全一致）
    // B() : a{{1}, {2}, {3}} {}
};

如果A的构造函数需要多个参数，只需用嵌套大括号包裹每组参数，比如A的构造是A(int v, int w)，则初始化写法为a{{1,2}, {3,4}, {5,6}}。

方案2：C++11之前的旧标准 #

若编译器不支持C++11特性，需借助placement new手动构造数组元素（因为带参构造的类无法默认初始化数组）：

#include <new> // 必须包含placement new的头文件

class A {
private:
    int val;
public:
    A(int v) : val(v) {}
};

class B {
private:
    // 用原始内存存储数组，避免触发默认构造
    unsigned char a_storage[sizeof(A) * 3];
    A* a;
public:
    B() {
        a = reinterpret_cast<A*>(a_storage);
        // 逐个调用A的带参构造函数初始化
        new (a) A(1);
        new (a + 1) A(2);
        new (a + 2) A(3);
    }

    // 必须手动调用析构函数
    ~B() {
        a[2].~A();
        a[1].~A();
        a[0].~A();
    }
};

这种写法较为繁琐，仅在必须兼容旧标准时使用。

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