构造一个 void 类型？

Question

我得到了一段使用void() 作为参数的代码。代码无法编译……显然？

我们可以实例化void 类型的任何东西吗？我相信答案是否定的，除了void*。例如：

1. 写函数void askVoid(void param) {}错误：

参数可能没有void 类型

1. 编写函数 void askNaught() {} 并使用 askNaught(void())` 错误调用它：

错误 C2660：takeNaught：函数不接受 1 个参数

1. 编写模板化函数template <typename T> void takeGeneric(T param) {} 并使用takeGeneric(void()) 错误调用它：

错误 C2893：无法专门化函数模板 void takeGeneric(T)

4. 声明void voidType 错误：

不允许不完整的类型

5. 声明auto autoVoid = void() 错误：

无法推断auto类型

6. 声明void* voidPtr 工作正常，但remove_pointer_t<decltype(voidPtr)> decltypeVoid 错误：

错误C2182：decltypeVoid：非法使用类型void

就是这样，对吧？ C++ 中没有void() 的位置吗？这只是我得到的错误代码，对吧？

Answer 1

C++（我说的是 C++，而不是 C）允许 (§6.6.3 comma 2) 具有 void 返回类型的函数返回 void 表达式，即：

void foo() { return void(); }

但请注意，它不是构造一个临时的void！

Answer 2

表达式void() 是void 类型的纯右值，可以在任何可能使用此类表达式的地方使用，[basic.fundamental]/9 提供了一个列表：

• 作为表达式语句：void();
• 作为条件运算符的第二个或第三个操作数：true ? throw 1 : void()
• 作为逗号运算符的操作数：++it1, void(), ++it2
• 作为decltype或noexcept的操作数：using my_void = decltype(void()); static_assert(noexcept(void()), "WAT");
• 在函数的 return 语句中返回（可能是 cv 限定）void: const void f() { return void(); }
• 作为显式转换为（可能是 cv 限定的）void 的操作数：static_cast<const void>(void())

void 类型的表达式也可以用作typeid 的操作数，但在这种情况下，void() 特别会被解析为类型，而不是表达式。

Answer 3

您可以将void() 作为函数参数：

void test(void()) { ... }

扩展为：

void test(void (*)())

这是一个函数指针，指向一个返回 void 且不带参数的方法。

完整示例：

void abc() {}
void test(void()) { }

int main() {
    test(abc);
}

Answer 4

您可以使用void() 作为可调用类型，例如std::function<void()> f; 是一个有效的语句。

另外，来自8.3.5/4：

由一个非依赖类型 void 的未命名参数组成的参数列表等效于一个空参数列表。

这意味着这是有效的：

template<typename T>
struct F;

template<typename R, typename... A>
struct F<R(A...)> { };

int main () {
   F<void(void)> s;
}

在这里，您没有实例化 void 类型的任何内容，而是将它（让我说）用作可调用类型的参数列表。

不确定这是否回答了你的问题，我不清楚这个问题到底是什么。

Answer 5

C++中没有void()的地方吗？

作为表达式，void() 在 C++ 中有效。

来自标准，$5.2.3/2 Explicit type conversion (functional notation) [expr.type.conv]：

表达式T()，其中T 是简单类型说明符或 typename-specifier 用于非数组完整对象类型或 （可能是 cv 限定的）void 类型，创建指定的纯右值 类型，其值是由值初始化 (8.5) 产生的 T 类型的对象； void() 的情况没有进行初始化。

来自cppreference.com：

new_type ( )

如果new_type是对象类型，则对象是值初始化的； 否则，不进行初始化。如果new_type 是（可能 cv-qualified)void，表达式是void prvalue。