type-erasure

6ısı

2cevap

Java Generics'te denetlenmemiş kaliteler nasıl önlenir Karşılaştırılabilir arabirim?

Bu genel arayüzde güvenli olmayan (T) neden gereklidir? Eğer T kendi başına karşılaştırılabilir ise, yani ExtendedComparable<T> da anlamına gelen ExtendedComparable<super of T>'u uygular, o zaman nede

5ısı

1cevap

Bu kod parçasını C# kodu açısından açıklar mısınız? <a href="https://kotlinlang.org/docs/reference/idioms.html#convenient-form-for-a-generic-function-that-requires-the-generic-type-information">Kotlin documentation</a> sayfasından

: Yukarıdaki kod snippet'inde // public final class Gson { // ... // public <T> T fromJson(JsonElement json, // Class<T> classOfT) // throws JsonSyntaxException { // ... , bunu C

5ısı

2cevap

Scala Yansımada, bir beton alt sınıfının jenerik tip parametresi nasıl alınır?</p> <pre><code>class GenericExample[T]( a: String, b: T ) { def fn(i: T): T = b } </code></pre> <p>ve somut bir alt sınıfı:

Ben bir Genel üst sınıf olduğunu varsayarsak case class Example( a: String, b: Int ) extends GenericExample[Int](a, b) Ben scala yansıma yoluyla fonksiyonu "fn" tipi paramet

7ısı

1cevap

Rust, genel türleri siliyor mu, yok mu?

Rust'ta (Java'da olduğu gibi) jeneriklerin tip silinmesi var mı, yok mu? Kesin bir cevap bulamıyorum.

5ısı

2cevap

nasıl

bir genel işlevi dikkate derleme zamanında olmayan genel tür uygulamak? var actorReceive: Receive = PartialFunction.empty def addCase[T](handler: T => Boolean): Unit = { actorReceive = actorRece

5ısı

1cevap

Türleri çalışma zamanından önce silinir

Haskell tiplerinin her zaman çalışma zamanından önce silineceğinden emin olabilirsiniz. Agda durumunda ne olur? Bağımlı tür bilgileri çalışma zamanına geçiriliyor mu?

0ısı

1cevap

Bu, Scala'daki tip silme örneğidir.

Bu, Scala'daki tip silme örneğidir. (None: Option[Int]) == (None: Option[String]) // true

-1ısı

1cevap

Sabitleme "aynı silme işlemine sahip değil ... ama aynı yöntemi geçersiz kılmıyor" ama aynı zamanda yeni bir uygulama imzası var mı?

Java'da JsonProvider.java'u RootlessJsonProvider.java olarak genişleten bir sınıf var, bu sınıfın root öğesi olmadan JSON ile çalışmasına izin veriyor. Hala uygulayan sınıfın tamamen aynı yöntem imzas

0ısı

1cevap

Yöntem bağımsız değişkenler için geçerli değil İstisna türü silme sorunu var mı?

Java8 kullanıyorum ve atılan özel durumun geçerli bir tür olduğunu doğrulayacak bir test yardımcısı yazmaya çalışıyorum. assertThat(e, Matchers.isA(exceptionClass)); ama bu kötü kokan: Ben yapmak i

7ısı

1cevap

C++ cinsinden tip silme nedir?

this article about type erasure okuyordum. Ama bu makaledeki kod örneğin kısmen yanlış görünüyor: template <typename T> class AnimalWrapper : public MyAnimal { const T &m_animal; public: