为什么我可以使用void()，而不能使用void{}？

Question

考虑以下代码：

void foo() { return void(); }
void bar() { return void{}; }

foo()编译，但bar() 不会 (在GodBolt上使用GCC 8.2和clang7.0)。

为什么？

Answer 1

void 是不完整的类型。.因为它是一个不完整的类型，所以表达式void{}是非法的。

然而，void()在[expr.type.conv]/2中被授予一个异常

..。如果类型为cv，而初始化器为()，则表达式是不执行初始化的指定类型的prvalue。..。

在泛型代码中可以/是有用的。

这上面有一个主动问题，而C++20草案目前拟议的措辞是

..。否则，如果类型为cv，而初始化器为()或{} (如果有)，则表达式是不执行初始化的指定类型的prvalue。..。

这将允许您做return void{};，如果它被接受。