Java neden Throwable'ın jenerik alt sınıflarına izin vermiyor?

Göre Java Dil Sepecification , 3rd edition:

Genel bir sınıfın doğrudan veya dolaylı bir alt sınıfı olması, derleme zamanı hatasıdır Throwable.

Bu kararın neden verildiğini anlamak isterim. Genel istisnaların nesi yanlış?

(Bildiğim kadarıyla, jenerikler basitçe derleme zamanı sözdizimsel şekerlerdir ve dosyalarda Objectyine de tercüme edilecekler .class, o kadar etkili bir şekilde genel bir sınıfı ilan etmek, sanki içindeki her şey bir Objectsanki. .)

Mark'ın dediği gibi, türler yeniden değiştirilemez, bu da aşağıdaki durumda bir sorundur:

try {
   doSomeStuff();
} catch (SomeException<Integer> e) {
   // ignore that
} catch (SomeException<String> e) {
   crashAndBurn()
}

Her ikisi de SomeException<Integer>ve SomeException<String>aynı türde silindiğinde, JVM'nin istisna durumlarını ayırt etmesi mümkün değildir ve bu nedenle hangi catchbloğun yürütülmesi gerektiğini söylemenin bir yolu yoktur .

İstisnanın nasıl kullanılacağına dair basit bir örnek:

class IntegerExceptionTest {
  public static void main(String[] args) {
    try {
      throw new IntegerException(42);
    } catch (IntegerException e) {
      assert e.getValue() == 42;
    }
  }
}

TRy ifadesinin gövdesi, catch cümlesi tarafından yakalanan belirli bir değerdeki istisnayı fırlatır.

Buna karşılık, yeni bir istisnanın aşağıdaki tanımı, parametreli bir tür oluşturduğundan yasaklanmıştır:

class ParametricException<T> extends Exception {  // compile-time error
  private final T value;
  public ParametricException(T value) { this.value = value; }
  public T getValue() { return value; }
}

Yukarıdakileri derleme girişimi bir hata bildirir:

% javac ParametricException.java
ParametricException.java:1: a generic class may not extend
java.lang.Throwable
class ParametricException<T> extends Exception {  // compile-time error
                                     ^
1 error

Bu kısıtlama mantıklıdır, çünkü bu tür bir istisnayı yakalamaya yönelik hemen hemen her girişimin başarısız olması gerekir, çünkü tür yeniden yapılandırılabilir değildir. İstisnanın tipik kullanımının aşağıdaki gibi olması beklenebilir:

class ParametricExceptionTest {
  public static void main(String[] args) {
    try {
      throw new ParametricException<Integer>(42);
    } catch (ParametricException<Integer> e) {  // compile-time error
      assert e.getValue()==42;
    }
  }
}

Catch cümlesindeki tür yeniden belirtilebilir olmadığından buna izin verilmez. Bu yazının yazıldığı sırada, Sun derleyicisi böyle bir durumda bir dizi sözdizimi hatası rapor eder:

% javac ParametricExceptionTest.java
ParametricExceptionTest.java:5: <identifier> expected
    } catch (ParametricException<Integer> e) {
                                ^
ParametricExceptionTest.java:8: ')' expected
  }
  ^
ParametricExceptionTest.java:9: '}' expected
}
 ^
3 errors

İstisnalar parametrik olamayacağından, sözdizimi sınırlandırılmıştır, böylece tip, aşağıdaki parametre olmadan bir tanımlayıcı olarak yazılmalıdır.

Esasen kötü bir şekilde tasarlandığı için.

Bu sorun temiz soyut tasarımı engeller, örn.

public interface Repository<ID, E extends Entity<ID>> {

    E getById(ID id) throws EntityNotFoundException<E, ID>;
}

Bir yakalama cümlesinin jenerikler için başarısız olması gerçeği somutlaştırılmaması bunun için bir mazeret değildir. Derleyici, Throwable'ı genişleten veya catch cümlelerinin içindeki jeneriklere izin vermeyen somut jenerik türlere izin vermeyebilir.

Tür doğruluğu için jenerikler derleme zamanında kontrol edilir. Genel tür bilgileri daha sonra tür silme adı verilen bir işlemle kaldırılır . Örneğin, List<Integer>genel olmayan türe dönüştürülecektir List.

Yüzünden Tür silme , tür parametreleri çalışma zamanında belirlenemez.

ThrowableBu şekilde genişletmenize izin verildiğini varsayalım :

public class GenericException<T> extends Throwable

Şimdi şu kodu ele alalım:

try {
    throw new GenericException<Integer>();
}
catch(GenericException<Integer> e) {
    System.err.println("Integer");
}
catch(GenericException<String> e) {
    System.err.println("String");
}

Nedeniyle Tür silme , çalışma zamanı hangi catch bloğunun çalıştırılacağını bilemeyecektir.

Bu nedenle, genel bir sınıf Throwable'ın doğrudan veya dolaylı bir alt sınıfı ise bu bir derleme zamanı hatasıdır.

Kaynak: Tür silmeyle ilgili sorunlar

Bunun parametreleştirmeyi garanti etmenin bir yolu olmadığı için olmasını beklerdim. Aşağıdaki kodu göz önünde bulundurun:

try
{
    doSomethingThatCanThrow();
}
catch (MyException<Foo> e)
{
    // handle it
}

Sizin de belirttiğiniz gibi, parametreleştirme sadece sözdizimsel şekerdir. Ancak derleyici, derleme kapsamındaki bir nesneye yapılan tüm başvurularda parametreleştirmenin tutarlı kalmasını sağlamaya çalışır. Bir istisna durumunda, derleyicinin MyException'ın yalnızca işlediği kapsamdan atılacağını garanti etmenin bir yolu yoktur.