Java 面向对象知识整理

TL;DR

面向对象 3 大类型：类、接口、枚举。

面向对象 4 大修饰符：private | protected | public(互斥)、static、final、abstract。

面向对象 5 大成员：成员变量、方法、构造器、初始化块、内部类。

总述

面向对象编程(Object-Oriented Programming, 简称 OOP)是一种编程范式。

在面向对象编程中，有两个重要的概念：

• 类：一类事物的统称（例如动物类）
• 对象：某个类中的实例（例如狗、猫）

在一个类中，有成员变量(field)、方法(method)、构造器(constructor)、初始化块、内部类(nested class)五大成员。

牢记：

始终只定义你所关心的项目！

始终只定义你所关心的项目！

始终只定义你所关心的项目！

举个例子：现定义一个人类(Human)，成员变量可以有姓名(name)、性别(gender)、年龄(age)、身高(height)、体重(weight)等，方法可以有走(walk)、跑(run)、跳(jump)、吃(eat)等。

对应的 UML 图为：

初识面向对象

定义类

在 Java 中，定义类的统一格式如下：

[修饰符] class 类名 {
    // ...
}

其中，修饰符（可省略）中的访问权限只能为public（公开类），其他修饰符只能为final或abstract(抽象类)。

类名则为合法的标识符，一般采用大驼峰命名法来表示。（详见驼峰命名法）

成员变量

在 Java 中，定义成员变量的统一格式如下：

[修饰符] 类型 成员变量名 [= 初始值];

其中，修饰符（可省略）中的访问权限可以为public|protected|private。其他修饰符可以为final、static。

类型可以为任意的基本类型或引用类型。

成员变量名同样为合法的标识符，一般采用小驼峰命名法来表示。成员变量名通常为名词（如身高、体重）。

初始值可以省略，如不显式指定初始值则为该类型的默认值（数值型为0，布尔型为False，引用类型为null）。

方法

在 Java 中，方法必须定义在类中，不能单独存在。定义方法的统一格式如下：

[修饰符] 返回值类型 方法名( [形参列表] ) {
    // ...
    // 如果声明了返回值类型，必须有 return 语句
}

其中，修饰符（可省略）中的访问权限可以为public|protected|private。其他修饰符可以为final|abstract、static。

返回值类型可以为任意的基本类型或引用类型，也可以为void（无返回值）。

方法名为合法的标识符，一般采用小驼峰命名法来表示。方法名通常为动词（如走、跑）。

构造器

构造器的作用是在new一个对象时自动执行的方法。如果没有为类创建构造器，Java 会自动创建一个无参构造器。

在 Java 中，定义构造器的统一格式如下：

[修饰符] 类名( [形参列表] ) {
    // ...
}

注意：构造器名只能与类名相同，且不能写返回值类型

其中，修饰符（可省略）只能为public|protected|private。

关键字

访问控制

Java 面向对象中访问权限有 3 个（从小到大排序）：

• private：类访问权限，只能在该类中被访问（彻底隐藏）。
• 默认(不写)：包访问权限，只能在该类和该类所在的包中被访问（部分隐藏）。
• protected：子类访问权限，只能在该类、该类所在的包及该类的子类中被访问（部分暴露）。
• public：公共访问权限，该类可以在任意地方来访问（彻底暴露）。

	private	默认	protected	public
当前类	✅	✅	✅	✅
当前包	❌	✅	✅	✅
子类	❌	❌	✅	✅
任意	❌	❌	❌	✅

static

有static的成员属于类成员，无static的成员属于实例成员。static只能修饰成员变量、方法、初始化块、内部类。

使用static修饰的成员，通常使用类名.成员名访问。

注意：

• Java 允许通过实例对象来访问static成员，但并不推荐这么做。
• 非static成员可以访问static成员，相反，static成员不能调用非static成员。

this

this 引用

this可以出现在非static的方法、构造器中。用于代表当前正在使用的对象（谁调用他就代表谁）。

例如：

public class Flower {
  String color;
  public Flower() {
    this.color = "yellow"; // 创建对象时将颜色设置为 黄色
  }
  public void output() {
    System.out.println("已修改");
  }
  public void change() {
    this.color = "red";    // 将当前对象的颜色修改为 红色
    this.output();         // 调用当前对象中的 output 方法
  }
}

