阿里面试题系列：工作5年，第一次这么清醒的理解final关键字？(2)-CSDN博客

本文链接：https://blog.csdn.net/2301_82242675/article/details/138882608

最后

分享一套我整理的面试干货，这份文档结合了我多年的面试官经验，站在面试官的角度来告诉你，面试官提的那些问题他最想听到你给他的回答是什么，分享出来帮助那些对前途感到迷茫的朋友。

面试经验技巧篇

经验技巧1 如何巧妙地回答面试官的问题
经验技巧2 如何回答技术性的问题
经验技巧3 如何回答非技术性问题
经验技巧4 如何回答快速估算类问题
经验技巧5 如何回答算法设计问题
经验技巧6 如何回答系统设计题
经验技巧7 如何解决求职中的时间冲突问题
经验技巧8 如果面试问题曾经遇见过，是否要告知面试官
经验技巧9 在被企业拒绝后是否可以再申请
经验技巧10 如何应对自己不会回答的问题
经验技巧11 如何应对面试官的“激将法”语言
经验技巧12 如何处理与面试官持不同观点这个问题
经验技巧13 什么是职场暗语

面试真题篇

真题详解1 某知名互联网下载服务提供商软件工程师笔试题
真题详解2 某知名社交平台软件工程师笔试题
真题详解3 某知名安全软件服务提供商软件工程师笔试题
真题详解4 某知名互联网金融企业软件工程师笔试题
真题详解5 某知名搜索引擎提供商软件工程师笔试题
真题详解6 某初创公司软件工程师笔试题
真题详解7 某知名游戏软件开发公司软件工程师笔试题
真题详解8 某知名电子商务公司软件工程师笔试题
真题详解9 某顶级生活消费类网站软件工程师笔试题
真题详解10 某知名门户网站软件工程师笔试题
真题详解11 某知名互联网金融企业软件工程师笔试题
真题详解12 国内某知名网络设备提供商软件工程师笔试题
真题详解13 国内某顶级手机制造商软件工程师笔试题
真题详解14 某顶级大数据综合服务提供商软件工程师笔试题
真题详解15 某著名社交类上市公司软件工程师笔试题
真题详解16 某知名互联网公司软件工程师笔试题
真题详解17 某知名网络安全公司校园招聘技术类笔试题
真题详解18 某知名互联网游戏公司校园招聘运维开发岗笔试题

资料整理不易，点个关注再走吧

本文已被CODING开源项目：【一线大厂Java面试题解析+核心总结学习笔记+最新讲解视频+实战项目源码】收录

需要这份系统化的资料的朋友，可以点击这里获取

}

能够在构造方法中赋值的原因是：对于一个普通成员属性赋值时，必须要先通过构造方法实例化该对象。因此作为该属性唯一的访问入口，JVM允许在构造方法中给final修饰的属性赋值。这个过程并没有违反final的原则。当然如果被修饰final关键字的属性已经初始化了值，是无法再使用构造方法重新赋值的。

反射破坏final规则

基于上述final关键字的基本使用描述，可以知道final修饰的属性是不可变的。

但是，通过反射机制，可以破坏final的规则，代码如下

