【Java原理系列】 final 关键字的原理和示例

final 关键字的原理和示例

1.final 修饰类：

• 当一个类被声明为 final 时，表示该类是不可被继承的。
• 原理：编译器在编译阶段会检查是否有其他类试图继承被标记为 final 的类，如果存在则报错。
• 示例：

  final class FinalClass {
      // 类定义...
  }
  
  // 下面的代码会报错，无法继承 FinalClass
  class SubClass extends FinalClass {
      // 子类定义...
  }
  

2. final 修饰方法：

• 当一个方法被声明为 final 时，表示该方法是不可被子类重写的。
• 原理：编译器在编译阶段会检查是否有子类试图重写被标记为 final 的方法，如果存在则报错。
• 示例：

  class ParentClass {
      public final void finalMethod() {
          // 方法实现...
      }
  }
  
  class ChildClass extends ParentClass {
      // 下面的代码会报错，无法重写 finalMethod
      public void finalMethod() {
          // 重写的方法实现...
      }
  }
  

3.final 修饰变量：

• 当一个变量被声明为 final 时，表示该变量的值是不可改变的。
• 原理：编译器在编译阶段会检查是否有试图修改被标记为 final 的变量的赋值操作，如果存在则报错。
• 示例：

  class ExampleClass {
      final int finalVariable = 10;
  
      public void modifyVariable() {
          // 下面的代码会报错，无法修改 finalVariable
          finalVariable = 20;
      }
  }
  

总结

通过使用 final 关键字，可以限制类的继承、方法的重写和变量的修改，以提高程序的安全性和稳定性。它在编译阶段进行静态检查，避免了潜在的错误。注意，final 关键字并非用于实现功能上的改变，而是为了约束和保护代码，使其更加健壮和可维护。