重新解释强制转换行为的 GCC 实现

Question

我如何知道重新解释强制转换将如何在 GCC 编译器上工作？文档中有提到吗？我可以知道任何参考或链接（如果存在）吗？

Answer 1

阅读标准中的文档，它对不同类型非常明确。但对于基本指针，我们有：

指针可以显式转换为任何足够大以容纳它的整型。映射函数是实现定义的。 [ 注意：它的目的是让那些知道底层机器的寻址结构的人不会感到惊讶。 --尾注] std::nullptr_t 类型的值可以转换为整型；该转换与 (void*)0 到整型的转换具有相同的含义和有效性。 [注意：reinterpret_cast 不能用于将任何类型的值转换为 std::nullptr_t 类型。 ——尾注]

对于整数：

整型或枚举类型的值可以显式转换为指针。转换为足够大小的整数（如果实现中存在这样的整数）并返回到相同指针类型的指针将具有其原始值；指针和整数之间的映射是由实现定义的。 [注：除非 3.7.4.3 中所述，此类转换的结果将不是安全派生的指针值。 ——尾注]

Answer 2

我在 g++ 中多次使用过reinterpret_cast。在嵌入式编程中，它对于将表示外设寄存器的 struct 映射到其（固定）地址非常有用：

struct DEV_Registers
{
volatile uint32_t REGA;
volatile uint32_t REGB;
// ...
};

static DEV_Registers& DEV(*reinterpret_cast<DEV_Registers>(0x40000000));

这让我可以编写如下代码：

DEV.REGB = 0x12345678;

它做正确的事情（将 0x40000004 处的寄存器设置为值） 0x12345678）并且非常清晰。

很难判断您的问题是否要求提供除此之外的详细信息。