如何在C++中正确实现类型双关？三种写法合法性解析

先来看你给出的三个实现版本：

版本1：C风格指针转换 #

#include <iostream>
#include <cstdint>

int main()
{
    uint32_t bits{0x3dfcb924}; //bits描述IEEE 754浮点数"0.1234"
    float num {*((float*) &bits)};
    std::cout << num << std::endl;
}

版本2：使用std::memcpy #

#include <iostream>
#include <cstdint>
#include <cstring>

int main()
{
    uint32_t bits{0x3dfcb924}; 
    float num {};
    std::memcpy(&num, &bits, sizeof(bits));
    std::cout << num << std::endl;
}

版本3：reinterpret_cast显式转换 #

#include <iostream>
#include <cstdint>

int main()
{
    uint32_t bits{0x3dfcb924};
    float num {*reinterpret_cast<float*>(&bits)};
    std::cout << num << std::endl;
}

接下来逐个解答你的疑问：

疑问1：版本1是否真的存在未定义行为？基本类型间reinterpret不受strict aliasing规则限制的说法正确吗？ #

首先明确：版本1确实存在未定义行为，那个“基本类型间reinterpret不受strict aliasing限制”的说法是错误的。

C++的strict aliasing规则规定：程序不能通过一个指向某类型T的指针，去访问一个实际类型为U的对象，除非满足以下例外情况：

• T和U是兼容类型（比如同类型的const/volatile版本）
• T或U是char、unsigned char或std::byte类型（允许用这些类型的指针来访问任何对象的原始字节）

版本1中，我们把uint32_t*转换成float*后直接解引用，相当于用float类型的指针去访问实际类型是uint32_t的对象，完全不符合上述例外，因此触发未定义行为——虽然在GCC 10 Linux下能运行，但这只是编译器的“宽容”表现，换个编译器或开启更高优化等级（比如-O2）就可能出现奇怪的问题（比如优化掉这段代码，或者输出错误结果）。

另外，版本1的C风格转换(float*)&bits在这里完全等价于版本3的reinterpret_cast<float*>(&bits)，两者只是语法形式不同，底层行为一致，所以版本3同样存在未定义行为。

疑问2：三种写法中应选择哪一种？原因是什么？ #

毫无疑问应该选版本2，理由如下：

1. 符合C++标准，无未定义行为：std::memcpy是字节级的内存复制操作，标准明确允许通过这种方式将一个对象的字节内容复制到另一个对象中，以此实现类型双关——它绕过了strict aliasing规则的限制，因为本质上只是复制字节，没有通过不兼容类型的指针去访问对象。
2. 关于&num和&bits隐式转void*的合法性：完全合法！C++标准规定，任何对象类型的指针都可以隐式转换为void*，std::memcpy的参数就是const void*和void*，所以这里的转换是标准允许的，没有问题。只要你的平台上uint32_t和float的大小相同（通常都是4字节，符合IEEE 754单精度浮点数的要求），这段代码就是完全安全可移植的。

疑问3：若版本3存在未定义行为，reinterpret_cast的适用场景是什么？ #

reinterpret_cast虽然在直接解引用不兼容类型指针时会触发未定义行为，但它在很多合法场景中是必不可少的，比如：

• 指针与整数类型的转换：将指针转换为uintptr_t（或其他足够大的整数类型）存储，之后再转换回原类型指针——这在一些底层编程（比如内存管理、地址操作）中很常见。
• 访问对象的原始字节：将对象指针转换为char*、unsigned char*或std::byte*，然后通过这些指针读取或修改对象的字节内容——这是strict aliasing规则允许的例外，常用于序列化、哈希等场景。
• 函数指针的转换：在某些实现定义的场景下，将一种函数指针类型转换为另一种（比如回调函数的适配），但要注意这种行为是实现定义的，不是完全可移植的。
• 存储指针而不解引用：比如将一个指针转换为另一种类型的指针，只是用来存储地址，之后再转换回原类型再解引用——只要中间不解引用不兼容类型的指针，就是合法的。

内容的提问来源于stack exchange，提问作者RedBox