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

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

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