Tôi có thể có một loại cả hai, biến thể và contravariant, tức là hoàn toàn có thể thay đổi được với các loại phụ và siêu?

Question

Tôi có thể có một loại (để quên ngữ nghĩa của nó) mà có thể là biến thể cũng như contravariant?

ví dụ:

public interface Foo<in out T> 
{ 
    void DoFooWith(T arg); 
} 

Tắt lên blog Eric Lippert cho thịt và khoai tây phương sai trong C# 4.0 như có rất ít khác bất cứ nơi nào mà bao gồm mặt đất đầy đủ về đề tài này.

---

Tôi đã thử nó dù sao đi nữa, nó không chỉ cho phép điều đó, mà còn cho tôi biết tôi đang thiếu điểm. Tôi cần hiểu liên kết giữa chỉ đọc, chỉ ghi và phương sai.

Tôi đoán tôi có một số đọc sách để thực hiện.

Tuy nhiên, bất kỳ câu trả lời ngắn, hiển linh nào cũng được chào đón.

Answer 1

Không, bạn không thể làm điều đó.

Giả sử đó là hợp pháp. Bạn thực hiện một số IFoo<Giraffe>. Vì IFoo là biến thể trong T, bạn có thể chuyển đổi nó qua chuyển đổi tham chiếu typesafe thành IFoo<object>. Vì nó là contravariant, bạn có thể chuyển đổi nó thành IFoo<Banana>. Những ngữ nghĩa có thể có cho IFoo<T> sao cho có thể chuyển đổi IFoo của Hươu cao cổ thành IFoo của Chuối thông qua chuyển đổi tham chiếu? Hươu cao cổ và Chuối không có điểm chung nào ngoài việc là loại tham chiếu. Bạn không thể có một phương thức trên IFoo<Banana> trả về Chuối, vì nó thực sự có thể là việc triển khai IFoo<Giraffe>; làm thế nào tác giả của việc thực hiện biết để đưa ra một quả chuối? Bạn không thể có một phương pháp trên IFoo<Banana> mà phải mất một chuối cho cùng một lý do; người triển khai IFoo<Giraffe> đang mong bạn đưa cho anh ta một con hươu cao cổ.

Dưới đây là một cách khác để nhìn vào nó:

• "trong T" có nghĩa là (khoảng) "T chỉ xuất hiện ở những vị trí đầu vào".
• "ra T" có nghĩa là (gần) "T chỉ xuất hiện ở vị trí đầu ra".

Do đó "trong T" có nghĩa là ... cái gì? Như chúng ta đã thấy, nó chỉ có thể có nghĩa là "T không xuất hiện ở tất cả trong bất kỳ phương pháp hay tài sản nào." Điểm của việc tạo một loại chung trong T mà bạn không bao giờ sử dụng T là gì?