Czy ktoś może wyjaśnić ten kod?

public class SneakyThrow {


  public static void sneakyThrow(Throwable ex) {
    SneakyThrow.<RuntimeException>sneakyThrowInner(ex);
  }

  private static <T extends Throwable> T sneakyThrowInner(Throwable ex) throws T {
    throw (T) ex;
  }



  public static void main(String[] args) {
    SneakyThrow.sneakyThrow(new Exception());
  }


}

Może się to wydawać dziwne, ale nie powoduje wyjątku rzutowania i pozwala na wyrzucenie sprawdzonego wyjątku bez konieczności deklarowania go w podpisie lub zawijania go w niesprawdzonym wyjątku.

Nie zauważaj tegosneakyThrow(...) lub główny deklaruje sprawdzony wyjątek, ale dane wyjściowe to:

Exception in thread "main" java.lang.Exception
    at com.xxx.SneakyThrow.main(SneakyThrow.java:20)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:601)
    at com.intellij.rt.execution.application.AppMain.main(AppMain.java:120)

Ten hack jest używany w Lombok, z adnotacją @SneakyThrow, która pozwala wyrzucać sprawdzone wyjątki bez ich deklarowania.

Wiem, że ma to coś wspólnego z wymazywaniem typu, ale nie jestem pewien, czy rozumiem każdą część włamania.

Edytować: Wiem, że możemy wstawićInteger wList<String> i że zaznaczone wyjątki sprawdzone / niezaznaczone są funkcją czasu kompilacji.

Podczas rzucania z typu innego niż rodzajowyList do typu ogólnegoList<XXX> kompilator generuje ostrzeżenie. Ale rzadziej rzutuje się na typ ogólny, jak bezpośrednio(T) ex w powyższym kodzie.

Jeśli chcesz, część, która wydaje mi się dziwna, jest taka, że ​​rozumiem to w JVM aList<Dog> iList<Cat> wygląda tak samo, ale powyższy kod wydaje się oznaczać, że w końcu możemy również przypisać wartość typu Cat zmiennej typu Dog lub coś takiego.