Tại sao trình biên dịch cho phép phiếu này?

Question

thể trùng lặp:
Foreach can throw an InvalidCastException?

Hãy xem xét các khối mã sau đây

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()); 
     } 
    } 
} 

Thông báo các diễn viên từ cơ sở để DerivedLeft trong bản Tuyên Bố foreach. Điều này biên dịch tốt (Visual Studio 2010), mà không có bất kỳ lỗi hoặc thậm chí cảnh báo. Rõ ràng, trên vòng lặp thứ hai, chúng ta sẽ nhận được một InvalidCastException. Nếu tôi được hỏi một câu hỏi về phản ứng của trình biên dịch với mã như vậy, tôi sẽ không nghi ngờ gì, trình biên dịch đó sẽ không để điều này không được chú ý và tạo ra ít nhất một cảnh báo. Nhưng rõ ràng là không. Vì vậy, tại sao trình biên dịch cho phép điều này thông qua?

Answer 1

Nó đang thực hiện thao tác ẩn. Kiểm tra bài viết này trên cùng một chủ đề cho một lời giải thích tuyệt vời của Jon Skeet:

Foreach can throw an InvalidCastException?

Answer 2

Bởi vì danh sách là loại List<Base> và biến dl trong vòng lặp foreach là loại DerivedLeft trong đó có cơ sở như lớp cơ sở. Vì vậy, có thể hoạt động trong thời gian chạy, nhưng không phải có. Trình biên dịch không kiểm tra việc khởi tạo danh sách của bạn.

Answer 3

Mong các trình biên dịch để nâng cao một lỗi về vấn đề này cũng giống như mong đợi nó để nâng cao một lỗi về điều này:

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