情況說(shuō)明

以下代碼：

Optional.ofNullable(u).map(u->{
    ....
}).orElseThrow(()->{
    throw new CommonException("用戶不存在萌业！");
});

編譯的時(shí)候拋出異常：

Error:(68, 23) java: 未報(bào)告的異常錯(cuò)誤java.lang.Throwable; 必須對(duì)其進(jìn)行捕獲或聲明以便拋出

尋找過(guò)程

始終沒(méi)有找到答案半沽，因?yàn)槲抑耙恢倍际沁@樣用的靡狞，Optional.ofNullable().orElseThrow()艳吠，于是初步懷疑：IDE有問(wèn)題。不過(guò)怎么樣怖亭，就直接搜了侥蒙。問(wèn)題可以使用IDEA Optional Requires Catching Throwable when using orElseThrow method.找到以下答案：

1. https://stackoverflow.com/questions/39076077/throw-runtimeexception-inside-stream-with-optional-orelsethrow

   從這個(gè)答案崔兴，發(fā)現(xiàn)是JDK的一個(gè)異常，同時(shí)找到相關(guān)的答案：

2. https://stackoverflow.com/questions/25523375/java8-lambdas-and-exceptions

   得到了一個(gè)解決方案：在orElseThrow前面指定一下拋出的泛型：<XXException>orElseThrow

解決方案

1. 解決方案1：

   升級(jí)JDK藏否。這個(gè)是jdk(1.8.0_92版本前)的一個(gè)bug：https://bugs.openjdk.java.net/browse/JDK-8047338瓶殃。但是，我的jdk版本本來(lái)就比這個(gè)高副签，我就升級(jí)到最新的版本遥椿，問(wèn)題還是存在！

2. 解決方法2：

   在orElseThrow前面給泛型指定一下拋出的具體的運(yùn)行時(shí)異常：<CommonException>orElseThrow

   原代碼：

   Optional.ofNullable(u).map(u->{
    ....
   }).orElseThrow(()->{
    throw new CommonException("用戶不存在淆储！");
   });
   

   修改后的代碼：

   Optional.ofNullable(u).map(u->{
    ....
   }).<CommonException>orElseThrow(()->{
    throw new CommonException("用戶不存在冠场！");
   });
   

問(wèn)題分析

1. 這個(gè)問(wèn)題是jdk的一個(gè)bug，并且和IDE有關(guān)系（eclipse沒(méi)有這個(gè)問(wèn)題）本砰。我翻譯一下老外精彩的分析：

   問(wèn)題重現(xiàn)碴裙，精簡(jiǎn)并抽取出報(bào)錯(cuò)部分Optional的代碼：

   原來(lái)JDK源碼：

   abstract <T> void f(Supplier<T> s);
   
   abstract <T, X extends Throwable> T g(Supplier<? extends X> x) throws X;
   
   void bug() {
       f(() -> g(() -> new RuntimeException("foo")));
   }
   

   再精簡(jiǎn)，把lamda除去灌具，這樣我們就可以在jdk7編譯了，可以對(duì)比jdk7和8的差異譬巫，Gitst文件：

   /**
    * @author guoshihua
    * @description
    * @date 2020/12/10 16:27
    */
   public abstract class Test {
       abstract <T> void f(T t);
   
       abstract <T, X extends Throwable> T g(X x) throws X;
   
       void bug() {
           f(g(new RuntimeException("foo")));
       }
   }
   

   使用jdk8u92以前的版本咖楣，我這里下載的是77版本，修改環(huán)境變量芦昔，把jdk切換到j(luò)dk8u77诱贿，并運(yùn)行javac編譯：

   java -version
   java version "1.8.0_77"
   Java(TM) SE Runtime Environment (build 1.8.0_77-b03)
   Java HotSpot(TM) 64-Bit Server VM (build 25.77-b03, mixed mode)
   
   

   javac Test.java
   

   成功重現(xiàn)改錯(cuò)誤：

   Test.java:14: 錯(cuò)誤: 未報(bào)告的異常錯(cuò)誤X; 必須對(duì)其進(jìn)行捕獲或聲明以便拋出
           f(g(new RuntimeException("foo")));
              ^
     其中, X,T是類型變量:
       X擴(kuò)展已在方法 <T,X>g(X)中聲明的Throwable
       T擴(kuò)展已在方法 <T,X>g(X)中聲明的Object
   1 個(gè)錯(cuò)誤
   

   把切換到j(luò)dk7已經(jīng)jdk8U92（我這里使用的是jdk8u271）以上的版本編譯均正常。

2. 關(guān)于Throwable以及其子類咕缎，Throwable包含編譯的時(shí)候異常和運(yùn)行時(shí)異常：

image.png

對(duì)于上面的解釋：

I guess something about passing a generic method return type to a generic method parameter causes the type inference for the exception to fail, so it assumes the type is Throwable and complains that this checked exception type isn't handled. The error disappears if you declare bug() throws Throwable or change the bound to X extends RuntimeException (so it's unchecked).

所以珠十，看來(lái)源碼里面指定的是 Throwable，也包含編譯異常凭豪，可是可以編譯的時(shí)候把代碼的異常傳遞給泛型的時(shí)候識(shí)別錯(cuò)誤了焙蹭，依舊把運(yùn)行時(shí)異常當(dāng)做了Throwable，所以IDE需要你把他捕獲掉嫂伞。但是孔厉，如果你使用泛型指定了運(yùn)行時(shí)異常，編譯就通過(guò)了帖努。

總結(jié)

? 這個(gè)確實(shí)就是JDK的bug撰豺，我能力有限，只能重現(xiàn)拼余，無(wú)法深究污桦。總結(jié)一句就是：1.升級(jí)jdk的版本 2.指定拋出的為運(yùn)行異常

題外話

? 我發(fā)現(xiàn)我之前都是這樣用的時(shí)候并不會(huì)報(bào)錯(cuò)：

Optional.ofNullable(u).orElseThrow(()->new CommonException("戰(zhàn)術(shù)異常"));

但是匙监，當(dāng)我使用map的時(shí)候凡橱，編譯的時(shí)候IDE就讓我捕獲異常：

Optional.ofNullable(FmlUser).map(u->{return u;}).orElseThrow(()->{throw new CommonException("用戶不存在小作！");});

上面測(cè)試的Test.java文件：https://gist.github.com/shihua-guo/86fa6c1a075568e7860ac2202bb1ea31