Java修饰符

 

前言

 

在 Java 开发中，abstract、static、final 是最核心、面试频率最高的三个修饰符，它们决定了类、方法、变量的生命周期与访问特性。本文从语法、内存、代码案例、执行顺序、面试考点全方位总结，适合 Java 初学者与进阶者收藏学习。

 

 

 

一、abstract（抽象）：定义标准，强制多态

 

 abstract  表示抽象、未实现，只能修饰类和方法，不能修饰变量。

 

1.1 抽象类

 

- 语法： abstract class 类名 {} 

- 编译后生成独立  .class  文件

- 不能直接 new 对象，但可以声明引用类型

- 包含构造方法，供子类创建对象时初始化父类

- 可包含：成员变量、普通方法、抽象方法

 

1.2 抽象方法

 

- 只有方法声明，没有方法体（无 {}）

- 语法： 修饰符 abstract 返回值类型 方法名(参数列表); 

- 必须定义在抽象类中

- 子类继承抽象类，必须重写所有抽象方法，否则子类也必须是抽象类

 

1.3 抽象类作用

 

强制多态：父类定义规范，子类必须落地实现。

 

java

// 抽象类

abstract class Animal {

    // 抽象方法

    public abstract void eat();

}

 

// 子类必须重写所有抽象方法

class Dog extends Animal {

    @Override

    public void eat() {

        System.out.println("小狗吃骨头");

    }

}

 

public class TestAbstract {

    public static void main(String[] args) {

        // 抽象类不能实例化

        // Animal animal = new Animal(); 报错

        

        Animal animal = new Dog(); // 多态

        animal.eat();

    }

}

 

 

 

 

二、static（静态）：全类共享，属于类本身

 

 static  表示静态、全局，被修饰成员不依赖对象，全类共用一份，存储在方法区。

 

可修饰：属性、方法、代码块、内部类。

 

2.1 静态变量（类变量）

 

- 全类对象共享，不属于任何单个对象

- 推荐： 类名.静态变量  访问

- 不推荐使用对象调用

 

java

class MyClass {

    int value = 10; // 实例变量：对象独有，存堆内存

    static int b = 30; // 静态变量：全类共享，存方法区

}

 

public class TestStatic {

    public static void main(String[] args) {

        MyClass.b = 48; // 推荐用法

        

        MyClass mc1 = new MyClass();

        MyClass mc2 = new MyClass();

        

        System.out.println(mc1.value); // 10

        System.out.println(mc1.b); // 48（共享）

        System.out.println(mc2.b); // 48

    }

}

 

 

2.2 静态方法

 

- 调用： 类名.方法名() 

- 静态方法只能直接访问静态成员

- 静态方法不能使用 this/super

- 静态方法可继承、可隐藏，但没有多态

 

java

class Test {

    static int a = 10;

    int b = 20;

 

    // 静态方法

    public static void staticMethod() {

        System.out.println(a); // 可以访问静态

        // System.out.println(b); 错误！不能直接访问非静态

        // this 错误！

    }

}

 

 

2.3 静态代码块

 

- 格式： static {} 

- 类加载时执行，只执行一次

- 用于初始化静态资源

 

2.4 类加载时机（高频考点）

 

1. 第一次创建对象

2. 第一次访问静态成员

3. 子类加载会先加载父类

4. 仅声明引用不会触发类加载

 

2.5 对象创建完整执行顺序

 

1. 父类静态代码块

2. 子类静态代码块

3. 父类普通代码块 → 父类构造方法

4. 子类普通代码块 → 子类构造方法

 

 

 

三、final（最终）：不可改变，安全加固

 

 final  表示最终、不可修改，可修饰类、方法、变量。

 

3.1 final 变量（常量）

 

- 只能赋值一次，赋值后不可修改

- 引用类型：地址不可变，内容可变

- 实例常量赋值时机：- 声明时赋值

- 构造方法赋值（所有构造都要赋值）

- 普通代码块赋值

- 静态常量赋值时机：- 声明时赋值

- 静态代码块赋值

 

java

class Demo {

    // 直接赋值

    final int a = 10;

    

    static final int b;

    // 静态代码块赋值

    static {

        b = 20;

    }

}

 

 

3.2 final 方法

 

- 可继承，不能被重写

- 保护核心逻辑不被修改

 

3.3 final 类

 

- 不能被继承，没有子类

- 典型： String、System、Math 

 

 

 

四、三者核心区别（速查表）

 

修饰符 修饰类 修饰方法 修饰变量 核心特点 

abstract 不能实例化 无方法体 不能修饰 定义规范、强制多态 

static 不能修饰 静态方法 静态变量 全类共享、属于类 

final 不能被继承 不能重写 只能赋值一次 不可变、安全 

 

 

 

五、高频面试题（必背）

 

1. 抽象类有构造方法吗？

有，用于子类初始化父类。

2. 静态方法能访问非静态成员吗？

不能直接访问，可通过对象访问。

3. final 修饰的引用能改内容吗？

地址不能改，对象内容可以修改。

4. static 代码块执行几次？

类加载只执行一次。

5. String 为什么设计为 final？

安全、高效、支持常量池、不可被继承破坏。

6. abstract 与 static/final 可以共存吗？

都不能共存，相互矛盾。

 

 

 

六、总结

 

- abstract：定标准，不实现，强制子类重写。

- static：全类共享，属于类，优先加载。

- final：不可变，保安全，封实现。

 

三大修饰符是 Java 面向对象的基石，贯穿基础、集合、框架源码，吃透这篇，面试与开发都能更稳！