我正在使用英特尔C ++编译器12.0,并且正在开发类似于以下的程序,这非常简单明了。 while循环应该在第一次运行时停止。但是,当我使用英特尔编译器使用/ O2标志构建代码时,while循环永远不会停止。如果我禁用优化,或使用visual C ++,循环将正常退出。如果我将pt->标志改为p.flag,我认为是同样的事情,循环也会正常退出。我认为这与英特尔的优化有关。这是英特尔编译器中的错误吗?或者我错过了什么?
#include <iostream>
using namespace std;
struct para {
int i;
int flag;
};
int main(int argc, char **argv)
{
para p;
p.i = 0;
p.flag = 1;
para * pt = &p;
cout << "loop started" << endl;
int i;
while (p.flag) {
if (p.i == 0) {
for (i=0; i<1; i++) {
if (p.flag != 1)
break;
}
if (i==1) {
pt->flag = 0;
}
}
}
cout << "loop stopped" << endl;
return 1;
}
更新: 谢谢大家的回答。我对“指针别名”的解释感到困惑。如果p在寄存器中并且pt无法访问它,为什么以下代码将使用intel编译器中断while循环?首先“pt-&gt; flag = 0;”因为i = 0,所以永远不会生效。其次,即使它有效,也不应该“指针别名”阻止p被修改?
BTW:有人能告诉我如何使用intel编译器打开/关闭Visual Studio中的指针别名吗?谢谢!
#include <iostream>
using namespace std;
struct para {
int i;
int flag;
};
int main(int argc, char **argv)
{
para p;
p.i = 0;
p.flag = 1;
para * pt = &p;
cout << "loop started" << endl;
int i=0;
while (p.flag) {
if (p.i == 0) {
//for (i=0; i<1; i++) {
// if (p.flag != 1)
// break;
//}
if (i==1) {
pt->flag = 0;
}
}
}
cout << "loop stopped" << endl;
return 1;
}
答案 0 :(得分:6)
这种情况称为pointer aliasing。您有一个变量p
和一个指针pt
,指向与p
相同的东西。如果编译器可以假定给定变量只有一个“名称”,并且编译器的/O2
可以启用此假设,则可以使用许多优化。例如,编译器可以在循环期间将p
的所有成员变量保留在寄存器中,这显然无法通过内存指针访问。
检查编译器文档,了解如何告诉它不要假设没有指针别名。这可以是编译器开关或#pragma
。