std::map<int,int> bar;
int foo(int key)
{
bar.erase(key);
return 1;
}
int main()
{
bar[0] = foo(0);
return 0;
}
此代码使用 GCC 4.8 编译,在使用电围栏检查内存使用情况时出现段错误。
LD_PRELOAD=libefence.so.0.0 ./a.out
问题来自于编译器生成的代码开始在映射中分配新条目,然后执行foo()
获取要投入的值bar[0]
。在跑步的时候foo()
,该条目被销毁,代码最终通过写入未分配的内存而结束。
操作的排序方式是否取决于编译器实现,还是由 C++ 当前标准指定?
标准 (§1.9 15) 指定对二元运算符的两个操作数的求值是无序的(除非在某些特定情况下):
除非另有说明,否则各个运算符的操作数的评估
和 各个表达式的子表达式是无序的。
这意味着它不要求赋值操作的一侧先于另一侧求值,事实上,依赖于这些无序操作的顺序是未定义的行为。
对于函数参数的求值顺序来说,这通常也是正确的。
您需要将作业分成两部分:
int result = foo(0);
bar[0] = result;
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)