this 调用

可以通过this(参数)来调用该类的对应构造器，具体可见下方的构造器重载。

super

super 限定

与this 引用类似，super用于限定访问父类的实例变量、实例方法。

class Base {
  int foo = 20;
  public void bar() {
    System.out.println("Base中的foo方法");
  }
}
class Sub extends Base {
  int foo = 200;
  @Override
  public void bar() {
    System.out.println("Sub中的foo重写方法");
  }
  public void test() {
    System.out.println(foo);       // 200 (Sub类)
    System.out.println(this.foo);  // 200 (Sub类)
    System.out.println(super.foo); // 20 (Base类)

    bar();        // Sub中的foo重写方法 (Sub类)
    this.bar();   // Sub中的foo重写方法 (Sub类)
    super.bar();  // Base中的foo方法 (Base类)
  }
}

调用父类构造器

与this 调用类似，用于调用父类构造器。

子类构造器一定要调用父类构造器一次。如果子类构造器没有显式调用父类构造器，系统将在子类构造器开头自动调用父类无参构造。

class Fruit {
  private double weight;
  public Fruit(double weight) {
    this.weight = weight;
  }
}
class Apple extends Fruit {
  private String name;
  public Apple(double weight, String name) {
    super(weight);
    this.name = name;
  }
}

final

final可以修饰变量（成员变量、局部变量）、方法、类。与abstract互斥。

final修饰变量

当final修饰变量时，必须为该变量赋初始值，且无法重新赋值（对象可以进行修改）。

• 当final修饰实例变量时，必须显式指定初始值，且只能在定义时、实例初始化块、各构造器其中的一个位置指定。
• 当final修饰类变量时，必须显式指定初始值，且只能在定义时、类初始化块其中的一个位置指定。

final的宏替换

当变量满足以下条件时，该变量出现的所有地方将会被替换成变量的值：

• 变量有final修饰
• 声明时指定了初始值
• 变量初始值可在编译时确定

final修饰方法

final修饰方法指不允许被子类重写，避免该方法被子类破坏。

final修饰类

final修饰类以后该类不允许派生子类。

abstract

abstract只能修饰类和方法，且与final互斥。

抽象类

抽象类指使用abstract修饰的类，主要作用是派生子类。

抽象类有以下特性：

• 抽象类可以有抽象方法。
• 抽象类无法创建对象。

public abstract class Test {}

抽象方法

抽象方法指只有方法签名，无方法体的方法。抽象方法必须被子类重写，否则不能被调用。

public abstract void test() // 不能有方法体

面向对象三大特征

封装

封装包含两方面含义：

• 隐藏：将内部实现细节隐藏
• 暴露：通过暴露的接口来操作对象。

封装的要求：合理隐藏，合理暴露。

封装主要是通过访问控制修饰符来实现

在 Java 中，实例变量通常使用private来修饰，将其隐藏。并提供相应的getter、setter方法，来控制该成员变量的访问。

如下代码所示，User类中有一个成员变量（name），要求name的长度在 10 位以内。

class User {
  private String name;
  public void setName(String name){
    if (name.length > 10) {
      System.out.println("名称长度必须在10位以内！");
      return;
    }
    this.name = name;
  }
  public String getName() {
    return this.name;
  }
}

继承

继承最大好处是代码复用。

Java 中继承是类与类之间的关系（而非对象与对象之间的关系），是一种由一般到特殊的关系（如苹果类(子类、派生类)继承了水果类(父类、超类、基类)），子类的实例可以当作父类的实例来使用。

在 Java 中，继承通过如下语法定义：

[修饰符] class 子类名 extends 父类 {
    // ...
}

注意：

• Java 是单继承父类，只能有 1 个直接继承的父类。
• 如果不显式继承父类，Java 默认继承Object类。

子类可以调用父类非private修饰的成员变量、方法（见上方访问控制表格）。

多态

多态是指同一个类型的多个实例，在执行同一个方法时，呈现出多种行为特征。

变量的类型

