不是必须，但public static final是定义常量的标准写法：public提供访问，static确保类级共享，final保证不可变；其中基本

类型和String字面量为编译期常量，其余为运行期初始化。

Java中定义常量必须用final修饰吗？

不是“必须”，但这是最常用、最符合语义的方式。Java没有const关键字，final是语言层面唯一能表达“不可变”语义的修饰符。它作用于变量时，表示该引用不能再指向其他对象（对基本类型则是值不可变）。

• final修饰的变量必须在声明时、构造器中或实例初始化块里完成赋值，否则编译报错：variable might not have been initialized
• 仅用static不构成常量——它只是类级别共享，值仍可被修改
• 真正意义上的“常量”通常同时使用public static final，比如Math.PI

public static final为什么是常量的标准写法？

三个修饰符各自承担明确职责： public开放访问，static保证类加载时就存在且不依赖实例，final锁定值。三者组合后，JVM会将该字段视为编译期常量（前提是基本类型或String字面量），并可能做内联优化。

• 非String或基本类型的static final对象（如new Date()），不会被当作编译期常量，其初始化发生在类初始化阶段
• 如果常量值依赖运行时计算（比如读配置文件），就不能用static final直接赋值，需改用static + 私有初始化方法
• 命名惯例：全大写+下划线分隔，如MAX_RETRY_COUNT，IDE和静态检查工具（如Checkstyle）会据此识别常量

常见错误：把final对象误当成“内容不可变”

final只约束引用本身，不约束对象内部状态。例如final List list = new ArrayList();之后，你依然可以调用list.add("a")——编译器不会报错。

• 要真正冻结内容，得用不可变容器：Collections.unmodifiableList(...)或ImmutableList.of(...)（Guava）
• 自定义类若想成为“真常量”，需满足：所有字段private final、无公开修改方法、不提供可变对象的引用（防御性拷贝）
• 枚举类（enum）天然适合定义常量集，每个枚举实例都是public static final的，且类本身不可继承

public class Constants {
    // ✅ 编译期常量（字符串字面量）
    public static final String APP_NAME = "MyApp";

    // ✅ 运行时常量（需确保构造安全）
    public static final BigDecimal TAX_RATE = new BigDecimal("0.08");

    // ❌ 错误：list引用不可变，但内容可变
    public static final List NAMES = new ArrayList<>();

    // ✅ 正确：返回不可修改视图
    public static final List FIXED_NAMES = Collections.unmodifiableList(Arrays.asList("A", "B"));
}

Java常量看似简单，但final的语义边界、编译期 vs 运行期初始化、以及“不可变性”的层级（引用级 / 内容级 / 结构级）容易混淆。尤其在多线程或序列化场景下，一个没加unmodifiable的final List可能成为隐蔽的并发bug来源。