加了松哥微信的小伙伴可能注意到松哥前兩天發(fā)的一個(gè)朋友圈了，就是我在錄制 Spring 源碼的時(shí)候，發(fā)現(xiàn)了這樣一段代碼：

為了大家閱讀方便，我這里只貼出來(lái)一些關(guān)鍵的部分：

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;
}

這段代碼里有一個(gè)比較好玩的地方就是使用了 JDK16 中引入的增強(qiáng)類(lèi)型推斷，以前我們用 instanceof 的時(shí)候可能是這樣：

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

這樣比較麻煩，所以從 JDK16 開(kāi)始，支持一種新的寫(xiě)法，如下：

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

這段代碼跟上面的代碼的作用是一模一樣的。

最上面的 Spring 源碼其實(shí)就是用了這個(gè)最新的寫(xiě)法。

但是！！！

我今天想和各位小伙伴聊的其實(shí)還不是這個(gè)問(wèn)題，而是在上面的 Spring 源碼中，factoryBean 變量是在 if 分支中定義的，按理說(shuō)，它的作用域就存在于 if 分支中，但是各位小伙伴注意，factoryBean 變量卻可以在下面的 if 中使用，這是咋回事呢？

大家看下下面這個(gè)截圖，這個(gè)是 Spring 框架在 2022.01.26 的提交日志，就是這一次提交修改了上面這個(gè) getObjectForBeanInstance 方法：

圖片

從這段變更中，我們其實(shí)可以看到，在之前的 Spring 源碼中，是有專(zhuān)門(mén)的一行 FactoryBean<?> factory = (FactoryBean<?>) beanInstance; 去做類(lèi)型轉(zhuǎn)換的，然后在接下來(lái)的方法中去使用該變量，但是現(xiàn)在沒(méi)有這樣一句了，很明顯，現(xiàn)在是在 if 中做 instanceof 判斷時(shí)順手定義的 factoryBean 變量，在下面的 if 分支中使用了，這和我們理解的 Java 中變量的作用域似乎不太一樣。

這是咋回事呢？

前兩天我發(fā)個(gè)朋友圈之后，有小伙伴說(shuō)這是語(yǔ)法糖，這顯然不是，因?yàn)槿绻钦Z(yǔ)法糖，這很容易造成歧義，變量的作用域豈不是全亂了？

也有小伙伴說(shuō)這是新特性，這個(gè)很聰明，不認(rèn)識(shí)的寫(xiě)法統(tǒng)一都是新特性。但是新在哪里？什么樣的情況下可以在 if 之外使用 if 判斷條件里聲明的變量？什么樣的情況下不可以？