编译时类型：声明该变量时指定的类型。在 Java 程序编译阶段，Java 编译器只认编译时类型。当调用子类有而父类没有的方法，且使用向上转型时，编译器将报错。

运行时类型：该变量实际所引用的类型。

向上转型

子类的对象可以直接赋值给父类变量，其可以自动完成。

例如，Ostrich类继承了Bird类，那么定义Ostrich实例时可以进行如下定义：

class Bird {
  public void fly() {
    System.out.println("飞咯~");
  }
}
class Ostrich extends Bird {
  @Override
  public void fly() {
    System.out.println("不会飞呀~");
  }
}
public class Test {
  public static void main(String[] args){
    Bird b1 = new Bird();
    Bird b2 = new Ostrich();

    b1.fly();  // 飞咯~
    b2.fly();  // 不会飞呀~
  }
}

向下转型 (强制转换)

当使用向上转型特性时，想要调用子类方法时，需要强制转换成对应类型。

class Bird {
  public void fly() {
    System.out.println("飞咯~");
  }
}
class Ostrich extends Bird {
  public void run() {
    System.out.println("跑得快呢");
  }
}
public class Test {
  public static void main(String[] args){
    Bird b1 = new Ostrich();

    // b1.run(); // 无法编译

    Ostrich b2 = (Ostrich) b1;
    b2.run(); // 正常编译
  }
}

注意：

• 强转运算符只能在编译类型具有继承关系的变量之间进行强转，否则编译将会报错（如String类型强转成Integer）。
• 如果在编译类型具有继承关系的变量之间转换时，如果被转变量的实际类型不是要转换的目标类型，程序就会引发ClassCastException异常。

instanceof

为了避免ClassCastException异常，Java 提供了instanceof运算符。格式是变量名 instanceof 类型，当变量所引用的对象是后面类或子类的实例时，返回true。

instanceof 只能在具有继承关系的变量之间进行强转，否则编译将会报错，故当变量与类之间没有关系时，也不会返回false。

例如：

class Fruit {}
class Apple {}
public class Test {
  public static void main(String[] args){
    Fruit fruit = new Apple();
    if(fruit instanceof Apple) {
      Apple apple = (Apple)fruit;
    }
  }
}

从 Java 16 开始，instanceof 运算符得到了升级。见本文最后Java 16 增强的 instanceof。

面向对象重点

方法重载

方法重载(Overload)指方法名相同，形参列表不同的方法。Java 通过参数类型来判断该方法是否为重载方法。修饰符不同或返回值类型不同的方法不能称为方法重载！

例如：

public void show() {
    System.out.println("哦吼？");
}
public void show(String name) {
    System.out.println("商品名："+ name);
}
public void show(String name, double price) {
    System.out.println("商品名：" + name + ", 价格：" + price);
}
public static void main(String[] args) {
    show();            // 哦吼？
    show("手机");       // 商品名：手机
    show("平板", 3000); // 商品名：平板, 价格：3000
}

构造器重载

构造器重载要求形参列表不同。

例如：

class Dog{
  private String name;
  private int age;
  public Dog(){
    // 无参构造
  }
  public Dog(String name){
    this.name = name;
  }
  public Dog(String name, int age){
    this.name = name;
    this.age = age;
  }
}

这里有个问题，就是当需要为某个成员统一修改时，可能需要一一修改构造器。例如，需要在name成员前添加Dog: 的前缀，需要一一修改构造器。

这里可以通过this(参数)来调用对应的构造方法。

class Dog{
  private String name;
  private int age;
  public Dog(){
    // 无参构造
  }
  public Dog(String name){
    this.name = "Dog: " + name;
  }
  public Dog(String name, int age){
    this(name);  // 调用 `public Dog(String)` 构造器
    this.age = age;
  }
}

方法重写

方法重写(Override)是指子类将父类的方法重写。方法重写要求方法名、形参列表相同，返回值类型、声明抛出的异常相同或更小(即子类)，访问权限相同或更大。

重写的方法通常使用@Override注解来修饰（避免重写错代码）。

例如：

class Bird {
  public void fly() {
    System.out.println("鸟飞咯");
  }
}
class Ostrich extends Bird {
  @Override
  public void fly() {
    System.out.println("鸵鸟不会飞……");
  }
}

