如何在C++结构体中同时保留聚合初始化与自定义构造函数？

在C++17及更早版本中，无法同时实现这两种初始化方式——一旦添加自定义构造函数，结构体就不再是聚合体，而带成员指定符的初始化（{.y = 2}）仅支持聚合体类型。

在C++20中，聚合体定义有所放宽（允许显式默认/删除的构造函数），但只要存在用户自定义的非默认构造函数（比如Bar(int value)），结构体依然会失去聚合体特性，无法使用指定符初始化。不过可以通过以下几种方式近似实现需求：

方法1：保持聚合体特性，用辅助函数模拟单参数初始化 #

让结构体保持聚合体属性，通过辅助函数实现单参数初始化的效果：

struct Bar {
    int x = 0;
    int y = 0;
};

// 辅助函数：生成x和y值相等的Bar对象
constexpr Bar make_bar(int value) {
    return {value, value};
}

int main() {
    Bar bar2 = {.y = 2}; // 正常使用聚合指定符初始化
    Bar bar1 = make_bar(1); // 通过辅助函数实现单参数初始化
}

方法2：放弃指定符语法，用构造函数重载+默认参数替代 #

如果可以接受类似Bar bar2(0, 2)的语法替代{.y=2}，可以用构造函数重载实现：

struct Bar {
    int x;
    int y;

    // 单参数初始化：x和y均为传入值
    Bar(int value) : x(value), y(value) {}

    // 双参数初始化：支持默认值，模拟指定成员的效果
    Bar(int x_ = 0, int y_ = 0) : x(x_), y(y_) {}
};

int main() {
    Bar bar1 = 1; // 调用Bar(int)构造函数
    Bar bar2(0, 2); // 等价于{.y=2}的效果
}

方法3：C++20中利用继承+隐式转换曲线实现 #

通过继承聚合体基类，同时在派生类中添加构造函数，借助基类的聚合初始化能力：

struct BaseBar {
    int x = 0;
    int y = 0;
};

struct Bar : BaseBar {
    // 单参数构造函数：初始化基类的x和y
    Bar(int value) : BaseBar{value, value} {}

    // 允许从BaseBar隐式转换，支持聚合初始化语法
    constexpr explicit(false) Bar(BaseBar b) noexcept : BaseBar(b) {}
};

int main() {
    Bar bar1 = 1; // 调用Bar(int)构造函数
    Bar bar2 = {.y = 2}; // 先初始化BaseBar聚合体，再转换为Bar
}

这种方式可以同时满足两种初始化语法，缺点是需要额外的基类依赖。

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