Derleyici neden bu fişe izin veriyor?

Question

Olası Çoğalt:
Foreach can throw an InvalidCastException?

aşağıdaki kod bloğunu

public class Base 
{ 
} 

public class DerivedLeft : Base 
{ 
} 

public class DerivedRight : Base 
{ 
} 

class Program 
{ 
    static void Main(string[] args) 
    { 
     List<Base> list = new List<Base> { new DerivedLeft(), new DerivedRight() }; 
     foreach (DerivedLeft dl in list) 
     { 
      Console.WriteLine(dl.ToString()); 
     } 
    } 
} 

Bildirim foreach döngüsü içinde DerivedLeft için Üssü'nden döküm düşünün. Bu, herhangi bir hata ya da uyarı olmaksızın iyi bir şekilde (Visual Studio 2010) derler. Açıkçası, ikinci döngü yinelemesinde bir InvalidCastException alacağız. Derleyicinin bu tür bir koda karşı tepkisi ile ilgili bir soru sorulursa, hiç şüphesiz bu derleyicinin fark edilmesine ve en az bir uyarı üretmesine izin vermeyeceğim. Ama görünüşe göre değil. Öyleyse, derleyici neden bu geçişten geçiyor?

Answer 1

Bu, dolaylı bir yayın yapıyor. Jon Skeet mükemmel bir açıklama için aynı konuda bu yayınını inceleyin:

Foreach can throw an InvalidCastException?

Answer 2

liste türü List<Base> sahiptir ve foreach döngüsü değişken dl taban sınıf olarak Base sahiptir tipi DerivedLeft ait olduğu için. Bu nedenle, , çalışma zamanında çalışabilir, ancak , ürününe sahip değildir. Derleyici, listenizin başlatılmasını kontrol etmiyor. Bu bir hata yükseltmek için derleyici beklemek

Answer 3

bu bir hata yükseltmek için bekliyor gibidir:

Base b = new DerivedRight(); 
DerivedLeft d = (DerivedLeft)b;