toString 与 equals 方法

toString方法是将当前对象以文本的方式来表示出来，Java 默认的toString方法是类名@哈希码的格式，通常我们重写该方法将其内部的成员变量表示出来。

equals方法则是用于比较两个对象是否相同，Java 默认通过比较两个引用变量是否指向同一个对象，通常我们重写该方法使用该类的关键属性来比较。

class Person {
  private String name;
  private int age;
  // 有参构造
  public Person(String name, int age) {
    this.name = name;
    this.age = age;
  }
  // Getter / Setter 方法
  public void setName(String name) {
    this.name = name;
  }
  public void setAge(int age) {
    this.age = age;
  }
  public String getName() {
    return this.name;
  }
  public int getAge() {
    return this.age;
  }
  // toString 方法
  @Override
  public String toString() {
    return "Person[name=" + name 
         + ", age=" + age
         + "]";
  }
  // equals 方法
  @Override
  public boolean equals(Object obj) {
    if (this == obj) return true;  // 同一个对象
    if (obj != null && obj.getClass() == Person.class) {
      // obj不为null且obj和当前对象的类相同
      Person target = (Person) obj;
      return this.name.equals(target.getName())  
             // String类型需要使用equals方法比较
          && this.age == target.getAge();
    }
    return false;
  }
}

public class PersonTest {
  public static void main(String[] args) {
    Person p1 = new Person("王强", 18);
    Person p2 = new Person("王强", 18);
    Person p3 = new Person("张三", 30);

    System.out.println(p1);     // Person[name=王强, age=18]
    System.out.println(p2);     // Person[name=王强, age=18]
    System.out.println(p3.toString()); // Person[name=张三, age=30]

    if (p1.equals(p2))          // true
      System.out.println("p1和p2是同一个人");
  }
}

初始化块

初始化块的语法如下：

[修饰符] {
  // ...
}

其中修饰符只能出现static，无static修饰的称为实例初始化块，有static修饰的称为类初始化块。

实例初始化块

实例初始化块实际上是「假象」，块中所有代码在编译时将会被还原到每个构造器的最前面。左图为编译前的原始代码，右图为class文件反编译的代码。

实例初始化块的作用是将各个构造器前相同的代码抽离到实例初始化块，从而实现代码复用。

Something mysterious:

类初始化块

类初始化块负责对类进行初始化。当程序第一次主动使用(除了仅使用该类声明变量)该类时，系统会为该类分配内存空间，并调用类初始化块。程序运行时，该类初始化块只执行一次。

	执行次数	执行先后	执行时间
类初始化块	1 次	先	第一次主动使用该类
实例初始化块	N 次	后	每次调用构造器

抽象类

见上面abstract关键字

接口

接口相当于一个彻底抽象的类，体现一种规范。接口中所有东西都使用public修饰（通常省略）。接口支持多继承。

接口定义

接口的定义如下：

[修饰符] interface 接口名 [extends 父接口1, 父接口2, ...] {
  // 成员变量（常量，自动使用`public static final`修饰）
  // 抽象方法：Java 8 后支持类方法、默认方法（带有方法体的抽象方法，与实例方法类似）。
}

其中，修饰符只能为public。接口名命名规范基本与类名系统，通常使用形容词来定义。

public interface MyInterface {
  // 反编译后：
  // public static final int MAX_WEIGHT = 100;
  int MAX_WEIGHT = 100;
  
  void test();  // 抽象方法
  
  // Java 8 后的类方法
  static void staticMethod() {
    // ...
  }
  
  // Java 8 后的默认方法
  default void defaultMethod() {
    // ...
  }
}

使用接口

使用接口中成员变量、类方法时，与调用类成员相似，即接口名.成员名。

例如：

public class InterfaceTest {
  public static void main(String[] args) {
    System.out.println(MyInterface.MAX_WEIGHT); // 100
    MyInterface.staticMethod();
  }
}

实现接口

子类要么重写接口中所有抽象方法，要么定义为抽象类。

实现接口的格式如下：

[修饰符] class 类名 implements 父接口1 [, 父接口2, ...] {
  // 5大成员
}

以实现上方的接口为例：

