gpt4 book ai didi

c++ - 为什么 “cast from ‘X*’ 到 ‘Y’ 失去精度”是一个硬错误,什么是遗留代码的合适修复

转载 作者:塔克拉玛干 更新时间:2023-11-02 23:08:19 25 4
gpt4 key购买 nike

1。为什么?

像这样的代码曾经有效,它的含义很明显。编译器是否甚至允许(根据规范)让它成为一个错误?

我知道它正在失去精度,我很乐意收到警告。但它仍然具有定义明确的语义(至少对于未签名的缩小规模转换已定义)并且用户可能只是想这样做。

2。解决方法

我有遗留代码,我不想重构太多,因为它相当棘手并且已经调试过了。它正在做两件事:

  1. 有时将整数存储在指针变量中。如果代码之前在其中存储了一个整数,则该代码只会将指针转换为整数。因此,虽然 Actor 阵容正在缩小,但现实中永远不会发生溢出。代码已经过测试并且可以工作。

    当存储整数时,它总是适合普通的旧无符号类型,因此更改类型不是一个好主意并且指针被传递了很多次,因此更改它的类型会有些侵入性。

  2. 使用地址作为散列值。一件很常见的事情。哈希表没有那么大,对扩展类型没有任何意义。

    代码使用纯 unsigned 作为散列值,但请注意,更常见的 size_t 类型 可能仍会产生错误,因为有不能保证 sizeof(size_t) >= sizeof(void *)。在具有分段内存和远指针的平台上,size_t 只需覆盖偏移部分。

那么侵入性最小的合适解决方法是什么?已知代码在使用不会产生此错误的编译器编译时可以工作,所以我真的想执行操作,而不是更改它。


注意事项:

void *x;
int y;
union U { void *p; int i; } u;
  1. *(int*)&xu.p = x, u.i 等同于 (int)x 并且不是 (void *)y 的对立面。在大端架构上,前两个将返回较低地址的字节,而后者将处理可能位于较高地址的低位字节。
  2. *(int*)&xu.p = x, u.i 都是严格的别名违规,(int)x不是

最佳答案

C++,5.2.10:

4 - A pointer can be explicitly converted to any integral type large enough to hold it. [...]

C,6.3.2.3:

6 - Any pointer type may be converted to an integer type. [...] If the result cannot be represented in the integer type, the behavior is undefined. [...]

所以如果int是32位,void *是64位,(int)p是非法的; C++ 编译器给你一个错误是正确的,而 C 编译器可能会在翻译时给出错误或发出具有未定义行为的程序。

你应该这样写,添加一个转换:

(int) (intptr_t) p

或者,使用 C++ 语法,

static_cast<int>(reinterpret_cast<intptr_t>(p))

如果您要转换为无符号整数类型,请通过 uintptr_t 而不是 intptr_t 进行转换。

关于c++ - 为什么 “cast from ‘X*’ 到 ‘Y’ 失去精度”是一个硬错误,什么是遗留代码的合适修复,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21574449/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com