允许递归构造函数可能有什么好处（如果有）？

Question

在 Java 中，构造函数不能是递归的。编译时错误：“递归构造函数调用”。假设我们没有这个限制。

要记住的事情：

• 构造函数的返回类型是 void。由于它是一个 void 方法，因此您无法利用递归的全部功能。
• 构造函数可以使用 this() 调用自身（或任何其他构造函数）。但是“对此的调用必须是构造函数中的第一个语句”
• 我们可以在连续调用之间使用非本地数据，以便仍然可以从递归构造函数中获得一些可能的收益。

允许递归构造函数会有什么好处吗？

Answer 1

构造函数（当它们相互调用时）就像返回 void 的方法。因此，它们产生结果的唯一方法是副作用。然后，这仅限于改变它们正在构造的对象或改变作为参数传入的值。后者在构造函数中是一个非常令人讨厌的想法；构造函数通常从其参数中获取信息而不改变它们。

因此，改变正在构造的对象是唯一的选择，以便有任何方法可以跟踪递归的进度，以便它最终终止。很难看出它比普通构造函数中的简单循环更容易编写、更清晰阅读等。

从构造函数中调用另一个构造函数（使用 this）当然与在构造函数中使用 new 表达式完全不同：

class Node
{
    Node _left, _right;

    public Node(Node left, Node right)
    {
        _left = left != null ? new Node(left._left, left._right) : null;
        _right = right != null ? new Node(right._left, right._right) : null;
    }
}

这里是 Node 构造函数调用自身，但是通过一个新的表达式。这是关键的区别。 new 表达式会生成一个值，因此这纯粹是“函数式”、非变异的东西，并提供了一种制作节点树的深层副本的便捷方法。

Answer 2

构造函数可以是递归的。 （这是在 C# 中的，但你可以在 Java 中做同样的事情）

Answer 3

我们来看看这个问题。首先，当您调用 new MyClass("foo"); 时会发生什么？嗯，有两件事发生了。首先，虚拟机将分配存储MyClass类型的对象所需的内存。然后，构造函数被调用。构造函数的工作是初始化刚刚分配的内存。因此，构造函数根本没有返回类型（甚至没有 void）。 new 运算符返回的值是对已分配内存的引用，因此构造函数也不能返回。

那么，递归调用构造函数有什么好处呢？此类调用的唯一好处是像其他参数一样处理某些构造函数参数，并通过重新调用构造函数来执行此操作。虽然这是可能的，但通常很容易调整构造函数本身的值（使用非最终参数），然后初始化对象属性（简而言之，您不需要为此递归）。

其次，您可以通过将所有工作卸载到可以根据需要递归的工作方法来相当轻松地进行递归。

一个更有趣的问题是对 super 或 this 调用的限制是构造函数的第一个语句。这一限制可能是为了阻止草率或不安全的编程实践。此处的声明以粗体显示，因为可以（尽管不美观）解决此限制。如果您还记得表达式可能有副作用（例如变量赋值），并且在调用本身之前调用用于参数的表达式，则可以创建复杂的表达式，在调用委托构造函数之前执行所有计算。

您希望稍后在构造函数主体中调用委托/超级构造函数的一般原因是参数操作。您可以使用（静态）辅助函数来执行这些计算并提供正确的值。这通常更干净，但并非在所有情况下都是如此。实际的执行速度不应该受到影响，因为热点可以很好地内联这些东西。

这意味着最终的考虑归结为提供自由放置委托/超级调用的灵活性，而不是通过使不正确的做法变得更加困难来提供额外的安全性。 Java 设计者（以及一般的 Java 哲学）做出的选择是，以牺牲专家手中的原始语言能力（复杂性增加）为代价，让做错事变得更加困难。所做的选择对我来说是一个有效的选择，尽管我个人想要这种能力（人们总是可以在没有这些限制的 JVM 上实现一种 java++ 语言）。

Answer 4

您可能无法编写递归构造函数，但可以从构造函数调用递归函数。我以前从未这样做过，我也想不出你可能需要这样做的情况，但如果你愿意，你可以这样做。

Answer 5

允许是什么意思？ Java 中可以有递归构造函数。它们允许您重用代码并以更加分层的方式设计构造函数。

在下面的递归构造函数示例中，我可以调用 new User() 或 new User("Marcus") 并使用我使用的任一构造函数 newUser code> 设置为 true。

public class User() {
  public String userName;
  public boolean newUser;
  User() {
    newUser = true;
  }
  User(String userName) {
    // Recursively call no-argument constructor
    this();
    this.userName = userName;
  }
}

这是没有递归构造函数的同样的事情。请注意重复的代码行：

public class User() {
  public String userName;
  public boolean newUser;
  User() {
    newUser = true;
  }
  User(String userName) {
    newUser = true;
    this.userName = userName;
  }
}

在以下非递归构造函数示例中，如果我不将名称传递到构造函数中，则该名称将设置为“New User”。如果我不设置名称，我只想调用无参数构造函数。如果我在这里进行递归构造函数调用，我最终会设置 userName 两次：

public class User() {
  public String userName;
  User() {
    this.userName = "New User";
  }
  User(String userName) {
    this.userName = userName;
  }
}

如果满足以下条件，您将只使用递归构造函数：

1. 有多个构造函数
2. 在构造函数中有代码
3. 希望递归地使用另一个构造函数中的代码

Answer 6

构造函数的返回类型是
无效。

不，不是。

构造函数可以使用 this() 调用自身（或任何其他构造函数）

。否。它只能调用其他构造函数，并且仅当这不会导致当前构造函数的递归调用时。这就是您收到您提到的错误消息的原因。

我们可以在之间使用非本地数据
连续通话仍有一些
递归可能带来的好处
构造函数。

如何？为什么要重新初始化一个对象？什么时候不能一次性按顺序完成？在 39 年的计算机编程和 20 年的 OO 中从未遇到过这个问题。

这样做有什么好处吗？
允许递归构造函数吗？

你还没有想出任何...