public class Test implements MyInterface {
  @Override
  public void test() {
    // ... 
  }
}

private方法本质是实例方法。

内部类

内部类是在类体中定义的类。

class 外部类 {
  [修饰符] class 内部类 [extends 父类] [implements 接口] {
    // ...
  }
}

内部类与外部类的区别如下：

• 内部类与外部类相比可使用static、private、protected修饰符。
• 非静态内部类不能拥有静态成员（常量除外）。
• 内部类可以直接访问外部类私有成员，但静态内部类不能访问外部类的非静态成员。

内部类的意义：当某个类的实例必须依附于另一个类存在时，可使用内部类。且内部类可以提供更好的封装（可使用private修饰）。

内部类生成的文件名格式为：外部类$内部类.class

内部类区分同名变量

class Foo {
  int length = 20;
  class Bar {
    int length = 200;
    void foo() {
      int length = 2000;
      
      System.out.println(length);            // 2000
      System.out.println(this.length);       // 200
      System.out.println(Foo.this.length);   // 20
    }
  }
}

使用内部类

在外部类中使用内部类

基本与使用其他类相同，需要注意的是静态成员不能使用非静态内部类创建实例。

在外部类的外面使用静态内部类

该内部类不能使用private修饰

class Foo {
  public static class Bar {
    public static void test() {
      System.out.println("我来自Foo.Bar.test()");
    }
  }
}
public class Test {
  public static void main(String[] args) {
    Foo.Bar.test();  // 我来自Foo.Bar.test()
  }
}

在外部类的外面使用非静态内部类 (不常见)

class Foo {
  public class Bar {
    public void test() {
      System.out.println("非静态内部类");
    }
  }
}
public class Test{
  public static void main(String[] args) {
    Foo foo = new Foo();
    Foo.Bar fb = foo.new Bar();
    
    fb.test(); // 非静态内部类
  }
}

局部内部类

定义在方法中的内部类，不常用，略。

匿名内部类

匿名内部类指没有名字的类，无法复用。

匿名内部类的语法如下：

new 父类构造器(参数)|接口() {
  // 除了构造器，其他都可以定义
  // 但一般只实现抽象方法
}

注意：

• 匿名内部类必须显式继承父类，或实现一个接口。
• 匿名内部类不能是抽象类，因此必须实现抽象父类或接口中的所有抽象方法。

例如：

abstract class Foo {
  public abstract void test();
}
public class Bar {
  public static void main(String[] args) {
    Foo foo = new Foo() {
      @Override
      public void test() {
        System.out.println("匿名内部类");
      }
    };
    foo.test();  // 匿名内部类
  }
}

枚举

枚举的定义格式如下：

[修饰符] enum 枚举名 {
  // 第一行列出所有实例
  // 可以定义 5 大成员
}

修饰符只能为public。

枚举类与普通类的区别：

• 枚举默认已经继承Enum类，无法继承其他类。
• 枚举要么是final类，要么是abstract类。且 Java 会自动判断该类为final类还是abstract类。
• 枚举要求在开头列出所有实例

枚举类默认拥有以下方法：

• static Weekday[] values(): 返回所有枚举实例
• static Weekday valueOf(String)：根据枚举名返回枚举实例
• String name()：返回枚举实例的名称
• int ordinal()：返回枚举实例的序号

例如：

enum Weekday {
    SUN, MON, TUE, WED, THU, FRI, SAT; // 所有实例

    Weekday() {
        System.out.println("我来自构造器");
    }

    public void foo() {
        System.out.println("我来自枚举中的foo方法");
    }
}

public class EnumTest {
    public static void main(String[] args) {
        System.out.println(Weekday.WED);    // WED
        System.out.println(Arrays.toString(Weekday.values())); // [SUN, MON, TUE, WED, THU, FRI, SAT]

        Weekday d1 = Weekday.SUN;
        System.out.println(d1.ordinal());   // 0
        System.out.println(d1.name());      // SUN
        d1.foo();  // 我来自枚举中的foo方法

        Weekday d2 = Weekday.valueOf("TUE");
    }
}

枚举与switch

switch语句可以与枚举共同使用：

enum Weekday {
    SUN, MON, TUE, WED, THU, FRI, SAT;

