百科问答小站 logo
百科问答小站 font logo



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

  

user avatar   Kurenai_Misuzu 网友的相关建议: 
      

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.comstd::num_put::put, std::num_put::do_putstd::basic_ios::init - cppreference.comstd::printf, std::fprintf, std::sprintf, std::snprintf


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




  

相关话题

  win32程序如何获取设备上下文绘制的内容? 
  同样用pow()表示10^2,为什么分别用字面量和变量作参数会返回不同的值? 
  为什么我的代码运行后总是会变位? 
  如果C语言程序在一台电脑上可以运行,到另外一台就运行出问题是什么原因? 
  你见过哪些神一样的优化操作? 
  为什么程序代码被编译成机器码就不能跨平台运行? 
  Android 会像 Windows 一样,打败 iOS 吗? 
  如果你们想要自创一个编程语言,你们希望它有什么特色? 
  C/C++编译器在什么情况下不会重排语句? 
  为什么很多程序无法计算负数的立方根? 

前一个讨论
为什么不能取消学区房制度?
下一个讨论
为什么C++中virtual要翻译为虚函数?





© 2025-06-26 - tinynew.org. All Rights Reserved.
© 2025-06-26 - tinynew.org. 保留所有权利