共用体只能同时储存一个值吗？ 第1页

union 在标准 C 和标准 C++ 中行为不同。

C 的 union 中，若 union 在生存期内，则所有成员都同时处于生存期内，但可能有非法对象表示。这允许类型双关，即将一个位模式以多个类型解释。

C++ 的 union 中，同一时刻只有一个成员在生存期内，使用不同的成员读写一般是未定义行为。例外是若公共起始序列存在，且在生存期中的成员拥有公共起始序列，则可通过其他成员的公共起始序列读取。这实际上不允许类型双关。

严格来说题主的代码存在 UB ，不过考虑到不少编译器默认有允许类型双关的扩展，有时也可认为有确定结果并作出解释。

一般实现是 union 的每个成员对象存储都始于 union 存储的首字节。现在常见的 int 占 4 字节， double 占 8 字节。先写入 double 成员再写入 int 成员时，原先的 double 成员对象表示的高 4 字节未被覆盖（ C 标准中是未指定的，实际上覆盖也得到允许）。而被覆盖的低位字节，在实现中正好对应 double 的低位尾数。

由于输出方式的设置，某些时候低位字节的改变恰好会被掩盖。这造成了你的 one4all 能同时存储 double 和 int 的错觉。

（参见 std::basic_ostream::operator<< - cppreference.com 、 std::num_put::put, std::num_put::do_put 、 std::basic_ios::init - cppreference.com 、std::printf, std::fprintf, std::sprintf, std::snprintf ）

另外也有 NaN-boxing 这种技术能在浮点 NaN 值里放别的东西，不过这就和 union 没什么关系了。