    public void info() {
        switch (this) {
            case MON:
            case TUE:
            case WED:
            case THU:
            case FRI:
                System.out.println("上班哦");
                break;
            case SAT:
            case SUN:
                System.out.println("放假哦");
                break;
        }
    }
}

public class EnumTest {
    public static void main(String[] args) {
        Weekday day = Weekday.SUN;
        day.info(); // 放假哦
    }
}

枚举类与构造器

枚举定义后本质为public static final的常量：

// 编译前：
public enum Weekday {
  SUN, MON, TUE, WED, THU, FRI, SAT;
}

// 编译后
public final class Weekday extends Enum {
  public static final Weekday SUN = new Weekday();
  public static final Weekday MON = new Weekday();
  public static final Weekday TUE = new Weekday();
  public static final Weekday WED = new Weekday();
  public static final Weekday THU = new Weekday();
  public static final Weekday FRI = new Weekday();
  public static final Weekday SAT = new Weekday();

  private Weekday() {}
}

当然，我们可以自己手动编写构造器，其使用方式与正常类相似：

enum Weekday {
  SUN(false),
  MON(true),
  TUE(true),
  WED(true),
  THU(true),
  FRI(true),
  SAT(false);

  private final boolean isWorkday;
  
  Weekday(boolean isWorkday) {  // private 构造器
    this.isWorkday = isWorkday;
  }
}

N More Things

记录类

记录类(Record)是从 Java 16 正式引入的类型(JEP 395)。记录类会自动地为其添加有参构造、Getter、toString、equals和hashCode方法。

在 Java 16 之前，定义一个纯数据类可能需要如下代码：

class Point {
  private final int x;
  private final int y;

  Point(int x, int y) {
    this.x = x;
    this.y = y;
  }

  int x() { return x; }
  int y() { return y; }

  public boolean equals(Object o) {
    if (!(o instanceof Point)) return false;
    Point other = (Point) o;
    return other.x == x && other.y == y;
  }

  public int hashCode() {
    return Objects.hash(x, y);
  }

  public String toString() {
    return String.format("Point[x=%d, y=%d]", x, y);
  }
}

而引入Record类以后，该类可以简化为如下代码：

record Point(int x, int y) {}

当然，Record类能做的事不止这些。具体可以阅读JEP 395。

形参个数可变方法

在 Java 中，方法可以有可变长参数。该参数位于某一方法的最后一位。

例如，如下定义了一个形参个数可变方法：

public void test(String... sites){
  // ...
}

该方法中，定义了一个String类型的可变长参数。可变长参数本质上是一个数组。可变长参数只能位于形参列表的最后一位！

该方法可以通过如下方式调用：

test(new String[]{"GitHub", "Google", "Bing"}) // 方法 1
test("GitHub", "Google", "Bing")  // 方法2

使用Type...和Type[]的区别：前者可以通过两种方法调用，后者只能由方法 1 调用

Java 8函数式编程

见Java 函数式编程知识整理。

Java 9 接口的 private 方法

Java 8 中default方法本质是实例方法。在 Java 9 之前定义默认方法时，如果某些方法有公共部分，需要多次编写相同的代码。Java 9 以后，可以将重复的代码抽离出来，独立成private方法，同时实现隐藏。

例如：

public interface PrivateMethod {
  default void foo() {
    System.out.println("foo");
    common();
  }
  default void bar() {
    System.out.println("bar");
    common();
  }
  // 工具方法只被本类默认方法使用，并不希望暴露出去
  private void common() {
    for(var i = 0; i < 10; i++) {
      System.out.println("公共部分");
    }
  }
}

Java 16 增强的 instanceof

在 JEP 394中，instanceof运算符得到了升级。

从 Java 16 开始，可以通过变量名 instanceof 类名 新变量名判断该变量是否属于某个类的实例。如果属于，Java 将自动将其强制转换，并赋值到新的变量中。

Object obj = "test";

// Java 16 之前
if (obj instanceof String) {
    String s = (String) obj;
    // ...
}

// Java 16 及以后
if (obj instanceof String s) {
    // ...
}

当然，Java 16 增强的 instanceof 功能远远不止这些。具体阅读JEP 394。