为什么 Java 不允许在函数声明中省略形参名称？

Question

我希望了解为什么Java 设计者选择以这种方式实现函数声明。我经常听说 Java 的设计者希望避免其他语言（例如 C++）中做出的糟糕设计选择——通过类的多重继承和运算符重载我想到的是——为了保持面向对象模型尽可能简单并鼓励良好的编程实践。在本案中是这样吗？此功能是否太昂贵而无法实现其提供的（无可否认的边际）收益？

问题是，我看不到（而且我仍在学习，所以这可能意味着蹲下！：D）允许在函数声明中省略形式参数名称的重大实现开销。我至少可以想到一个例子，这个特性不会造成伤害：定义抽象函数。

不管怎样，很高兴听到人们对 SO 的一些想法。顺便说一句，相关部分 (8.4.1) Java 语言规范的 解释了是什么，但没有谈论为什么。

编辑：添加代码片段：

abstract void someFunc(int, int, int);

（我正在使用抽象函数，因为这是一个简单的情况，我可以想到此功能在哪里会很方便）。

Answer 1

为什么应该允许这样做？

如果方法定义没有参数名称，那么您将如何在代码中实际使用这些参数？

在 C 中，情况略有不同：声明和实现彼此独立（至少如果你做得“正确”的话）。在这里，将信息保留在一处可以避免重复。

但在 Java 中，没有单独的声明（除非您在接口中定义方法，在这种情况下没有实现，这意味着不再重复）。 只有实现。

Answer 2

您可以通过使用重载来删除正式参数，例如

class Three {
  public Three() {
    this(1);
  }

  public Three(int a) {
    this(a, 2);
  }

  public Three(int a, int b) {
    this(a, b, 3);
  }

  public Three(int a, int b, int c) {  }

  // can pass any number of `int` values.
  public void method1(int... varargs) {
  }

  public void method2(int a) {
     method2(a, 2);
  }

  public void method2(int a, int b) { }
}

编辑：来自我的评论。

Java 设计倾向于等待一个令人信服的理由去做某事（然后再考虑几年；）一个为什么不的论点不足以包含某件事。通常还有其他方法可以做同样的事情（如果不是那么优雅），例如使用重载，这使得情况不那么引人注目

Answer 3

不同的答案表明您并不清楚您要问什么 - 在问题中举个例子会有所帮助。

我假设您希望能够编写

public void method(int a, int, int) {
}

而不是

public void method(int a, int b, int c) {
}

在方法中的任何地方不使用 b 和 c 时（或者该方法是抽象的，或类似的）。

那么，为什么不允许省略它们：

• 这会使语法复杂化（虽然不会太复杂），
• 通常您会想要记录参数，为此您需要它们的名称。 （这也适用于接口和抽象/本机方法。）
• 当不使用参数时，为什么要使用它们呢？
• 从理论角度来看：形式参数声明是一种变量声明，并且不能有没有名称的变量（数组元素除外）。
• 它可能会让代码的读者感到困惑。

当我有未使用的参数时，我有时会给它们命名，例如 ignored 或 dummy。

Answer 4

例如，我认为这只是使事物成为强类型的同一哲学的一部分。您应该知道什么是方法以及如何在编译时使用它。

它是关于拥有一个始终接受您期望的参数并返回您期望的结果并抛出您期望的异常的接口。如果我们有

class Adder {
    int add(int a, int b) {return a+b;}
    int add(int a, int b, int c) {return a+b+c;}
    int add(int a, int b, int c, int d) {return a+b+c+d;}
}

那么Java的设计者就会想：如果你想“Adder.add”两个特定的数字，有一个方法可以实现。您永远不会使用三个或四个参数来调用此方法，因为这对该方法的设计目的毫无意义。如果您想让“Adder.add”成为三个或四个数字，则应该单独创建这些方法。

也许这是一个糟糕的人为示例，但我的部分观点是同意这种语言功能并不总是有意义。

Answer 5

如果您谈论的是名称，而不是参数本身，原因很简单。定义抽象方法时，您正在定义一个接口。为了使接口可用，处理该接口的人必须知道参数的含义。这就是这些名字的用途。

当然，如果您只命名参数 a 和 b，您的代码也可以正常工作，但您没有这样做。您称它们为国家或出生地。你用它来传达意义。

Java 的目的始终是迫使程序员尽可能做正确的事情，并且避免搬起石头砸自己的脚。这就是为什么它是这样设计的。

Answer 6

这将是一个很棒的功能，因为您可以摆脱那个愚蠢的注释来忽略未使用的注释。

假设我有这个：

@FunctionalInterface
interface ListFunc {
    Stream<Path> apply( Path dir ) throws IOException;
}
void doStuff( Path dir, ListFunc listFunc ) {
    List<Path> filenames = listFunc.apply( dir ).collect( Collectors.toList() );
    ...

那么，简单的情况：

doStuff( Paths.get( System.getProperty( "user.home" ) ), Files::list );

但是单元测试呢？

static Stream<Path> fixedListFunc( Path /* unused */ dir ) {
    List<Path> fixed = Lists.newArrayList( Paths.get( "first" ),
            Paths.get( "second" ),
            Paths.get( "third" ) );
    return fixed.stream();
}

@Test
public void testDoStuff() {
    doStuff( null, fixedListFunc );

当然，如果能够省略未使用的参数的名称，那就太好了。在这种情况下，不必重载或使用注释来忽略警告或其他内容。