Java final修饰变量存储在哪里
在Java中，final关键字可以用来修饰变量、方法和类。当我们将final关键字用于变量时，它表示该变量的值不能再被改变。那么，final修饰的变量到底存储在哪里呢？本文将详细解答这个问题，并通过代码示例进行说明。
final修饰的变量存储位置
在Java中，final修饰的变量的存储位置取决于它的类型。如果final修饰的变量是基本数据类型，它的值将直接存储在栈内存中。而如果final修饰的变量是引用类型，它的值将存储在堆内存中，而该引用变量本身存储在栈内存中。
下面我们通过代码示例来验证这一点。首先，我们定义一个基本数据类型int和一个引用类型String，并分别用final修饰它们：
public class FinalVariableExample {
public static void main(String[] args) {
final int num = 10;
final String str = "Hello";
// 修改final修饰的基本数据类型变量的值将会导致编译错误
// num = 20;
// 修改final修饰的引用类型变量的值是允许的
str = "World";
}
}
运行以上代码会导致编译错误，因为我们试图修改final修饰的基本数据类型变量的值。而修改final修饰的引用类型变量的值是允许的。这是因为final修饰的引用类型变量保存的是对象引用，在堆内存中的对象本身是可以修改的。
final修饰的变量与常量池
除了栈内存和堆内存之外，Java还有一个特殊的存储区域叫做常量池。常量池用于存储字符串常量和字面量，包括final修饰的字符串常量。当我们使用final修饰一个字符串常量时，它的值将会被保存在常量池中。
public class FinalConstantExample {
public static void main(String[] args) {
final String str1 = "Hello";
String str2 = "Hello";
String str3 = new String("Hello");
// str1和str2指向同一个常量池中的字符串对象
System.out.println(str1 == str2); // 输出true
// str1和str3指向不同的对象，因为使用了new关键字
System.out.println(str1 == str3); // 输出false
}
}
在以上代码中，我们用final修饰了一个字符串常量str1，然后又定义了一个字符串变量str2并赋值为相同的字符串。通过使用==运算符比较两个字符串对象的引用，我们可以看到它们指向了同一个常量池中的字符串对象。
另外，我们使用new关键字创建了另一个String对象str3，并赋值为相同的字符串。因为使用了new关键字，str3指向的是堆内存中的新对象，而不是常量池中的字符串对象。因此，str1和str3的引用是不相等的。
final修饰的变量与线程安全
由于final修饰的变量的值不能被改变，它具有很好的线程安全性。当多个线程同时访问一个final修饰的共享变量时，不需要进行任何同步操作就可以确保变量的值是一致的。
public class FinalThreadSafeExample {
private final int num;
public FinalThreadSafeExample(int num) {
this.num = num;
}
public int getNum() {
return num;
}
}
public class Main {
public static void main(String[] args) {
FinalThreadSafeExample example = new FinalThreadSafeExample(10);
// 创建多个线程同时访问final修饰的共享变量
for (int i = 0; i < 10; i++) {
new Thread(() -> {
System.out.println(example.getNum());
}).start();
}
}
