G++编译自定义Lex/Yacc的C++代码时赋值异常问题求助

1. 老旧编译器的表达式求值顺序bug #

G++ 4.8.5是2015年发布的版本，对C++11标准的支持存在诸多不完善之处。在Nodes[parent].right = append(R, output, s)这种复合表达式中，编译器可能错误地提前计算了Nodes[parent].right的内存地址，再执行append函数。如果append操作会触发自定义buffer<size_t>的扩容（比如内部存储数组重新分配），那之前计算的地址就会变为无效，赋值操作实际写入了已释放的内存，最终表现为right成员值未更新。而通过临时变量中转时，append先执行完成，容器状态稳定后再获取Nodes[parent].right的有效地址，自然不会出现问题。

2. 自定义buffer<size_t>的实现缺陷 #

检查buffer<size_t>的核心实现细节：

• 确认operator[]返回的是指向容器内部存储的非const引用，而非临时对象或局部变量的引用，否则赋值操作会直接失效。
• 排查容器的扩容逻辑：扩容时是否正确将原数据拷贝到新内存区域，同时更新所有内部指针？如果扩容后原内存被释放，而Nodes[parent]的引用仍指向旧内存，赋值就无法作用到新的有效存储上。

3. 类型匹配与内存对齐问题 #

• 核对Nodes结构体中right成员的类型是否与append返回的size_t完全一致。若存在隐式类型转换（比如right是unsigned int而平台上size_t为unsigned long），G++4.8.5可能在直接赋值时出现截断或地址计算错误，临时变量中转则会触发正确的类型转换逻辑。
• 检查自定义容器的内存分配是否符合平台的内存对齐要求。G++4.8.5对内存对齐的校验比ICC更严格，不正确的对齐可能导致指针访问异常，表现为赋值失效。

4. 编译器优化逻辑异常 #

尝试关闭编译优化（添加编译参数-O0），如果直接赋值的写法恢复正常，即可确定是G++4.8.5的优化器bug导致的。这种情况下，要么保留临时变量中转的写法，要么升级到更高版本的GCC（如GCC 5及以上）来彻底规避该问题。

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