关于ada中的Unchecked_Conversion

Question

谁能解释一下 ada.unchecked_coversion(float, UnsignedInteger) 的操作。这个操作会执行什么？谁能用例子来澄清这一点。预先非常感谢。

Answer 1

从这里

未经检查的转换是逐位复制，不考虑源类型或目标类型附加到这些位和位位置的含义。源位模式在目标类型的上下文中很容易变得毫无意义。未经检查的转换可能会创建违反后续操作类型约束的值。大小不匹配的对象的未经检查的转换会产生依赖于实现的结果。

因此应谨慎使用它，并且仅适用于具有“相同”位表示形式的类型。例如，将 float 转换为 int 可能不起作用，因为这些类型在内存中可能以不同的方式表示。

这里有两个变量

• A：由地址 0x249fd8c 指定的源浮点数，值为 1.0
• B：地址 0x249fd88 指定的目标整数（未初始化）

转换前

并在调用未经检查的转换后

正如您所看到的，整个操作只是将源变量一点一点复制到目标变量

希望这能回答您的问题