C++中如何为私有成员类启用大括号初始化列表语法？

当你把struct换成class后，Foo的成员默认变为private，此时Foo不再是聚合类型（C++标准规定聚合类型的非静态数据成员必须是public，且无用户声明的构造函数、基类等），因此无法使用Foo{1, 2}这种聚合初始化语法，这就是编译失败的原因。

要在保持成员私有且尽量避免手动编写构造函数的前提下实现类似的初始化写法，以下是几种可行方案：

方案1：C++17及以后——嵌套聚合初始化结构体（极简构造函数） #

通过一个公开的嵌套聚合结构体传递初始化参数，仅需编写一行极简的构造函数，几乎不算额外负担：

#include <vector>

class Foo
{
private:
    int a;
    int b;
public:
    // 公开的聚合初始化结构体，用于传递参数
    struct Init { int a; int b; };
    
    // 仅需一行构造函数，将Init的成员赋值给Foo的私有成员
    Foo(Init init) : a(init.a), b(init.b) {}
};

int main()
{
    std::vector<Foo> foos;
    // 写法接近原生聚合初始化，仅多一层Init标识
    foos.emplace_back(Foo::Init{1, 2});
    // 或利用隐式转换，写法更简洁
    foos.emplace_back(Foo{{1, 2}});
}

方案2：C++20及以后——利用结构化绑定与工厂函数（无显式构造函数） #

如果完全不想写构造函数，可以用静态工厂函数配合结构化绑定实现类似的初始化体验：

#include <vector>

class Foo
{
private:
    int a;
    int b;
    // 私有构造函数，仅工厂函数可调用
    Foo(int a_, int b_) : a(a_), b(b_) {}
public:
    // 静态工厂函数，返回Foo对象
    static constexpr Foo make(int a_, int b_) {
        return Foo{a_, b_};
    }
    
    // 可选：支持结构化绑定，方便后续访问成员
    friend auto get(Foo const& f) { return std::tuple{f.a, f.b}; }
};

// 为Foo提供结构化绑定支持
template <>
struct std::tuple_size<Foo> : std::integral_constant<std::size_t, 2> {};
template <std::size_t I>
struct std::tuple_element<I, Foo> { using type = int; };

int main()
{
    std::vector<Foo> foos;
    // 用工厂函数创建对象，写法简洁
    foos.emplace_back(Foo::make(1, 2));
    
    // 结构化绑定示例（可选）
    auto [a, b] = foos[0];
}

方案3：妥协方案——保留struct但通过访问控制隐藏成员（C++11+） #

如果你只是想让成员对外不可访问，但愿意用struct，可以通过private:块将成员隐藏，此时Foo仍为聚合类型，可直接使用Foo{1,2}初始化，但对外无法访问成员：

#include <vector>

struct Foo
{
private:
    int a;
    int b;
public:
    // 仅提供必要的公开接口，比如getter
    int get_a() const { return a; }
    int get_b() const { return b; }
};

int main()
{
    std::vector<Foo> foos;
    // 仍可使用聚合初始化，因为Foo是struct且无用户声明的构造函数
    foos.emplace_back(Foo{1, 2});
    // foos[0].a; // 编译错误，成员私有
}

关键说明 #

• 若严格要求“成员私有+无手动构造函数+Foo{1,2}写法”，这在C++标准中是无法实现的——因为聚合初始化仅对成员公开的聚合类型有效，而私有成员必须通过构造函数或友元初始化，编译器不会自动生成带参数的构造函数。
• 上述方案均在满足“成员私有”的前提下，尽可能贴近你想要的初始化体验。

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