将一种类型解释为另一种类型的正确方法？

Question

假设我有一个 float我想解释为 unsigned int进行一些处理(让我们暂时假设 sizeof(float) == sizeof(int))。现在有多种“工作”方式，例如:

float f = 0.5f;
unsigned int u;

u = * (unsigned int*) (&var); /* works in most compilers */

union {
    float f;
    unsigned int u;
} uconv;

uconv.f = f;
u = uconv.u; /* works in most compilers */

现在我不知道标准，但是由于严格的别名规则，IIRC 第一个是未定义的行为，我听说后者也是未定义的行为。

那么，将一种类型的值解释为另一种类型的值的正确定义方法是什么？

请添加您的答案是否适用于 C89、C90、C99 甚至 C11。

Answer 1

一般来说，正确的方法是将变量的地址强制转换为 void* , char*或 unsigned char* ，因为任何其他指针转换都可能导致未定义的行为(实际上，因为 strict aliasing )。 int*和 float*是不兼容的指针类型。

当sizeof两种类型是相同的，以下将起作用:

memcpy(&u, &var, sizeof(int));  // note: implicit conversion to void [const] *

您获得的值显然是实现定义的，因为它取决于 int和 float在内存中表示。

严格的混叠已经出现 since C89 .

编辑 : 之前关于 union 的问题似乎我错了黑客导致UB。 C11草案的相关部分指出:

If the member used to read the contents of a union object is not the same as the member last used to store a value in the object, the appropriate part of the object representation of the value is reinterpreted as an object representation in the new type as described in 6.2.6 (a process sometimes called ‘‘type punning’’).

-- 脚注 95 至 6.5.2.3 结构和 union 成员