void() 和 void{} 有什么区别？

Question

基本上，我想知道为什么编译器会拒绝ptr2 声明：

int main() {
    // this one works
    decltype(void())* ptr1;

    // this one does not
    decltype(void{})* ptr2;
}

如果您认为ptr1 是函数指针，请查看this code：

#include <iostream>
using namespace std;

template <class T>
void f(T t) {
    cout << __PRETTY_FUNCTION__ << endl;
}

int main() {
    decltype(void())* ptr;
    f(ptr);
}

输出是void f(T) [with T = void*]。

Answer 1

[expr.type.conv]

2 表达式T()，其中T 是非数组完整对象类型的simple-type-specifier 或typename-specifier 或（可能 cv-qualified) void 类型，创建指定类型的纯右值，其值是通过值初始化 (8.5) 类型 T 的对象产生的值； void() 的情况没有进行初始化。 [...]

注意void 是一个简单类型说明符。

3 类似地，simple-type-specifier 或 typename-specifier 后跟 braced-init-list 创建一个临时对象具有指定 braced-init-list 的指定类型 direct-list-initialized (8.5.4)，其值是作为纯右值的临时对象。

感谢Keith Thompson 指出临时对象是在/3中创建的，而值是在/2中创建的。

当我们查看 [basic.types]/5

未完全定义的对象类型和void 类型是不完整的类型 (3.9.1)。对象不应被定义为具有不完整的类型。

现在很明显，void{} 是不允许的，因为它会创建一个（临时）对象。 void() 但是“仅”创建一个 (pr) 值。我认为这两种情况的实现（行为）没有区别，但不同的语言规则适用于它们。其中一条规则禁止创建 void 类型的对象，因此会出现错误。

---

广告decltype(void())：decltype(e) 采用表达式e。在[dcl.type.simple]/4中，decltype(e)的适用定义为：

否则，decltype(e) 是 e 的类型

（因为void() 产生一个纯右值并且不是一个id-expression）。

因此，decltype(void()) 产生 void。