为什么我不能从方法中显式返回 void？

Question

void run() {
    ...
    if (done) return cancel();
    ...
}

其中cancel()返回void。这不会编译...我几乎可以理解为什么。但如果我想从 void 返回一个 void，为什么不呢？相反，我最终写了这样的内容：

if (done) {
    cancel();
    return;
}

我不是在寻找代码风格建议，我想知道为什么 Java 明确禁止这种类型的 void 返回。任何信息表示赞赏，谢谢。

Answer 1

这是一个有趣的问题。由于 java 强制执行返回类型（void 是返回类型），因此您的第一个语句似乎是有意义的。我认为这只是为了惯例。由于 void 是一个占位符而不是一个对象，因此可能为了语言一致性或编译器简单性而决定将其保留。

来自 JLS

不带表达式的 return 语句必须包含在使用关键字 void 声明的方法主体中，不返回任何值（第 8.4 节），或者包含在构造函数的主体中（第 8.8 节）。

更远

准确地说，没有表达式的 return 语句总是突然完成，原因是返回没有值

Answer 2

带有表达式的 return 语句返回该表达式的值。 cancel() 的类型是一个 void 表达式 - 它没有值。

从逻辑上讲，您想要执行 cancel()，然后返回 - 这就是您必须说的。这两个操作（调用 cancel() 然后返回）在逻辑上是不同的。

现在，Java可以有一种“unit”类型而不是void - 但这会影响的不仅仅是返回值。

Answer 3

就像这样写：

void v = (void) 1;
return (v);

所以，我认为 void 不是 Java 中的 type。在 C++ 中，return cancel(); 是合法的。作为一个熟悉 Java 的 C++ 程序员，答案是：Java 语法不支持很多东西。也许是为了简单或可读性。

注意：void f() 声明类似于 pascal 中的 procedure f() 声明，过程不能返回任何值，例如函数，因此我们必须在单独的语句中调用它们。

Answer 4

void 不是一种类型。如果您使用 Void< /a> 类型而不是 void 关键字，但是，您的代码可以工作，但是：您必须在方法的所有退出点中手动返回 null。

Answer 5

因为你不会返回void。 void 不是一个值，因此无法返回。

Answer 6

这是同义反复。意思是，void 定义该方法没有返回值。因此，当 void 根本不返回时，你怎么能“返回 void”呢？

Answer 7

简短回答

return cancel() 语句必须返回有效值，但方法声明 void run() 声明 run() 不返回有效值返回一个值；因此，run() 中的 return cancel() 是一个错误。 return 语句（不带表达式）尝试将控制权转移给调用者，当方法返回类型为 void 时使用；因此，这不是一个错误。

长答案

JLS *return* 语句 部分 指出：

不带表达式的 return 语句尝试将控制权转移到包含它的方法或构造函数的调用者。 [...] 带有表达式的 return 语句必须包含在声明为返回值的方法声明中（第 8.4 节），否则会发生编译时错误。表达式必须表示某种类型 T 的变量或值，否则会发生编译时错误。类型 T 必须可分配（第 5.2 节）给方法的声明结果类型，否则会发生编译时错误。

JLS 方法返回类型 部分 指出：

方法的返回类型声明方法返回值的类型（如果它返回值），或者声明该方法为 void。当且仅当满足以下条件时，具有返回类型 R1 的方法声明 d1 可以返回类型替换另一个具有返回类型 R2 的方法 d2： [...] * 如果 R1 为 void，则 R2 为 void。

JLS 类型、值和变量章第一段指出：

Java 编程语言是一种强类型语言，这意味着每个变量和每个表达式都有一个在编译时已知的类型。类型限制变量（第 4.12 节）可以保存的值或表达式可以生成的值，限制这些值支持的操作，并确定操作的含义。

JLS 类型和值的种类部分指出：

Java 编程语言中有两种类型：基本类型（第 4.2 节）和引用类型（第 4.3 节）。相应地，有两种数据值可以存储在变量中、作为参数传递、由方法返回并进行操作：原始值（第 4.2 节）和引用值（第 4.3 节）。

现在只需再引述几句。 JLS 表达式语句部分< /a> 状态：

与 C 和 C++ 不同，Java 编程语言仅允许将某些形式的表达式用作表达式语句。请注意，Java 编程语言不允许“强制转换为 void”——void 不是类型

JLS 方法主体部分指出：

如果方法被声明为 void，则其主体不得包含任何具有表达式的返回语句 (§14.17)。

最后，JLS 方法声明部分指出：

方法声明要么指定方法返回值的类型，要么使用关键字 void 指示该方法不返回值。

现在，当我们将它们拼凑在一起时，我们可以推断出以下结论：

• 如果 return 语句包含表达式，则该表达式的计算结果必须为有效值。
• 有效的返回表达式值必须是原始类型或引用类型。
• void 不是有效的值类型。
• 使用 void 返回类型声明的方法不返回任何值。
• 方法 void run() 不返回值。
• 在 run() 中，return（不带表达式）会很乐意将控制权转移给调用者。
• 在 run() 中，return some expression 是一个错误，因为 some expression 必须是有效值，并且 run() > 不返回值。

Answer 8

return x 明确表示“返回值 x”，无论该类型是什么（当然，该类型仍然必须与该语句所在的任何函数的返回类型相匹配）。

严格来说，void 是一种类型的不存在，推而广之，就是不存在值 - 因此返回一个值是没有意义的，就像它一样声明 void 变量没有意义（也是不允许的）。

Answer 9

Void 不是真实类型。 Void 只是一个占位符，使方法定义的语法更加一致。这不是java的创新；而是java的创新。这是从 C 继承的。

这就是编译器不允许您编写 return cancel() 的原因，即使方法 cancel() 是 void >。

Answer 10

void 不是一种类型。方法定义中的 void 只是一个占位符，表示不返回任何内容。

Answer 11

有趣的想法。主要问题是语言规范，它将 return 语句定义为由 return 组成。 void 方法不是表达式，因此不允许构造。

您发现可以通过执行 void 方法然后返回来复制功能，因此没有真正的理由允许它。

Answer 12

来自 JLS：

不带表达式的返回语句必须包含在
使用关键字 void 声明的方法，不返回任何内容
值，或在构造函数的主体中

......

带有表达式的返回语句必须包含在方法中
声明返回一个值或编译时
发生错误。表达式必须表示变量或某些值
类型 T，否则会发生编译时错误。类型 T 必须是可赋值的
方法的声明结果类型，或编译时错误
发生。

Answer 13

Java 语法 实际上并不关心方法调用的类型，所以这不是问题。它必须是在类型检查系统中更下游的东西。我认为最重要的是，如果在 return 关键字之后包含语法上可选的语句，那么系统期望传递一个值。 void 当然是一种类型，但是没有void 类型的值。

但是，当然，这些都不能真正解释你问题的答案。正如您所指出的，没有理由不允许使用这种习惯用法。但也没有正当理由允许这样做。所以这是一个折腾。人们可以尝试为他们所做的事情合理化，但这可能毫无意义。

Answer 14

处理这个问题的正确方法是：

void run() {
...
if (done) {
    cancel();
    return;
    }
...
}