C++严格别名规则：位域结构体的getValue()是否违反规则？

首先直接给出结论：你的判断是对的，setValue()确实违反了C++严格别名规则；getValue()同样违反该规则，再加上结构体包含位域的内存布局不确定性，属于明确的未定义行为。GCC在-O2/-O3优化级别下的错误输出不是编译器bug，而是未定义行为的典型表现。

什么是C++严格别名规则？ #

简单来说，C++标准规定：你不能通过与对象实际类型不兼容的类型左值访问该对象的内存，仅以下例外情况被允许：

• 类型是原类型的CV（const/volatile）限定版本
• 类型是原类型的基类（且对象为该基类的派生类实例）
• 类型是char、unsigned char或signed char（用于逐字节操作）

违反规则的操作会触发未定义行为，编译器可基于"不同类型指针不会指向同一块内存"的假设进行激进优化，完全不考虑跨类型访问的情况。

分析setValue()的问题 #

void IEEE754_64::setValue(double d) {
    (*this) = *reinterpret_cast<IEEE754_64*>(&d);
}

这里将double*强制转换为IEEE754_64*后解引用赋值，double和IEEE754_64是完全无关的类型：既非基类-派生类关系，也不属于允许的char类类型，完全不符合严格别名规则的例外情况。这相当于通过IEEE754_64类型左值访问double对象的内存，属于明确的未定义行为。

分析getValue()的问题 #

unsigned long long IEEE754_64::getValue() {
    return * reinterpret_cast<unsigned long long *>(this);
}

这个函数的问题有两层：

1. 违反严格别名规则：将IEEE754_64*转换为unsigned long long*并解引用，两个类型完全无关，不符合规则例外，属于未定义行为。
2. 位域内存布局的不确定性：C++标准没有规定位域的排列顺序、对齐方式及填充字节，不同编译器（甚至同一编译器的不同编译选项）都可能有不同布局。哪怕IEEE754_64总大小和unsigned long long都是8字节，也无法保证位域组合结果和直接读取unsigned long long的结果一致。

为什么GCC高优化级别会出问题？ #

GCC在-O2/-O3级别会启用严格别名优化：编译器会假设不同类型指针永远不会指向同一块内存，因此会做激进优化（比如重排指令、省略不必要的内存读取）。当代码违反严格别名规则时，这种优化会破坏程序预期行为，导致输出错误值。

添加-fno-strict-aliasing参数会禁用该优化，编译器放弃严格别名假设，代码就能正常运行；改用memcpy则是完全符合标准的做法——memcpy是逐字节复制，使用void*参数，不受严格别名规则限制，是安全的类型双关方式。

正确的实现方式 #

推荐使用memcpy替代强制类型转换，既符合标准，又保证跨编译器兼容性：

#include <iostream>
#include <cstring>
using namespace std;

struct IEEE754_64 {
    void setValue(double);
    unsigned long long getValue();
    // Data members
    unsigned long long d_mantissa : 52;
    long long d_exponent : 11;
    unsigned long long d_sign : 1;
};

void IEEE754_64::setValue(double d) {
    memcpy(this, &d, sizeof(double));
}

unsigned long long IEEE754_64::getValue() {
    unsigned long long result;
    memcpy(&result, this, sizeof(unsigned long long));
    return result;
}

int main() {
    double b = 1.0;
    IEEE754_64 d;
    memcpy(&d, &b, sizeof(double));
    cout << hex << d.getValue() << endl;
    d.setValue(1.0);
    cout << hex << d.getValue() << endl;
    return 0;
}

额外注意：如果你的目标是解析IEEE754双精度浮点数的字段，直接用位域仍有内存布局风险（不同编译器位域排列顺序可能相反）。更可靠的方式是先通过memcpy将double转换为unsigned long long，再用位运算提取符号位、指数和尾数。

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