建造一个空洞类型？

Question

我得到了一段void()用作参数的代码.代码不编译......很明显？

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

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

参数可能没有void类型

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

错误C2660 :: takeNaught函数不带1个参数

3. 编写模板化函数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

就是这样,对吧？void()C++中没有地方可供选择吗？这只是我给出的错误代码,对吧？

Answer 1

您可以使用void()as函数参数:

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

其中扩展为:

void test(void (*)())

这是一个返回void并且不带参数的方法的函数指针.

完整示例:

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

int main() {
    test(abc);
}

Answer 2

C++(我说C++,而不是C)允许带有返回类型的(§6.6.3逗号2)函数void返回一个void表达式,即:

void foo() { return void(); }

但请注意,它不是构建一个临时的void!

Answer 3

表达式void()是类型的prvalue,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-qualified)void:const void f() { return void(); }
• 作为显式转换为(可能是cv-qualified)的操作数void:static_cast<const void>(void())

类型的表达式void也可以用作操作数typeid,但void()特别是在此上下文中将其解析为类型而不是表达式.