在结构类型系统中，关于对象联合 A | B 的哪项说法正确？

在结构类型系统中，关于对象联合 A | B 的哪项说法正确？

1. 一个值可以满足 A、B，或同时满足两者。
2. 每个值都必须拥有 A 和 B 的全部属性。
3. 运行时会自动添加标签。
4. A 或 B 独有的所有属性都会自动变成可选。