public class TCCClass {

private final String name=“name”;

public static void main(String[] args) throws Exception {

TCCClass tcc=new TCCClass();

System.out.println(tcc.name);

Field name=tcc.getClass().getDeclaredField(“name”);

name.setAccessible(true);

name.set(tcc,“mic”);

System.out.println(name.get(tcc));

}

打印结果如下：

name

mic

知识点扩展

上述代码理论上来说应该是下面这种写法，因为通过反射修改tcc实例对象中的name属性后，应该通过实例对象直接打印出name的结果。

public static void main(String[] args) throws Exception {

TCCClass tcc=new TCCClass();

System.out.println(tcc.name);

Field name=tcc.getClass().getDeclaredField(“name”);

name.setAccessible(true);

name.set(tcc,“mic”);

System.out.println(tcc.name); //here

}

但是实际输出结果后，发现tcc.name打印的结果没有变化？

原因是：JVM在编译时期做的深度优化机制, 就把final类型的String进行了优化, 在编译时期就会把String处理成常量，导致打印结果不会发生变化。

为了避免这种深度优化带来的影响，我们还可以把上述代码修改成下面这种形式

public class TCCClass {

private final String name=(null == null ? "name" : "");

public static void main(String[] args) throws Exception {

    TCCClass tcc=new TCCClass();

    System.out.println(tcc.name);

    Field name=tcc.getClass().getDeclaredField("name");

    name.setAccessible(true);

    name.set(tcc,"mic");

    System.out.println(tcc.name);

}

打印结果如下:

name

mic

反射无法修改被final和static同时修饰的变量

把上面的代码修改如下。

public class TCCClass {

private static final String name=(null == null ? “name” : “”);

public static void main(String[] args) throws Exception {

TCCClass tcc=new TCCClass();

System.out.println(tcc.name);

Field name=tcc.getClass().getDeclaredField(“name”);

name.setAccessible(true);

name.set(tcc,“mic”);

System.out.println(tcc.name);

}

执行结果,执行之后会报出如下异常, 因为反射无法修改同时被static final修饰的变量:

Exception in thread “main” java.lang.IllegalAccessException: Can not set static final java.lang.String field org.example.cl03.TCCClass.name to java.lang.String

at sun.reflect.UnsafeFieldAccessorImpl.throwFinalFieldIllegalAccessException(UnsafeFieldAccessorImpl.java:76)

at sun.reflect.UnsafeFieldAccessorImpl.throwFinalFieldIllegalAccessException(UnsafeFieldAccessorImpl.java:80)

at sun.reflect.UnsafeQualifiedStaticObjectFieldAccessorImpl.set(UnsafeQualifiedStaticObjectFieldAccessorImpl.java:77)

at java.lang.reflect.Field.set(Field.java:764)

at org.example.cl03.TCCClass.main(TCCClass.java:13)

那么被final和static同时修饰的属性，能否被修改呢？答案是可以的！

修改代码如下：

public class TCCClass {

private static final String name=(null == null ? “name” : “”);

public static void main(String[] args) throws Exception {

TCCClass tcc=new TCCClass();

System.out.println(tcc.name);

Field name=tcc.getClass().getDeclaredField(“name”);

name.setAccessible(true);

Field modifiers = name.getClass().getDeclaredField(“modifiers”);

modifiers.setAccessible(true);

modifiers.setInt(name, name.getModifiers() & ~Modifier.FINAL);

name.set(tcc,“mic”);

modifiers.setInt(name, name.getModifiers() & ~Modifier.FINAL);

System.out.println(tcc.name);

}

具体思路是，把被修饰了final关键字的name属性，通过反射的方式去掉final关键字，代码实现

Field modifiers = name.getClass().getDeclaredField(“modifiers”);

modifiers.setAccessible(true);

modifiers.setInt(name, name.getModifiers() & ~Modifier.FINAL);

接着通过反射修改name属性，修改成功后，再使用下面代码把final关键字加回来

modifiers.setInt(name, name.getModifiers() & ~Modifier.FINAL);

为什么局部内部类和匿名内部类只能访问final变量

在了解这个问题之前，我们先来看下面这段代码

public static void main(String[] args) {

}

public void test(final int b) {

final int a = 10;

new Thread(){

public void run() {

System.out.println(a);

System.out.println(b);

};

}.start();

}

这段代码被编译后，会生成两个文件: FinalExample.class和FinalExample$1.class（匿名内部类）

通过反编译来看一下FinalExample$1.class这个类

class FinalExample$1 extends Thread {

FinalExample$1(FinalExample this$0, int var2, int var3) {

this.this$0 = this$0;

this.val$a = var2;

this.val$b = var3;

}

public void run() {

System.out.println(this.val$a);

System.out.println(this.val$b);

}

我们看到匿名内部类FinalExample$1的构造器含有三个参数，一个是指向外部类对象的引用，另外两个是int型变量，很显然，这里是将变量test方法中的形参b，以及常量a以参数的形式传进来，对匿名内部类中的拷贝（变量a和b的拷贝）进行赋值初始化。

也就是说，在run方法中访问的变量a和b，是局部变量a和b的一个副本，为什么这么设计？

在test方法中，有可能test方法执行结束且a和b的声明周期也结束了，但是Thread这个匿名内部类可能还未执行完，那么在Thread中的run方法中继续使用局部变量a和b就会有问题。但是又要实现这样的效果，怎么办呢？所以Java采用了复制的手段来解决这个问题。

但是这样一来，还是存在一个问题，就是test方法中的成员变量与匿名内部类Thread中的成员变量的副本出现数据不一致怎么办？

这样就达不到原本的意图和要求。为了解决这个问题，java编译器就限定必须将变量a和b限制为final变量，不允许对变量a和b进行更改（对于引用类型的变量，是不允许指向新的对象），这样数据不一致性的问题就得以解决了。

另外，如果我们这么写也是允许的，jvm会隐式给a和b增加final关键字。

public void test(int b) {

int a = 10;

new Thread(){

public void run() {

System.out.println(a);

System.out.println(b);

};

}.start();

}

final防止指令重排

final关键字，还能防止指令重排序带来的可见性问题；

对于final变量，编译器和处理器都要遵守两个重排序规则：

构造函数内，对一个 final 变量的写入，与随后把这个被构造对象的引用赋值给一个变量，这两个操作之间不可重排序。
首次读一个包含 final 变量的对象，与随后首次读这个 final 变量，这两个操作之间不可以重排序。

实际上这两个规则也正是针对 final 变量的写与读。

写的重排序规则可以保证，在对象引用对任意线程可见之前，对象的 final 变量已经正确初始化了，而普通变量则不具有这个保障；
读的重排序规则可以保证，在读一个对象的 final 变量之前，一定会先读这个对象的引用。如果读取到的引用不为空，根据上面的写规则，说明对象的 final 变量一定以及初始化完毕，从而可以读到正确的变量值。

如果 final 变量的类型是引用型，那么构造函数内，对一个 final 引用的对象的成员域的写入，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。实际上这也是为了保证 final 变量在对其他线程可见之前，能够正确的初始化完成。