为何该C++示例不依赖字节序？关于实现定义的技术疑问

1. 为何代码行为不属于实现定义（机器相关）？ #

你的代码中，char const &b = a; 的绑定逻辑是C++标准明确规定的，和机器架构无关：

• 当把int类型的左值绑定到char const&时，编译器会先将a的值（字符'0'对应的ASCII码48）转换为char类型——这个转换是确定的，因为48在char的取值范围内（无论char是有符号还是无符号）。
• 接着编译器会创建一个临时char对象存储转换后的值，最终将b绑定到这个临时对象上。
• 后续对a的修改不会影响这个独立的临时对象，因此代码的输出是固定的00，不存在机器相关的不确定性，自然不属于实现定义行为。

2. 大端/小端机器的结果差异（针对错误绑定场景） #

你可能混淆了另一种实现定义的场景：如果通过reinterpret_cast<char&>(a)直接将char&绑定到int对象的内存字节上，此时行为才会依赖字节序：

• 小端机器：int的低字节存在内存低地址，a = '0'（即十六进制0x00000030）的第一个字节是0x30（对应字符'0'），cout输出'0'；a++后a变为0x00000031，第一个字节是0x31（对应字符'1'），输出'1'，最终结果为01。
• 大端机器：int的高字节存在内存低地址，a = '0'的第一个字节是0x00（即空字符'\0'），cout对空字符不输出可见内容；a++后第一个字节仍为0x00，输出依然为空，最终无可见输出。

3. 结合cout输出'\0'的行为理解 #

'\0'是ASCII码为0的空字符，属于非打印字符，cout输出它时不会显示任何可见内容——这和输出字符'0'（ASCII码48，可打印）完全不同。这也解释了大端场景下的无输出：此时绑定到的是int对象的高字节，值为0，对应空字符，自然看不到输出。

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