JavaSE-面向对象-构造器

🔍：构造器 (Constructor) 的作用？为什么不能被继承？

构造器

🎯 What

对象的出生证明

→ 本质：确保对象从创建瞬间就处于有效状态的强制初始化契约

✅ 核心职责

状态初始化：为所有实例字段赋予合法初始值
不变性建立：保证对象创建后即满足业务规则约束
资源准备：打开连接、加载配置等

❌ 关键澄清

误解	真相
"构造器是普通方法"	无返回类型，字节码中为特殊方法`<init>`
"子类会继承父类构造器"	子类必须显式调用父类构造器
"默认构造器总是存在"	有其他构造器时，编译器不生成默认构造器

⚙️ How

java 复制代码

class Student {
    private String name;
    private int age;
    
    // ✅ 无参构造器：编译器自动生成（如果没有其他构造器）
    public Student() {
        this("Unknown", 0); // 构造器链：复用逻辑
    }
    
    // ✅ 有参构造器：建立对象不变性
    public Student(String name, int age) {
        if (age < 0) throw new IllegalArgumentException("Invalid age");
        this.name = name;
        this.age = age;
    }
}

class Graduate extends Student {
    private String thesis;
    
    // ✅ 正确：super()必须是第一行
    public Graduate(String name, int age, String thesis) {
        super(name, age); // 先建立父类状态
        this.thesis = thesis; // 再初始化子类状态
    }
    
    // ❌ 经典错误：super()不在第一行（编译失败）
    public Graduate(String thesis) {
        this.thesis = thesis; // Error: must call super() first
        super("Unknown", 0); // Invalid position
    }
}

⚡ 三条铁律

规则	原因	示例
`super()`/`this()`必须首行	JVM要求父类状态先于子类建立	`super()`必须在构造器第一行
构造器不被继承	每个类独占初始化控制权	子类不能重写父类构造器
无返回类型	与普通方法的本质区分	`void Student()`是普通方法

💡 Why

安全设计与对象完整性

🔐 为什么不能被继承？

java 复制代码

class Account {
    private double balance;
    
    // 父类构造器：确保余额合法
    public Account(double balance) {
        if (balance < 0) throw new IllegalArgumentException("Negative balance");
        this.balance = balance;
    }
}

class SavingsAccount extends Account {
    // ❌ 如果构造器被继承：
    // public SavingsAccount(double balance) { /* 父类逻辑 */ }
    
    // ✅ 真相：必须显式调用
    public SavingsAccount(double balance, double interestRate) {
        super(balance); // 强制验证父类约束
        if (interestRate < 0) throw new IllegalArgumentException("Negative rate");
    }
}

根本原因：

安全边界：父类构造器验证关键约束，若被继承，子类可能绕过这些验证
状态完整性：对象必须从创建起就完整有效，不能处于"半初始化"状态
JVM保障 ：通过invokespecial指令直接调用构造器，不参与多态分派

🌟 设计哲学

"对象要么完整有效，要么不存在"

构造器是唯一能保证这一原则的机制

总结

✅ 构造器 = 对象创建的必经关卡
✅ super()第一行 = 先建父类，再扩子类
✅ 不被继承 = 每个类守护自己的初始化逻辑
💡 终极口诀 ：
"构造建状态，安全是底线；
子类不继承，super显担当"
🎯 打开即用 ：
写构造器时，永远先问：这个对象创建后必须满足什么基本条件？