Java 面向对象知识详解
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 中,定义类的统一格式如下:
1 | [修饰符] class 类名 { |
其中,修饰符(可省略)中的访问权限只能为public
(公开类),其他修饰符只能为final
或abstract
(抽象类)。
类名则为合法的标识符,一般采用大驼峰命名法来表示。(详见 驼峰命名法 )
成员变量
在 Java 中,定义成员变量的统一格式如下:
1 | [修饰符] 类型 成员变量名 [= 初始值]; |
其中,修饰符(可省略)中的访问权限可以为public
|protected
|private
。其他修饰符可以为final
、static
。
类型可以为任意的基本类型或引用类型。
成员变量名同样为合法的标识符,一般采用小驼峰命名法来表示。成员变量名通常为名词(如身高、体重)。
初始值可以省略,如不显式指定初始值则为该类型的默认值(数值型为0
,布尔型为False
,引用类型为null
)。
方法
在 Java 中,方法必须定义在类中,不能单独存在。定义方法的统一格式如下:
1 | [修饰符] 返回值类型 方法名( [形参列表] ) { |
其中,修饰符(可省略)中的访问权限可以为public
|protected
|private
。其他修饰符可以为final
|abstract
、static
。
返回值类型可以为任意的基本类型或引用类型,也可以为void
(无返回值)。
方法名为合法的标识符,一般采用小驼峰命名法来表示。方法名通常为动词(如走、跑)。
构造器
构造器的作用是在new
一个对象时自动执行的方法。如果没有为类创建构造器,Java 会自动创建一个无参构造器。
在 Java 中,定义构造器的统一格式如下:
1 | [修饰符] 类名( [形参列表] ) { |
注意:构造器名只能与类名相同,且不能写返回值类型
其中,修饰符(可省略)只能为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
的方法、构造器中。用于代表当前正在使用的对象(谁调用他就代表谁)。
例如:
1 | public class Flower { |
this 调用
可以通过this(参数)
来调用该类的对应构造器,具体可见下方的构造器重载。
super
super 限定
与this 引用类似,super
用于限定访问父类的实例变量、实例方法。
1 | class Base { |
调用父类构造器
与this 调用类似,用于调用父类构造器。
子类构造器一定要调用父类构造器一次。如果子类构造器没有显式调用父类构造器,系统将在子类构造器开头自动调用父类无参构造。
1 | class Fruit { |
final
final
可以修饰变量(成员变量、局部变量)、方法、类。与abstract
互斥。
final
修饰变量
当final
修饰变量时,必须为该变量赋初始值,且无法重新赋值(对象可以进行修改)。
- 当
final
修饰实例变量时,必须显式指定初始值,且只能在定义时、实例初始化块、各构造器其中的一个位置指定。 - 当
final
修饰类变量时,必须显式指定初始值,且只能在定义时、类初始化块其中的一个位置指定。
final
的宏替换
当变量满足以下条件时,该变量出现的所有地方将会被替换成变量的值:
- 变量有
final
修饰 - 声明时指定了初始值
- 变量初始值可在编译时确定
final
修饰方法
final
修饰方法指不允许被子类重写,避免该方法被子类破坏。
final
修饰类
final
修饰类以后该类不允许派生子类。
abstract
abstract
只能修饰类和方法,且与final
互斥。
抽象类
抽象类指使用abstract
修饰的类,主要作用是派生子类。
抽象类有以下特性:
- 抽象类可以有抽象方法。
- 抽象类无法创建对象。
1 | public abstract class Test {} |
抽象方法
抽象方法指只有方法签名,无方法体的方法。抽象方法必须被子类重写,否则不能被调用。
1 | public abstract void test() // 不能有方法体 |
面向对象三大特征
封装
封装包含两方面含义:
- 隐藏:将内部实现细节隐藏
- 暴露:通过暴露的接口来操作对象。
封装的要求:合理隐藏,合理暴露。
封装主要是通过访问控制修饰符来实现
在 Java 中,实例变量通常使用private
来修饰,将其隐藏。并提供相应的getter
、setter
方法,来控制该成员变量的访问。
如下代码所示,User
类中有一个成员变量(name
),要求name
的长度在 10 位以内。
1 | class User { |
继承
继承最大好处是代码复用。
Java 中继承是类与类之间的关系(而非对象与对象之间的关系),是一种由一般到特殊的关系(如苹果类(子类、派生类)继承了水果类(父类、超类、基类)),子类的实例可以当作父类的实例来使用。
在 Java 中,继承通过如下语法定义:
1 | [修饰符] class 子类名 extends 父类 { |
注意:
- Java 是单继承父类,只能有 1 个直接继承的父类。
- 如果不显式继承父类,Java 默认继承
Object
类。
子类可以调用父类非private
修饰的成员变量、方法(见上方访问控制表格)。
多态
多态是指同一个类型的多个实例,在执行同一个方法时,呈现出多种行为特征。
变量的类型
编译时类型:声明该变量时指定的类型。在 Java 程序编译阶段,Java 编译器只认编译时类型。当调用子类有而父类没有的方法,且使用向上转型时,编译器将报错。
运行时类型:该变量实际所引用的类型。
向上转型
子类的对象可以直接赋值给父类变量,其可以自动完成。
例如,Ostrich 类继承了Bird 类,那么定义Ostrich实例时可以进行如下定义:
1 | class Bird { |
向下转型 (强制转换)
当使用向上转型特性时,想要调用子类方法时,需要强制转换成对应类型。
1 | class Bird { |
注意:
- 强转运算符只能在编译类型具有继承关系的变量之间进行强转,否则编译将会报错(如
String
类型强转成Integer
)。 - 如果在编译类型具有继承关系的变量之间转换时,如果被转变量的实际类型不是要转换的目标类型,程序就会引发
ClassCastException
异常。
instanceof
为了避免ClassCastException
异常,Java 提供了instanceof
运算符。格式是变量名 instanceof 类型
,当变量所引用的对象是后面类或子类的实例时,返回true
。
instanceof 只能在具有继承关系的变量之间进行强转,否则编译将会报错,故当变量与类之间没有关系时,也不会返回false
。
例如:
1 | class Fruit {} |
从 Java 16 开始,instanceof 运算符得到了升级。见本文最后Java 16 增强的 instanceof。
面向对象重点
方法重载
方法重载(Overload
)指方法名相同,形参列表不同的方法。Java 通过参数类型来判断该方法是否为重载方法。修饰符不同或返回值类型不同的方法不能称为方法重载!
例如:
1 | public void show() { |
构造器重载
构造器重载要求形参列表不同。
例如:
1 | class Dog{ |
这里有个问题,就是当需要为某个成员统一修改时,可能需要一一修改构造器。例如,需要在name
成员前添加Dog:
的前缀,需要一一修改构造器。
这里可以通过this(参数)
来调用对应的构造方法。
1 | class Dog{ |
方法重写
方法重写(Override
)是指子类将父类的方法重写。方法重写要求方法名、形参列表相同,返回值类型、声明抛出的异常相同或更小(即子类),访问权限相同或更大。
重写的方法通常使用@Override
注解来修饰(避免重写错代码)。
例如:
1 | class Bird { |
toString 与 equals 方法
toString
方法是将当前对象以文本的方式来表示出来,Java 默认的toString
方法是类名@哈希码
的格式,通常我们重写该方法将其内部的成员变量表示出来。
equals
方法则是用于比较两个对象是否相同,Java 默认通过比较两个引用变量是否指向同一个对象,通常我们重写该方法使用该类的关键属性来比较。
1 | class Person { |
初始化块
初始化块的语法如下:
1 | [修饰符] { |
其中修饰符只能出现static
,无static
修饰的称为实例初始化块,有static
修饰的称为类初始化块。
实例初始化块
实例初始化块实际上是「假象」,块中所有代码在编译时将会被还原到每个构造器的最前面。左图为编译前的原始代码,右图为class
文件反编译的代码。
实例初始化块的作用是将各个构造器前相同的代码抽离到实例初始化块,从而实现代码复用。
类初始化块
类初始化块负责对类进行初始化。当程序第一次主动使用(除了仅使用该类声明变量)该类时,系统会为该类分配内存空间,并调用类初始化块。程序运行时,该类初始化块只执行一次。
执行次数 | 执行先后 | 执行时间 | |
---|---|---|---|
类初始化块 | 1 次 | 先 | 第一次主动使用该类 |
实例初始化块 | N 次 | 后 | 每次调用构造器 |
抽象类
见上面abstract
关键字
接口
接口相当于一个彻底抽象的类,体现一种规范。接口中所有东西都使用public
修饰(通常省略)。接口支持多继承。
接口定义
接口的定义如下:
1 | [修饰符] interface 接口名 [extends 父接口1, 父接口2, ...] { |
其中,修饰符只能为public
。接口名命名规范基本与类名系统,通常使用形容词来定义。
1 | public interface MyInterface { |
使用接口
使用接口中成员变量、类方法时,与调用类成员相似,即接口名.成员名
。
例如:
1 | public class InterfaceTest { |
实现接口
子类要么重写接口中所有抽象方法,要么定义为抽象类。
实现接口的格式如下:
1 | [修饰符] class 类名 implements 父接口1 [, 父接口2, ...] { |
以实现上方的接口为例:
1 | public class Test implements MyInterface { |
private
方法本质是实例方法。
内部类
内部类是在类体中定义的类。
1 | class 外部类 { |
内部类与外部类的区别如下:
- 内部类与外部类相比可使用
static
、private
、protected
修饰符。 - 非静态内部类不能拥有静态成员(常量除外)。
- 内部类可以直接访问外部类私有成员,但静态内部类不能访问外部类的非静态成员。
内部类的意义:当某个类的实例必须依附于另一个类存在时,可使用内部类。且内部类可以提供更好的封装(可使用private
修饰)。
内部类生成的文件名格式为:外部类$内部类.class
内部类区分同名变量
1 | class Foo { |
使用内部类
(1)在外部类中使用内部类
基本与使用其他类相同,需要注意的是静态成员不能使用非静态内部类创建实例。
(2)在外部类的外面使用静态内部类
该内部类不能使用private
修饰
1 | class Foo { |
(3)在外部类的外面使用非静态内部类 (不常见)
1 | class Foo { |
局部内部类
定义在方法中的内部类,不常用,略。
匿名内部类
匿名内部类指没有名字的类,无法复用。
匿名内部类的语法如下:
1 | new 父类构造器(参数)|接口() { |
注意:
- 匿名内部类必须显式继承父类,或实现一个接口。
- 匿名内部类不能是抽象类,因此必须实现抽象父类或接口中的所有抽象方法。
例如:
1 | abstract class Foo { |
枚举
枚举的定义格式如下:
1 | [修饰符] enum 枚举名 { |
修饰符只能为public
。
枚举类与普通类的区别:
- 枚举默认已经继承
Enum
类,无法继承其他类。 - 枚举要么是
final
类,要么是abstract
类。且 Java 会自动判断该类为final
类还是abstract
类。 - 枚举要求在开头列出所有实例
枚举类默认拥有以下方法:
static Weekday[] values()
: 返回所有枚举实例static Weekday valueOf(String)
:根据枚举名返回枚举实例String name()
:返回枚举实例的名称int ordinal()
:返回枚举实例的序号
例如:
1 | enum Weekday { |
枚举与switch
switch
语句可以与枚举共同使用:
1 | enum Weekday { |
枚举类与构造器
枚举定义后本质为public static final
的常量:
1 | // 编译前: |
当然,我们可以自己手动编写构造器,其使用方式与正常类相似:
1 | enum Weekday { |
N More Things
记录类
记录类(Record)是从 Java 16 正式引入的类型( JEP 395 )。记录类会自动地为其添加有参构造、Getter、toString
、equals
和hashCode
方法。
在 Java 16 之前,定义一个纯数据类可能需要如下代码:
1 | class Point { |
而引入Record
类以后,该类可以简化为如下代码:
1 | record Point(int x, int y) {} |
当然,Record
类能做的事不止这些。具体可以阅读 JEP 395 。
形参个数可变方法
在 Java 中,方法可以有可变长参数。该参数位于某一方法的最后一位。
例如,如下定义了一个形参个数可变方法:
1 | public void test(String... sites){ |
该方法中,定义了一个String
类型的可变长参数。可变长参数本质上是一个数组。可变长参数只能位于形参列表的最后一位!
该方法可以通过如下方式调用:
1 | test(new String[]{"GitHub", "Google", "Bing"}) // 方法 1 |
使用Type...
和Type[]
的区别:前者可以通过两种方法调用,后者只能由方法 1 调用
Java 8 函数式编程
见 Java 函数式编程知识整理 。
Java 9 接口的 private 方法
Java 8 中default
方法本质是实例方法。在 Java 9 之前定义默认方法时,如果某些方法有公共部分,需要多次编写相同的代码。Java 9 以后,可以将重复的代码抽离出来,独立成private
方法,同时实现隐藏。
例如:
1 | public interface PrivateMethod { |
Java 16 增强的 instanceof
在 JEP 394中,instanceof
运算符得到了升级。
从 Java 16 开始,可以通过变量名 instanceof 类名 新变量名
判断该变量是否属于某个类的实例。如果属于,Java 将自动将其强制转换,并赋值到新的变量中。
1 | Object obj = "test"; |
当然,Java 16 增强的 instanceof 功能远远不止这些。具体阅读 JEP 394 。