Các quy tắc của generics và các ràng buộc loại

Question

Chỉ cần tò mò, tại sao trình biên dịch xử lý một loại generic không bị ràng buộc nào khác với nó sẽ là typeof (đối tượng)?

class Bar { } 

class Foo 
{ 
    void foo(object thing) 
    { 
     ((Bar)thing).ToString(); 
    } 
} 

class Foo<T> 
{ 
    void foo(T thing) 
    { 
     ((Bar)thing).ToString(); 
    } 
} 

Ở trên, truyền "T" tới Bar dẫn đến lỗi trình biên dịch. Đúc "đối tượng điều" để Bar tuy nhiên là một cái gì đó trình biên dịch cho phép tôi làm, tại nguy cơ của riêng tôi tất nhiên.

Điều tôi không thấy là lý do. Trong .net đối tượng sau khi tất cả là một catch-tất cả và thời gian chạy loại có thể là một giá trị đóng hộp hoặc một đối tượng của bất kỳ loại. Vì vậy, tôi không thấy lý do hợp lý có cho trình biên dịch để phân biệt giữa hai trường hợp. Điều tốt nhất tôi có thể làm là một cái gì đó như "lập trình viên mong đợi trình biên dịch kiểm tra kiểu với các kiểu generic, nhưng không phải với đối tượng". :) Có phải đó là tất cả để có nó?

Btw, Tôi biết rằng tôi vẫn có thể được dàn diễn viên của tôi được thực hiện trong trường hợp Foo, bằng cách đơn giản viết

((Bar)(object)thing).ToString(); 

Tôi chỉ muốn hiểu tại sao các trình biên dịch thực hiện điều này ...

Answer 1

Các ý nghĩa ở đây là object. Nếu ví dụ đầu tiên là , bất kỳ điều gì khác ngoài object nó sẽ hoạt động giống nhau. Về cơ bản, những gì bạn đang nói vào lúc này đây:

(Bar)thing 

là: "chuyển đổi một T đến một Bar"; đó là hư không gần pháp lý trong trường hợp chung. Bằng cách thêm object bạn thực hiện nó:

(Bar)(object)thing 

đó là "chuyển đổi một T một object ..." - mà luôn luôn là hợp pháp, vì object là gốc rễ của tất cả các loại quản lý; và lưu ý điều này có thể đưa ra một hộp - "... và sau đó truyền số object làm Bar" - một lần nữa; nó luôn luôn là hợp pháp tại thời gian biên dịch, và liên quan đến một loại kiểm tra ("unbox-bất kỳ") tại thời gian chạy.

Ví dụ: giả sử T là DateTime ...

DateTime thing = ... 
Bar bar = (Bar)(object)thing; 

là hoàn toàn hợp lệ; chắc chắn nó sẽ thất bại trong thời gian chạy, nhưng: đây là kịch bản bạn cần phải ghi nhớ.

Answer 2

Nó đi xuống các ngữ nghĩa và mục đích của việc tạo ra generics. Nếu bạn có một loại T chung, trình biên dịch sẽ không cho phép bạn tùy ý truyền trực tiếp nó đến bất kỳ đối tượng nào khác. Điều này có ý nghĩa vì mục đích của T là ép buộc lập trình viên xác định loại T thực sự là gì. Nó sẽ không phải là "đối tượng", nó sẽ là một LOẠI đối tượng cụ thể. Tại thời gian biên dịch, trình biên dịch không thể biết những gì sẽ có trong T và do đó không thể cast nó.

Truyền từ đối tượng hoạt động vì đó là một đối tượng ẩn danh - như trái ngược với loại đối tượng KNOWN được xác định trong cách sử dụng của nó.

Điều này có thể được mở rộng với mệnh đề "where". Ví dụ., bạn có thể chỉ định rằng T phải thuộc loại IBar;

interface IBar { } 

class Bar : IBar { } 

class Foo<T> 
    where T : IBar 
{ 
    void foo(T thing) 
    { 
     ((IBar)thing).ToString(); 
    } 
} 

Thừa kế cũng hoạt động với mệnh đề where;

class Bar { } 

class Foo<T> 
    where T : Bar 
{ 
    void foo(T thing) 
    { 
     // now you don't need to cast at all as the compiler knows 
     // exactly what type T is (at a parent level at least) 
     thing.ToString(); 
    } 
}