Java 类怎么可能没有无参构造函数呢？

Question

Oracle Java 教程网站有这样一段让我困惑的内容：

所有类都至少有一个 构造函数。如果一个类没有 显式声明任何，Java 编译器自动提供一个 无参构造函数，称为 默认构造函数。这个默认的 构造函数调用父类的 无参构造函数，或对象 如果类没有其他构造函数 父母。如果家长没有 构造函数（对象确实有一个）， 编译器将拒绝该程序。

如果所有对象都直接或间接继承自 Object，如何可能引发所说的编译器拒绝？这与构造函数是私有的有关系吗？

Answer 1

如果所有对象直接或间接继承自 Object，如何可能引发所说的编译器拒绝？

我认为您误解的基础是您认为构造函数是继承的。事实上，Java 中的构造函数不是继承的。因此，请考虑以下示例：

public class A {
    public A(int i) { super(); ... }
}

public class B extends A {
    public B() { super(); ... }
}

类 A：

• 不从 Object 继承任何构造函数，
• 不显式声明无参数构造函数（即 public A() {...}），并且
• 没有默认构造函数（因为它确实声明了另一个构造函数）。

因此，它有且仅有一个构造函数：public A(int)。

对 B 类中的 super() 的调用尝试在 A 中使用不存在的无参数构造函数，并给出编译错误。要解决此问题，您需要更改 B 构造函数以使用 A(int) 构造函数，或者在 A 中声明显式无参数构造函数代码>.

（顺便说一句，构造函数没有必要显式调用超类构造函数......就像我所做的那样。但是很多人认为包含显式调用是一种很好的风格。如果您忽略它，Java 编译器会插入对超类无参数构造函数的隐式调用……如果无参数构造函数不存在或对子类不可见，则会导致编译错误。）

这与构造函数是私有的有关吗？

不直接。但是，将构造函数声明为私有将阻止从子类调用该构造函数。

Answer 2

要理解的关键是，如果类还没有构造函数，则仅会自动生成无参数构造函数。

因此，创建一个没有无参数构造函数的类很容易。

Answer 3

思考这个问题的最简单方法如下：

1. Java 为您创建的任何类提供非参数构造函数作为默认构造函数。

2. 当你创建一个带有参数的自定义构造函数时，Java 会说“嘿，这个类有一个自定义构造函数，所以我不会费心创建/提供默认的非参数构造函数！ ”

3. 因此，现在您的类没有默认的非参数构造函数。

4. 这意味着当您根据您的类创建子类时，您需要显式调用您创建的基于参数的自定义构造函数。

Answer 4

如果您有子类的子类

class A 
{
    A(int i) {..}
}

class B extends A 
{
}

这里插入到 B 中的默认构造函数将尝试调用 A 的无参数构造函数（该构造函数不存在），因为它只有一个构造函数接受一个争论

Answer 5

对象的直接超类必须具有受保护或公共构造函数（或者根本没有构造函数，在这种情况下将创建一个构造函数）。因此，如果我创建一个扩展 Object 的类，仅使用私有构造函数，那么没有任何东西能够扩展我的类。

Answer 6

是的。私有构造函数是特殊的实例构造函数。它通常用于仅包含静态成员的类。如果一个类有一个或多个私有构造函数并且没有公共构造函数，则不允许其他类（嵌套类除外）创建该类的实例。

私有构造函数的声明可以防止自动生成默认构造函数。

编辑：

在另一个类中定义的类
称为嵌套类。和其他人一样
类的成员，嵌套类可以
是否声明为静态。一个
非静态嵌套类称为
内部类。 内部实例
类只能存在于一个
其封闭类的实例和
可以访问其封闭类的
即使他们被宣布为成员
私人。

Answer 7

这意味着，如果您从一行类继承，该类将默认的无参数构造函数设为私有（或者例如它不存在），则您的子类必须声明一个与其父类的替代构造函数一致的构造函数构造函数。

例如，不允许使用以下 Bar 声明：

public class Foo {
  private Foo() {  } // or this doesn't even exist
  public Foo(int i) {
  }
}
public class Bar extends Foo {
}

Answer 8

让我在上述所有内容中附加一个更有趣的情况，其中默认/无参数构造函数是不可行的，从某种意义上说，除非显式声明它，否则编译器无法假设它，但它与子类化无关。这是一个带有 final 字段的类的情况，该字段需要构造函数来初始化它。例如：

class Foo extends Object {
    private final Object o;

    public Foo(Object o){
       this.o = o;
    }
}

在这里很容易看出 Foo 对象的实例化需要最终字段 o 的初始化，因此任何 Foo() 的调用 - 直接或不 -注定要失败...让我强调一下，超类 (Object) 中的无参数构造函数存在并且可以公开访问，但它是最终字段 (o< /code>），在 Foo 中停用它。