C++20聚合类定义修改后，如何用常量字节数组初始化实例？

最优方案：移除显式构造函数声明 #

直接删除类中显式声明的Packet() = default;和Packet(const Packet& p) = default;，让编译器自动生成默认构造函数和拷贝构造函数：

#include <cstdint>

class Packet
{
public:
    uint8_t b[4];
    // 移除所有显式构造函数声明
};

// 兼容C++11到C++20的初始化语法
Packet p {{1, 2, 3, 4}};

原因说明 #

• C++20修改了聚合类的判定规则：只要存在用户声明的构造函数（包括用=default/=delete声明的），类就不再属于聚合类，因此无法使用聚合初始化语法。
• 移除显式构造函数后，编译器会自动生成与=default行为完全一致的默认构造函数和拷贝构造函数，同时类在所有C标准（C11至C++20）中都满足聚合类的判定条件，完全兼容原有的初始化方式，且二进制内存布局严格保持不变。

备选方案：保留显式构造函数时的C++20兼容处理 #

如果因项目规范或其他原因必须保留显式构造函数声明，可针对C++20添加初始化列表构造函数，模拟聚合初始化的行为：

#include <cstdint>
#include <algorithm>
#include <initializer_list>

class Packet
{
public:
    uint8_t b[4];

    Packet() = default;
    Packet(const Packet& p) = default;

#if __cplusplus >= 202002L
    // C++20专属构造函数，匹配聚合初始化逻辑
    constexpr Packet(std::initializer_list<uint8_t> init) noexcept
    {
        const auto copy_count = std::min(init.size(), sizeof(b) / sizeof(b[0]));
        // 复制初始化列表中的元素
        std::copy_n(init.begin(), copy_count, b);
        // 剩余元素零初始化（与聚合初始化行为一致）
        std::fill(b + copy_count, b + sizeof(b) / sizeof(b[0]), 0);
    }
#endif
};

// 统一初始化语法兼容所有标准
Packet p {{1, 2, 3, 4}};

注意事项 #

• 此方案中，C17及之前版本的代码仍依赖类的聚合属性，但由于显式声明了构造函数，**C17及之前版本中类不再是聚合类**，原始的聚合初始化语法会失效。因此仅适合必须保留显式构造函数的场景，此时需确保旧版本代码已切换为使用构造函数初始化（或回退到无显式构造函数的方案）。

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