C# dışı genel tür parametreleri neden kovaryansı ihlal ediyor?

Question

aşağıdaki kod parçacığı kovaryant değil neden olarak anlamış değilim?

public interface IResourceColl<out T> : IEnumerable<T> where T : IResource { 

    int Count { get; } 

    T this[int index] { get; } 

    bool TryGetValue(string SUID, out T obj); // Error here? 
    } 

Hata 1 Geçersiz varyans: tür parametresi 'T 'IResourceColl.TryGetValue (T üzerinden dizesi)' üzerine değişmez geçerli olması gerekir. 'T', kovaryantıdır.

Benim arayüzü yalnızca çıkış pozisyonlarda şablon parametresini kullanır. Kolayca

public interface IResourceColl<out T> : IEnumerable<T> where T : class, IResource { 

    int Count { get; } 

    T this[int index] { get; } 

    T TryGetValue(string SUID); // return null if not found 
    } 

gibi bir şey bu kodu refactor olabilir ama benim asıl kod aslında kovaryansını ihlal ederse anlamaya çalışıyorum ya bu kovaryans bir derleyici veya .NET sınırlama ise.

Answer 1

sorun aslında buradadır:

bool TryGetValue(string SUID, out T obj); // Error here? 

Bunu Eğer bir örneği size beri, bu nedenle bildirdiğinden olamazobj hem pas geçiyoruz olsa yine gelir out parametre olarak obj işaretlenmiş T'u yazın ve geri gönderin.

Düzenleme:

o T "out" olarak işaretlenmiş yapmak yasal olmalı:

Eric Lippert'ın kimseye ben his answer to "ref and out parameters in C# and cannot be marked as variant" bakın ve out parametreleri açısından onu alıntı daha iyi diyor ? Ne yazık ki hayır. "dışarı" aslında sahnelerin arkasında "ref" den farklı değildir. "Out" ve "ref" arasındaki tek arasındaki fark, derleyicinin denetiminin, callee tarafından atanmadan önce bir çıkış parametresinden okumasını ve normalde kimliğinin, callee normale dönmeden önce atama gerektirdiğidir. C# dışında bir .NET dilinde bu arabirimi uygulaması yazdım Birisi başlatıldı önce öğeden okumak mümkün olacaktır ve bu nedenle bir girdi olarak kullanılabilir. Biz nedenle bu durumda olarak "out" olarak T işaretleme korusun. Bu pişmanlık verici, ama yapabileceğimiz hiçbir şey yok; CLR'nin güvenlik kurallarına uymak zorundayız. çıkış parametrelerine sağlanan değer tam çıkış parametresi beyanı ile aynı tip olmalıdır çünkü

Answer 2

O kovaryansını ihlal eder. Örneğin, T varsayarak bir dize oldu kovaryans o

var someIResourceColl = new someIResourceCollClass<String>(); 
Object k; 
someIResourceColl.TryGetValue("Foo", out k); // This will break because k is an Object, not a String 

Answer 3

bu küçük örneğe bakın yapmaya Tamam olacağını ima edebilir ve bunu izin verilmemesinin sebebi anlayacaksınız:

public void Test() 
{ 
    string s = "Hello"; 
    Foo(out s); 
} 

public void Foo(out string s) //s is passed with "Hello" even if not usable 
{ 
    s = "Bye"; 
} 

out demektir yürütme yöntemini ayrılmadan önce s kesinlikle atanmalıdır ve kesinlikle yöntem vücutta atanana kadar tersine siz s kullanamazsınız.Bu, covariance kurallarıyla uyumlu görünüyor. Ancak hiçbir şey, yöntemi çağırmadan önce çağrı sitesinde s'u atamanızı engeller. Bu değer, kullanılabilir olmasa bile, jenerik tipin yalnızca kovaryans kurallarına aykırı olan yönteme etkili bir şekilde geçirdiğini ifade eden yönteme aktarılır. Bir yöntemin dönüş tipi olarak kullanılır.

Answer 4

Uzantı yöntemini kullanarak olası bir çözüm. ille bakış implementor açıdan elverişli, ancak kullanıcı Değil mutlu olmalı:

public interface IExample<out T> 
{ 
    T TryGetByName(string name, out bool success); 
} 

public static class HelperClass 
{ 
    public static bool TryGetByName<T>(this IExample<T> @this, string name, out T child) 
    { 
     bool success; 
     child = @this.TryGetByName(name, out success); 
     return success; 
    } 
} 

public interface IAnimal { }; 

public interface IFish : IAnimal { }; 

public class XavierTheFish : IFish { }; 

public class Aquarium : IExample<IFish> 
{ 
    public IFish TryGetByName(string name, out bool success) 
    { 
     if (name == "Xavier") 
     { 
      success = true; 
      return new XavierTheFish(); 
     } 
     else 
     { 
      success = false; 
      return null; 
     } 
    } 
} 

public static class Test 
{ 
    public static void Main() 
    { 
     var aquarium = new Aquarium(); 
     IAnimal child; 
     if (aquarium.TryGetByName("Xavier", out child)) 
     { 
      Console.WriteLine(child); 
     } 
    } 
}