C++98中如何初始化无默认构造函数的数组类型成员？

在C98中，由于不支持C11的扩展初始化列表，直接初始化无默认构造函数的对象数组（作为类成员、存储实际对象、禁止动态内存分配）会触发语法错误，比如你提供的示例代码会被GCC提示需要启用C++11扩展。以下是几种可行的替代方案：

方案一：利用聚合初始化直接初始化全局/静态对象 #

如果目标数组所在的对象是全局变量，或者数组是类的静态成员，可以直接在定义时使用C++98原生支持的聚合初始化语法：

struct I {
    const bool b;
};

struct O {
    I a[2];
};

// 全局对象定义时直接初始化数组元素
O o = { {true}, {false} };

这种方式依赖C++98对聚合类型的初始化规则，外层大括号包裹整个O的成员，内层大括号分别初始化数组的每个元素。

方案二：使用placement new手动构造数组元素 #

通过placement new在数组的内存位置上直接构造对象，绕开默认构造函数的要求。由于数组是类成员，内存已经分配完成，无需额外动态内存：

struct I {
    const bool b;
    explicit I(bool val) : b(val) {}
};

struct O {
    // 用对齐的内存缓冲区存储数组元素（避免触发默认构造）
    unsigned char a_buf[sizeof(I) * 2];
    I* a;

    O() {
        // 在缓冲区首地址构造第一个I对象
        a = new(a_buf) I(true);
        // 偏移一个I的大小，构造第二个对象
        new(a_buf + sizeof(I)) I(false);
    }

    // 若I有自定义析构函数，必须手动调用
    ~O() {
        a[1].~I();
        a[0].~I();
    }
};

方案三：将数组包装为结构体，用聚合初始化间接实现 #

把数组元素封装成结构体的成员，利用结构体的聚合初始化完成元素构造，适合小尺寸的固定数组：

struct I {
    const bool b;
};

// 用结构体包装原数组的两个元素
struct IArray {
    I elem0;
    I elem1;
};

struct O {
    IArray a;

    // 在构造函数初始化列表中初始化包装结构体
    O() : a( IArray{ {true}, {false} } ) {}
};

这种方式的局限性是数组大小固定，无法灵活扩展，但实现简单，完全符合C++98语法规则。

方案四：模板元编程生成初始化代码（适合固定大小数组） #

通过模板递归在编译时生成每个数组元素的构造代码，避免手动重复编写初始化逻辑：

struct I {
    const bool b;
    explicit I(bool val) : b(val) {}
};

// 模板递归初始化数组
template <int N>
struct ArrayInitializer {
    template <typename... Args>
    static void init(I* arr, bool first, Args... rest) {
        new(arr) I(first);
        ArrayInitializer<N-1>::init(arr + 1, rest...);
    }
};

// 递归终止模板
template <>
struct ArrayInitializer<0> {
    template <typename... Args>
    static void init(I* arr, Args... rest) {}
};

struct O {
    unsigned char a_buf[sizeof(I) * 2];
    I* a;

    O() {
        a = reinterpret_cast<I*>(a_buf);
        // 初始化2个元素，传入对应参数
        ArrayInitializer<2>::init(a, true, false);
    }

    ~O() {
        a[1].~I();
        a[0].~I();
    }
};

这种方式适合固定大小的数组，编译时就能完成初始化逻辑的展开，运行时无额外开销。

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