java final 详解

简介: 简介final是java的关键字,可以声明成员变量、方法、类以及本地变量,它所表示的是“这部分是无法修改的”。不想被改变的原因有两个:效率、设计。final作用于方法final 修饰方法,则表明该方法不能被重写(override),所以对于 final 方法使用的第一个原因是针对设计的,进行方法锁定,以防止任何子类来对它的修改.

简介

final是java的关键字,可以声明成员变量、方法、类以及本地变量,它所表示的是“这部分是无法修改的”。不想被改变的原因有两个:效率、设计。

final作用于方法

final 修饰方法,则表明该方法不能被重写(override),所以对于 final 方法使用的第一个原因是针对设计的,进行方法锁定,以防止任何子类来对它的修改.

final 方法, 在某些情况下可以对执行效率产生帮助.对于被修饰为final的方法,在编译器期的时候,有可能会进行内联(inline)优化.

内联调用:

是编译器为程序做的一种优化操作.虚拟机不再执行正常的方法调用(参数压栈,跳转到方法处执行,再调回,处理栈参数,处理返回值),而是直接将方法展开,以方法体中的实际代码替代原来的方法调用。这样减少了方法调用的开销。

  1. 如果方法被多次调用,或者内联的方法将会被多次拷贝,会相应的增加内存占用. 这是一种空间置换时间的一个策略.
  2. 如果方法体代码量过大,拷贝的次数过多,那么将反而达不到优化的目的.
  3. 对于final方法是否进行内联,由编译器决定,并不是所有的final方法都会被内联.
  4. 编译器进行内联优化,并不只针对final方法, 如单行实现的方法也可能被内联.

final作用于类

如果某个类用 final 修改,表明该类是最终类,它不希望也不允许其他来继承它。在程序设计中处于安全或者其他原因,我们不允许该类存在任何变化,也不希望它有子类,这个时候就可以使用 final 来修饰该类了.

final修饰的类,其成员方法也会自动加上final修饰,而成员变量不受影响.

final作用于变量

final修饰变量分为两种情况, 一种是作用于基本数据类型;一种是作用于引用类型.

  1. 作用于基本数据类型

表示该变量的值不能被修改,在使用 javap -v反汇编后,可以发现它被标注为ConstantValue

static final java.lang.String sfs;
    descriptor: Ljava/lang/String;
    flags: ACC_STATIC, ACC_FINAL
    ConstantValue: String xxx
  1. 作用在引用类型

表示该对象的引用不能被更改.即该对象初始化后,不能在对其赋值为其他引用. 但是其引用的对象内容可以被更改.

final 对用于成员变量(Filed)在并发中作用

final的内存语义 : 只要对象是正确构造的(被构造对象的引用在构造函数中没有“逸出”),那么不需要使用同步(指lock和volatile的使用)就可以保证任意线程都能看到这个final域在构造函数中被初始化之后的值。

final域的重排序规则

  1. 在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序。

JMM禁止编译器把final域的写重排序到构造函数之外.

编译器会在final域的写之后,构造函数return之前,插入一个StoreStore屏障。这个屏障禁止处理器把final域的写重排序到构造函数之外。

  1. 初次读取一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能重排序。

在一个线程中,初次读对象引用与初次读该对象包含的final域,JMM禁止处理器重排序这两个操作(注意,这个规则仅仅针对处理器)。
编译器会在读final域操作的前面插入一个LoadLoad屏障。

构造函数"逸出" : 在构造函数内部,这个被构造对象的引用为其他线程所见.如构造函数中将this赋值给成员变量.

public class FinalReference {
    final  int            i;
    static FinalReference obj;

    public FinalReference() {
        i = 1;                  // 1. 写final域
        obj = this;             // 2. this引用在此"逸出"
    }

    public static void writer() {
        new FinalReference();
    }

    public static void reader() {
        if (obj != null) {      // 3.
            int temp = obj.i;   // 4.
        }
    }
}

构造函数"逸出",将不能保证final语义.
在构造函数返回前,被构造对象的引用不能为其他线程所见,因为此时的final域可能还没有被初始化。

引用

  1. java并发编程的艺术
  2. Final of Java,这一篇差不多了
目录
相关文章
|
13天前
|
Java 程序员
Java 面试高频考点:static 和 final 深度剖析
本文介绍了 Java 中的 `static` 和 `final` 关键字。`static` 修饰的属性和方法属于类而非对象,所有实例共享;`final` 用于变量、方法和类,确保其不可修改或继承。两者结合可用于定义常量。文章通过具体示例详细解析了它们的用法和应用场景。
21 3
|
11天前
|
存储 安全 Java
了解final关键字在Java并发编程领域的作用吗?
在Java并发编程中,`final`关键字不仅用于修饰变量、方法和类,还在多线程环境中确保对象状态的可见性和不变性。本文深入探讨了`final`关键字的作用,特别是其在final域重排序规则中的应用,以及如何防止对象的“部分创建”问题,确保线程安全。通过具体示例,文章详细解析了final域的写入和读取操作的重排序规则,以及这些规则在不同处理器上的实现差异。
了解final关键字在Java并发编程领域的作用吗?
|
21天前
|
Java 编译器
在Java中,关于final、static关键字与方法的重写和继承【易错点】
在Java中,关于final、static关键字与方法的重写和继承【易错点】
19 5
|
26天前
|
缓存 安全 Java
Java中 final、finally、finalize 有什么区别?
本文详细阐述了Java中`final`、`finally`和`finalize`的区别:`final`用于修饰类、方法和变量以表示不可变性;`finally`是用于确保在`try-catch`结构中无论是否发生异常都能执行的代码块;而`finalize`是`Object`类的方法,用于在对象被垃圾回收前执行清理工作,但在JDK 9中已被标记为弃用。
18 0
Java中 final、finally、finalize 有什么区别?
|
26天前
|
Java
Java关键字 —— static 与 final 详细解释!一看就懂 有代码实例运行!
这篇文章详细解释了Java中static和final关键字的用法,包括它们修饰类、方法、变量和代码块时的行为,并通过代码示例展示了它们的具体应用。
109 0
Java关键字 —— static 与 final 详细解释!一看就懂 有代码实例运行!
|
24天前
|
存储 安全 Java
了解final关键字在Java并发编程领域的作用吗?
了解final关键字在Java并发编程领域的作用吗?
|
25天前
|
Java 程序员 编译器
【Java】继承、super、final、子类构造方法
【Java】继承、super、final、子类构造方法
22 0
|
26天前
|
安全 Java 编译器
了解final关键字在Java并发编程领域的作用吗?
【10月更文挑战第8天】在Java并发编程中,`final`关键字具有重要作用,包括保证变量的可见性和不可变性,防止对象引用被意外修改,并帮助编译器优化读取操作及消除不必要的同步。通过确保变量不可变,`final`增强了多线程环境下的安全性与性能。
|
3月前
|
前端开发 JavaScript Java
【前端学java】java中final修饰符(6)
【8月更文挑战第9天】java中final修饰符(6)
35 2
|
3月前
|
Java Android开发
解决Android编译报错:Unable to make field private final java.lang.String java.io.File.path accessible
解决Android编译报错:Unable to make field private final java.lang.String java.io.File.path accessible
378 1