polymorphism

6ısı

2cevap

Protokol uzantısı yönteminin gönderilmesi Swift 2.0 içinde

Protokoller yöntemleri gönderme ile ilgili bir sorunla karşı karşıyayım. Bunun gibi görünen bir sınıf hiyerarşisi vardır: protocol E { func test() } extension E { func test() { prin

13ısı

1cevap

Neden [1, "a"] :: [forall a. Göster a => a] `ye izin verilmiyor mu? iki liste aşağıdaki benim (kudreti yanlış) anlayışında

, eşdeğer olmalıdır: [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] Ancak ilki kabul edilmez fakat ikinci bir (ExistentialQuantification ile) çalışıyor.

6ısı

1cevap

Haskell: Bir fonksiyonun dönüş tipini fonksiyonun içinden çıkarmanın bir yolu var mı?

Aşağıdaki işlevi aldığımı varsayalım: import Data.Typeable import Text.Read (reads) parse :: (Read b, Typeable b) => String -> IO b parse msg = case reads msg of [(value,"")] -> return

11ısı

1cevap

ASP.NET mvc 6

'da polimorfik tür belirtme MVC'nin önceki sürümlerinde "TypeNameHandling = TypeNameHandling.Auto" kullanabilirim. MVC6 yılında , benim WebAPI olarak sınıf public class BaseClass { public string

11ısı

3cevap

Varolan türleri C#?

Şu anda C# içinde varoluşsal türleri kullanarak çözülebileceğini düşündüğüm bir sorunla karşı karşıyayım. Ancak, C# 'da yaratılıp yaratılamayacaklarını ya da simüle edildiklerini (başka bir yapı kulla

13ısı

1cevap

RTTI değil, yine de sanal yöntemler

C++ kodu, dynamic_cast'u devre dışı bırakan çalışma zamanı türü bilgileri devre dışı bırakılarak derlenebilir. Ancak, sanal (polimorfik) yöntemlerin, hedefin çalışma zamanı tipine bağlı olarak gönderi

5ısı

1cevap

Ben Scala F-sınırlanmış nesne oluşturamıyor Neden

varsayalım Ben: trait A[AA <: A[AA]] //or even just ` trait A[AA] Bu işe yaramazsa: scala> object AAA extends A[AAA.type] <console>:8: error: illegal cyclic reference involving object AAA ob

6ısı

1cevap

Sanal kalıtım ve polimorfizm: Tahıl kütüphanesi obje düzeni ile uğraşıyor mu?

Klasik elmas desenini ve unique_ptr<A> içeren Container sınıfını takip ederek dört sınıfa (A, B, ve D) sahibim. Bu sınıfları cereal serileştirme kitaplığını kullanarak serileştirmek istiyorum. struct

8ısı

1cevap

Tip Aile Polimorfizmi

Bu yüzden, bir tür ailesini taşımayı amaçlayan bir Proxy alan ve ikinci bağımsız değişken ve dönüş değeri türünü belirlemek için bu tür aileye Int uygulayan bir işlevi olan apply :: proxy tf -> tf Int

5ısı

1cevap

C++ Tanımlayıcılar Polimorfizmini Anlama

Polimorfik functor nesnelerini (salt soyut temel sınıf ve çocuklar) sadece anlama amacıyla uygulamaya çalışıyorum. Amacım, saf sanal işlevlerin farklı uygulamalarını kullanan temel sınıfın birçok nesn