我有几个宏,一个返回一个值,另一个返回 void 函数情况,基本上用它的参数和 (void)0
调用另一个。在使用 VS 和 GCC 编译它时,对于从构造函数中调用它的情况,我遇到了一些意想不到的编译问题。
我尝试运行以下命令,使用 gcc b.cpp
(gcc 版本 4.8.4)、clang c.bpp
(clang版本 3.4-1) 在 ubuntu 14.04 和一些 VS2013 在 win7 上,
#include <cstdio>
struct A {
A() {
return ((void)0); // case 0 => gcc err, clang ok, msvc err
//return (void)0; // case 1 => gcc err, clang ok, msvc ok
//return (); // case 2 => gcc err, clang err, msvc err
//return; // case 3 => gcc ok, clang ok, msvc ok
//; // case 4 => gcc ok, clang ok, msvc ok
}
} a;
int main()
{
printf("%p\n", &a);
}
我原以为所有的东西都会有类似的效果(好吧,我不确定情况 2),但我却遇到了一些奇怪的失败......
案例二:
$ gcc b.cpp
b.cpp: In constructor ‘A::A()’:
b.cpp:7:17: error: expected primary-expression before ‘)’ token
return ();
^
b.cpp:7:17: error: returning a value from a constructor
$ clang b.cpp
b.cpp:7:17: error: expected expression
return ();
^
1 error generated.
案例一:
$ gcc b.cpp
b.cpp: In constructor ‘A::A()’:
b.cpp:6:22: error: returning a value from a constructor
return (void)0;
案例 0:
$ gcc b.cpp
b.cpp: In constructor ‘A::A()’:
b.cpp:5:24: error: returning a value from a constructor
return ((void)0);
这里的正确行为是什么?我该如何调整说几个宏
#define MOO(a, b, retVal) \
do \
... \
return (retVal); \
while(0)
#define FOO(a, b) MOO((a), (b), (void)0)
也为 c'tors 工作?有没有更像 c++ 的方法来使用 decltype 返回 (void)0、-1、SOME_NONE 和其他默认值以在此类宏中处理异常中止的错误?
(一个有点不相关的问题是,gcc 在代码的什么地方决定我从 c'tor 返回一个值?)
最佳答案
根据 C++11 标准 12.1.8
A return statement in the body of a constructor shall not specify a return value.
因此,如果您从构造函数返回一个值,这应该是一个错误。
我相信 return (void)0;
不能在构造函数中使用 return 的原因在 6.6.3.2 中有详细说明
A return statement with neither an expression nor a braced-init-list can be used only in functions that do not return a value, that is, a function with the return type cv void, a constructor (12.1), or a destructor (12.4).
因为 (void)0
被认为是一个表达式,所以它不能在构造函数中使用。
关于c++从c'tor返回+用于错误处理的默认返回值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31927128/