【发布时间】：2013-09-05 23:44:13
【问题描述】：
我相信我在 Visual Studio 2012 Update 3 C++ 编译器中发现了一个有点晦涩但可怕的错误。我在使用 gtest 编写单元测试时发现了它。测试开始显示内存泄漏，在调查问题后似乎减少为编译器中的错误。
我将问题提交给 Microsoft： https://connect.microsoft.com/VisualStudio/feedback/details/794722/parameter-dtor-not-called-when-overloaded-operator-involved-in-return
过去，我错误地将自己的错误称为“编译器错误”，这比我愿意承认的要多。所以我想我会在这里发布这个问题，以防有人想自己重现这个问题。如果我可以在这段代码中指出我自己的错误，那将非常有帮助！我真的希望 VC++ 编译器不会在下面的程序中调用析构函数。
请注意，错误行为是在禁用优化器时发生的，因此它不是优化器错误。
我在 gcc 4.2.1 (i686-apple-darwin11) 中尝试了这段代码，它的行为符合预期。
这是项目中单个源文件的代码：
#include <string>
int instance_count= 0;
class c {
public:
c( std::string s ) : m_s(s) { ++instance_count; }
c( const c& other ) : m_s(other.m_s) { ++instance_count; }
~c() {--instance_count;}
private:
std::string m_s;
};
class d {
public:
d() {}
void operator=(int) {}
};
void f( c c_ ) {
try {}
catch(...) { return d() = 5; }
}
int main( int argc, char* argv[] ) {
c instance("leak");
f(instance);
return instance_count == 1 ? 0 : -1;
}
在 Visual Studio 2012 Update 3 中编译它：
- 文件 -> 新建 -> 项目...，选择 Win32 控制台应用程序，单击确定，然后单击完成
- Build -> Configuration Manager -> Active Solution Platform -> New...，选择x64，点击OK
- 用上面的代码替换主.cpp文件的内容
- 将#include "stdafx.h" 添加到文件顶部或关闭预编译头文件
- 运行程序，注意退出代码是 -1，我希望它是 0。这似乎在 32 位和 64 位版本中重现，尽管我专注于 64 位。
- 注释掉 f() 中的 try/catch 块，注意退出代码变为 0。我不明白为什么这个更改会影响退出代码，因为 catch() 块甚至没有执行。李>
【问题讨论】：
-
过于优化，无法进行调用。看起来代码优化器被 f() 优化而不再接受参数。等待反馈报告跟进。
-
实际上这发生在优化器禁用的情况下 - 我编辑了问题以包含重要信息。
-
可能不相关，但我不确定
return d() = 5;是否应该首先编译。您实际上返回了赋值运算符生成的void值。调用者本身确实返回了void，但在这种情况下使用return对我来说看起来很奇怪。 -
这确实是难题的一部分。去掉 return 关键字，问题就消失了。这是一个代码生成错误，它在 try{} 之后计算错误的地址以继续，跳过参数的 ~c 析构函数调用。看起来它被 catch 子句代码迷惑了。
-
我同意它看起来很神秘。它实际上来自 Google 的 gtest 单元测试框架中的 FAIL() 语句。他们在帮助类中使用这个重载的 operator=() 出于某种我不清楚的原因。我确实认为它是有效的 C++。我记得在 msvc6 天，从返回 void 的函数返回 void 表达式无法编译，这让我抓狂！
标签： visual-c++