final原理

文章目录

  • [1. 设置 final 变量的原理](#1. 设置 final 变量的原理)
  • [2. 获取 final 变量的原理](#2. 获取 final 变量的原理)

1. 设置 final 变量的原理

理解了 volatile 原理,再对比 final 的实现就比较简单了

java 复制代码
public class TestFinal {
	 final int a = 20;
}

字节码

java 复制代码
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: aload_0
5: bipush 20
7: putfield #2 // Field a:I
    <-- 写屏障
10: return

发现 final 变量的赋值也会通过 putfield 指令来完成,同样在这条指令之后也会加入写屏障,保证在其它线程读到它的值时不会出现为 0 的情况

写屏障可以保证两点:

  1. 可以保证写屏障之前的指令不会被重排序到写屏障后面去
  2. 保证写屏障之前的修改操作,赋值操作,在写屏障之后可以同步到主存,对其他线程可见

2. 获取 final 变量的原理

java 复制代码
public class TestFinal {
    final static int A = 10;
    final static int B = Short.MAX_VALUE+1;

    final int a = 20;
    final int b = Integer.MAX_VALUE;

    final void test1() {
        final int c = 30;
        new Thread(()->{
            System.out.println(c);
        }).start();

        final int d = 30;
        class Task implements Runnable {

            @Override
            public void run() {
                System.out.println(d);
            }
        }
        new Thread(new Task()).start();
    }

}

class UseFinal1 {
    public void test() {
        System.out.println(TestFinal.A);
        System.out.println(TestFinal.B);
        System.out.println(new TestFinal().a);
        System.out.println(new TestFinal().b);
        new TestFinal().test1();
    }
}

class UseFinal2 {
    public void test() {
        System.out.println(TestFinal.A);
    }
}

从字节码中才能看出来,

在这个测试中,如果TestFinal中的A加了final,那么类UseFinal1中使用A的时候就发现,TestFinal直接把A复制了一份放在了UseFinal1的栈中,如果不加final,那么UseFinal1使用A的时候要调用GETSTATIC方法去获取。

同理TestFinal中的B,虽然是个很大的数,但是加了final,UseFinal1在使用的时候,发现是从常量池中取得(就是复制到常量池中了),要是不加final,UseFinal1使用的时候,还是要GETSTATIC。

这就是读取final变量时的优化。简单地说,其实就是相当于复制一份直接给用的那个人。

相关推荐
hello早上好20 分钟前
CGLIB代理核心原理
java·spring
魔镜魔镜_谁是世界上最漂亮的小仙女21 分钟前
java-web开发
java·后端·架构
爱吃小土豆豆豆豆22 分钟前
定时器和守护线程
java
Zhen (Evan) Wang27 分钟前
(豆包)xgb.XGBRegressor 如何进行参数调优
开发语言·python
虾球xz41 分钟前
CppCon 2018 学习:THE MOST VALUABLE VALUES
开发语言·c++·学习
Seven9742 分钟前
了解GC吗?什么是GC?
java
Edingbrugh.南空1 小时前
Flink ClickHouse 连接器维表源码深度解析
java·clickhouse·flink
掘金-我是哪吒1 小时前
分布式微服务系统架构第157集:JavaPlus技术文档平台日更-Java多线程编程技巧
java·分布式·微服务·云原生·架构
飞翔的佩奇1 小时前
Java项目:基于SSM框架实现的忘忧小区物业管理系统【ssm+B/S架构+源码+数据库+毕业论文+开题报告】
java·数据库·mysql·vue·毕业设计·ssm框架·小区物业管理系统
阿蒙Amon1 小时前
C#扩展方法全解析:给现有类型插上翅膀的魔法
开发语言·c#