是一种类型的无效？

Question

我不能完全回答"我们为什么要打电话"" 无效 "是' 返回类型 '？"

我如何证明" 无效 "是一种类型？

Answer 1

void 不是类型,它也不是返回类型:

在JLS 14.8中,您可以找到关于此类型的说明:

请注意,Java编程语言不允许"强制转换为void" - void不是一种类型

Answer 2

在Java语言规范 说:

[...]每个变量和每个表达式都有一个可以在编译时确定的类型.类型可以是基本类型或引用类型.

void不是有效的类型.但是,void是一个有效的关键字,用于指示方法不返回值.

在虚空的JavaDoc也说,void是一个关键词:

Void类是一个不可实例化的占位符类,用于保存对表示Java关键字void的Class对象的引用

与Integer JavaDoc对比:

Integer类在对象中包装基本类型int的值.Integer类型的对象包含一个类型为int的字段.

所述Void类表示void 关键字 ; 而Integer类代表一种int 类型.

Answer 3

Void 是大多数语言中的一种类型，并且考虑到典型的类型系统，将其视为指定“无”的类型是最有意义的。您没有说明您的语言，但例如，在 C# 中，void关键字对应于.NET 框架 void type。