聊聊一段让人抓心挠肝的源码

2023年 9月 6日 58.9k 0

加了松哥微信的小伙伴可能注意到松哥前两天发的一个朋友圈了,就是我在录制 Spring 源码的时候,发现了这样一段代码:

为了大家阅读方便,我这里只贴出来一些关键的部分:

protected Object getObjectForBeanInstance(
  Object beanInstance, String name, String beanName, @Nullable RootBeanDefinition mbd) {
    //省略
 if (!(beanInstance instanceof FactoryBean factoryBean)) {
  return beanInstance;
 }
 //省略
 if (object == null) {
  //省略
  object = getObjectFromFactoryBean(factoryBean, beanName, !synthetic);
 }
 return object;
}

这段代码里有一个比较好玩的地方就是使用了 JDK16 中引入的增强类型推断,以前我们用 instanceof 的时候可能是这样:

if(a instanceof B){
  B b = (B)a;
}

这样比较麻烦,所以从 JDK16 开始,支持一种新的写法,如下:

if(a instanceof B b){
  //...
}

这段代码跟上面的代码的作用是一模一样的。

最上面的 Spring 源码其实就是用了这个最新的写法。

但是!!!

我今天想和各位小伙伴聊的其实还不是这个问题,而是在上面的 Spring 源码中,factoryBean 变量是在 if 分支中定义的,按理说,它的作用域就存在于 if 分支中,但是各位小伙伴注意,factoryBean 变量却可以在下面的 if 中使用,这是咋回事呢?

大家看下下面这个截图,这个是 Spring 框架在 2022.01.26 的提交日志,就是这一次提交修改了上面这个 getObjectForBeanInstance 方法:

图片图片

从这段变更中,我们其实可以看到,在之前的 Spring 源码中,是有专门的一行 FactoryBean factory = (FactoryBean) beanInstance; 去做类型转换的,然后在接下来的方法中去使用该变量,但是现在没有这样一句了,很明显,现在是在 if 中做 instanceof 判断时顺手定义的 factoryBean 变量,在下面的 if 分支中使用了,这和我们理解的 Java 中变量的作用域似乎不太一样。

这是咋回事呢?

前两天我发个朋友圈之后,有小伙伴说这是语法糖,这显然不是,因为如果是语法糖,这很容易造成歧义,变量的作用域岂不是全乱了?

也有小伙伴说这是新特性,这个很聪明,不认识的写法统一都是新特性。但是新在哪里?什么样的情况下可以在 if 之外使用 if 判断条件里声明的变量?什么样的情况下不可以?

相关文章

JavaScript2024新功能:Object.groupBy、正则表达式v标志
PHP trim 函数对多字节字符的使用和限制
新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
为React 19做准备:WordPress 6.6用户指南
如何删除WordPress中的所有评论

发布评论