从汇编码理解final、static、static final-优快云博客

本文链接：https://blog.youkuaiyun.com/z13192905903/article/details/124611304

本文详细探讨了Java中final、static和staticfinal修饰的字段特性。final修饰的变量在运行时可直接赋值（staticfinal）或在实例构造器中赋值（非static），赋值后不可变。static字段在初始化时先赋予默认值，然后在静态代码块或通过ConstantValue属性赋值。staticfinal字段则在类加载阶段通过ConstantValue属性直接赋值。了解这些区别对于深入理解Java内存管理和代码优化至关重要。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

实例代码

    public class FinalDemo {
        public final int finalState = 8;
        public int unFinalState = 2;
        public static int staticState = 3;
        public static final int allState = 4;
    
        public static void main(String[] args) {
            FinalDemo finalDemo = new FinalDemo();
            System.out.println(staticState);
            System.out.println(finalDemo.finalState);
            System.out.println(finalDemo.unFinalState);
            System.out.println(allState);
        }
    }

ConstantValue属性

ConstantValue属性的作用是通知虚拟机自动为静态变量赋值：
- 被final修饰的变量才会有该属性
- 在jvm规范中定义，只有static类型的字段才会赋值，非static字段则必须被虚拟机忽略
非static类型的变量赋值是在实例构造器方法中进行的
static类型的变量赋值分为两种，一种是静态代码块中赋值，另一种是使用ConstantValue属性直接赋值

为什么ConstantValue的属性值只限于基本类型和String？

从常量池中只能引用到基本类型和String类型的字面量

final、static、static final修饰的字段赋值的区别？

final修饰的属性，值加载到常量池中；在运行时，可以在初始化之前直接赋值（static final），或初始化时在实例构造器中赋值（非static），赋值后不可修改
static字段在初始化时，会赋予一个默认值（0或null），初始化阶段在静态代码块中才会赋予变量定义的值
static final修饰的字段在类加载阶段直接把ConstantValue的值赋给该字段