union（和类型）对struct（积类型）有何影响？含union的struct仍是积类型吗

该表述完全错误，和代数数据类型的标准定义相悖。
二者的核心区别可以通过取值计数规则区分：

• 积类型的总合法取值数 = 各成员类型取值数的乘积，同一时间需要承载所有成员的值，C++中的典型实现是struct、std::tuple等，不需要union参与即可实现。
• 和类型的总合法取值数 = 各分支类型取值数的和，同一时间仅承载其中一个分支的值，C++原生union的语义就是典型的和类型语法实现。

代数数据类型的两大常见类别是积类型（即元组、记录）和和类型（即标签/不相交union、余积类型、variant类型），二者是完全不同的类型分类。

你给出的实现代码如下：

struct Setting {
    union {
       string str;
       int num;
       bool b;
    };
    enum Type { Str , Int , Bool };
    Type tag;
};

需要从两个层面判断类型属性：

1. 无额外语义约束的语法层面：Setting 本身是struct结构，属于积类型，总取值数为「匿名union的所有可能取值数」乘以「Type枚举的3种取值数」，允许出现tag与union存储类型不匹配的非法状态，这也是原生union类型不安全的根本原因。
2. 带合法性校验的语义层面：如果代码中强制约束tag取值与union当前存储的成员类型严格对应，那么Setting的合法取值数就等于「string的取值数 + int的取值数 + bool的取值数」，此时它就是手动实现的和类型，和std::variant<std::string, int, bool>的功能完全等价。

代数数据类型的分类核心取决于合法取值的计数规则，和是否嵌套了union这类语法元素没有直接关联。std::variant的设计价值就是让编译器自动维护标签与存储类型的对应关系，避免手动实现带标签union时的类型安全问题。

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