7

我正在开发一个使用 VC9 构建的应用程序，但我遇到了一个我不完全理解的警告：为什么在构造函数的右括号上有一个“无法访问的代码”警告？

重现该问题的最小测试用例是：

__declspec(noreturn) void foo() {
  // Do something, then terminate the program
}
struct A {
  A() {
    foo();
  } // d:\foo.cpp(7) : warning C4702: unreachable code
};
int main() {
  A a;
}

这必须用 /W4 编译以触发警告。或者，您可以使用 /we4702 进行编译，以在检测到此警告时强制出错。

d:\>cl /c /W4 foo.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 15.00.21022.08 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

foo.cpp
d:\foo.cpp(7) : warning C4702: unreachable code

有人可以准确地解释一下这里无法到达的地方吗？ 我最好的理论是它是析构函数，但我想要一个明确的答案。

如果我想让这段代码警告干净，我该如何实现呢？ 我能想到的最好的方法是将其转换为编译时错误。

struct A {
private:
  A(); // No, you can't construct this!
};
int main() {
  A a;
}

编辑：为澄清起见，使用 noreturn 函数终止程序通常不会在包含该函数调用的右大括号上导致无法访问的代码警告。

__declspec(noreturn) void foo() {
  // Do something, then terminate the program
}
struct A {
  A() {
  }
  ~A() {
    foo();
  }
};
int main() {
  A a;
}

结果是：

d:\>cl /c /W4 foo3.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 15.00.21022.08 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

foo3.cpp
4

4 回答 4

3

Gorpik 走在正确的轨道上。我已经创建了两个类似的测试用例，编译它们并反汇编它们，我想我已经理解了根本原因：构造函数总是隐式地生成一个 return 语句，并且由于 noreturn 函数，这个 return 语句是不可访问的。

noreturn_constructor.cpp

__declspec(noreturn) void foo() {
  // Do something, then terminate the program
}
struct A {
  A() {
    foo();
  }
  ~A() {
  }
};
int main() {
  A a;
}

noreturn_destructor.cpp

__declspec(noreturn) void foo() {
  // Do something, then terminate the program
}
struct A {
  A() {
  }
  ~A() {
    foo();
  }
};
int main() {
  A a;
}

差异 -u *.disasm

--- noreturn_constructor.disasm 2012-05-30 11:15:02.000000000 -0400
+++ noreturn_destructor.disasm  2012-05-30 11:15:08.000000000 -0400
@@ -2,7 +2,7 @@
 Copyright (C) Microsoft Corporation.  All rights reserved.


-Dump of file noreturn_constructor.obj
+Dump of file noreturn_destructor.obj

 File Type: COFF OBJECT

@@ -35,15 +35,15 @@

 ??0A@@QEAA@XZ (public: __cdecl A::A(void)):
   0000000000000000: 48 89 4C 24 08     mov         qword ptr [rsp+8],rcx
-  0000000000000005: 48 83 EC 28        sub         rsp,28h
-  0000000000000009: E8 00 00 00 00     call        ?foo@@YAXXZ
-  000000000000000E: 48 8B 44 24 30     mov         rax,qword ptr [rsp+30h]
-  0000000000000013: 48 83 C4 28        add         rsp,28h
-  0000000000000017: C3                 ret
+  0000000000000005: 48 8B 44 24 08     mov         rax,qword ptr [rsp+8]
+  000000000000000A: C3                 ret

 ??1A@@QEAA@XZ (public: __cdecl A::~A(void)):
   0000000000000000: 48 89 4C 24 08     mov         qword ptr [rsp+8],rcx
-  0000000000000005: C3                 ret
+  0000000000000005: 48 83 EC 28        sub         rsp,28h
+  0000000000000009: E8 00 00 00 00     call        ?foo@@YAXXZ
+  000000000000000E: 48 83 C4 28        add         rsp,28h
+  0000000000000012: C3                 ret

   Summary

无法访问的代码是这个隐式返回语句，它是在构造函数中生成而不是在析构函数中生成的：

-  000000000000000E: 48 8B 44 24 30     mov         rax,qword ptr [rsp+30h]
+  0000000000000005: 48 8B 44 24 08     mov         rax,qword ptr [rsp+8]
于 2012-05-30T15:25:40.967 回答
2

在 的末尾没有要调用的析构函数A::A()，所以这不是问题。无法达到的是对象的实际构造，它发生在构造函数完成执行之后。由于它永远无法完成，因此编译器生成的代码是无法访问的。

于 2012-05-30T14:54:59.423 回答
1

foo 上的 declspec(noreturn) 正在产生此警告。你告诉编译器这个函数不会返回。所以编译器会发出一个警告，你的构造函数永远不会完成。

于 2012-05-30T14:45:26.643 回答
1

见http://msdn.microsoft.com/en-us/library/k6ktzx3s(v=vs.80).aspx

“这个 __declspec 属性告诉编译器一个函数没有返回。因此，编译器知道调用 __declspec(noreturn) 函数之后的代码是不可访问的。”

右大括号可能会生成无法到达的代码（如调用析构函数）。

于 2012-05-30T14:45:46.160 回答