关于VC++7.1的编译器优化（处理异常的时候）：是特性，BUG，还是我理解有局限？

[penter]

陈述很长，可能需要一些耐心；

#include <iostream>
using namespace std;

class some_class
{
public:
some_class() { cout << "some_class constructed." << endl; }
~some_class() { cout << "some_class destructed." << endl; }
};

int _tmain(int argc, _TCHAR * argv[], _TCHAR **envp)
{
int div = 0;

// 如下语句中，object 在离开 try 块时被正确的析构
try
{
some_class object;//注意这里２！！！！！！

cout << "throwing exception" << endl;//注意这里１！！！

int a = 16 / div;

cout << "a = " << a << endl;
}
catch(...)
{
cout << "in catching C++ exception" << endl;
}

return 0;
}
以上这段代码，如果在VC7.1下打开编译器优化为Maximize Speed (/O2)的时候，
执行结果为：
some_class constructed.
throwing exception
some_class destructed.
in catching C++ exception
正常；

如果去掉“注意这里１”那句，release结果就成了：
some_class constructed.
in catching C++ exception
我的析构函数没有给调用；哪怕我在construct中动态分配内存，在deconstruct中删除内存都不会给调用；

如果去掉“注意这里２”那句，结果是release下成了　　系统报错，我的异常处理代码没有给执行；

但如果关掉　优化，问题就不会出现；

这个问题这几天总是出现，让我得出很多错误的结论；
我想知道，这是ＶＣ７.１的特性，还是ＢＵＧ，还是我理解有错？

请大家指教，谢谢！！！

[penter]

以上的结果都是在release 下的；

[yongdu]

你的理解是没错的。错在编译器，错在它的优化。。。

把优化关了就应该OK了。

[solar]

我的vc7.1怎么就没有问题呢？

[solar]

vs2003/xp
Maximize Speed (/O2)是release的默认配置

[penter]

我用的是D版；也可能是beta版；不知道各位用什么？

[In355Hz]

我的 VC6.0 存在同样的问题。查了一下 MSDN ，有一篇相关资料描述了 /Og (/O1 /O2 都包含了这一选项) 全局优化选项带来的错误编译问题:

BUG: Bad Code Generated by Global Optimization
ID: Q236349

文中介绍了如下命令可以避免此问题的发生：

#pragma optimize("g", off)

测试了一下，对 VC6.0 有效，我没有在 VC7.1 上测试

[In355Hz]

避免的方法其实就是关掉全局优化。以下是资料中的出错代码：

When the code is compiled with /Og, the MyStructComp function may return 0 (zero); the function should return 1. The code path for the "else if" condition may not be taken, even when the condition is true.

struct MyStruct
{
unsigned long m_len;
unsigned char *m_lpData;
};

typedef struct MyStruct *LPMyStruct;

short MyStructComp ( struct MyStruct *Arg1,struct MyStruct *Arg2)
{
unsigned long dwLen;
unsigned char *str1, *str2;
dwLen = Arg1->m_len;
str1 = Arg1->m_lpData;
str2 = Arg2->m_lpData;

while (dwLen--)
if (*str1 < *str2)
return (-1);
else if (*(str1++) > *(str2++))
return (1);
else if (*str1 > *str2)
{
str1++;
str2++;
}

return (0);
}

看了这篇资料以后，我觉得以后为了保证安全，还是每次都关掉这个优化选项比较好。

[penter]

谢谢大家的参与；谢谢楼上大侠！