c++ - 如何写union类型的推导指南

Question

假设我们有一个结构体和相同大小的字节数组的 union 模板

template<typename T>
union point {
    struct { T x, y; } coord;
    static constexpr size_t buffer_size = sizeof(coord);
    unsigned char buffer[buffer_size];
};

我们希望在遵循 C++17 的客户端代码中使用 CTAD 和聚合初始化

auto p1 = point { .coord = { 0.1, 0.2 } };
auto p2 = point { .coord = { 1, 2 } };

编译器期望我们有一个point类型的推导指南。如果是 union 类型，如何定义？

Answer 1

演绎指南基于构造函数，可以是由显式演绎指南创建的假设构造函数，也可以是实际存在的构造函数。指定初始值设定项是聚合初始化的一种形式，只有在没有构造函数的情况下，类型才能是聚合。

虽然这可能仍然允许显式推导指南，但只有当列表初始化语法可以选择构造函数时才有效。但是包含指定初始值设定项的花括号初始化列表无法选择构造函数。

简而言之，您不能将指定的初始值设定项和 CTAD 结合起来。完全没有。

请注意，您通常可以将 CTAD 与 union 一起使用，但这需要编写构造函数，并且可能需要使用标记分派(dispatch)来指定每个构造函数初始化哪个成员。问题来自于尝试将 union 初始化为聚合。