Tại sao ví dụ sau đây sử dụng hiệp phương sai trong các đại biểu không biên dịch?

Question

Tôi đã xác định các loại đại biểu sau. Một trả về một chuỗi, và một một đối tượng:

delegate object delobject(); 
delegate string delstring(); 

Bây giờ xem xét đoạn mã sau:

delstring a =() => "foo"; 
delobject b = a; //Does not compile! 

Tại sao việc chuyển nhượng không hợp lệ?

Tôi không hiểu. Phương thức trả về một chuỗi nên được xem xét một cách an toàn như một phương thức trả về một đối tượng (vì một chuỗi là một đối tượng).

---

Trong C# 4.0, ví dụ sau hoạt động. Thay vì sử dụng các đại biểu, tôi sử dụng Func<TResult> kiểu chung chung:

Func<string> a =() => "foo"; 
Func<object> b = a; //Perfectly legal, thanks to covariance in generics 

Ngoài ra: nếu tôi viết lại nó như vậy, nó hoạt động:

delobject b =() => a(); 

Nhưng đây không phải là điều tương tự như những gì tôi muốn ban đầu . Bây giờ tôi đã tạo ra một phương pháp mới gọi một phương thức khác.

Nó không chỉ là một bài tập, như trong ví dụ này:

delint a =() => 5; 
delobject b = a; //Does not work, but this is OK, since "int" is a value type. 
delobject b =() => a(); //This will box the integer to an object. 

Answer 1

Loại đại biểu vẫn là loại đối tượng cụ thể.Khi bạn viết

delegate object delobject(); 
delegate string delstring(); 

thì không có mối quan hệ "là" giữa hai loại đại biểu. Bạn vừa tạo hai loại riêng biệt.

Nó giống như

class A { public int i; }; 
class B { public int i; }; 

Không có chuyển đổi ngầm hay rõ ràng giữa A và B, mặc dù không có bất kỳ khả năng A rằng sẽ không có ý nghĩa tương đương như một B, hoặc ngược lại.

Cỏ và contravariance trong Func có nghĩa là tác giả của loại đại biểu bê tông đã quyết định rằng Func<string> có thể được coi là Func<object>, nhưng đó là điều mà tác giả của loại đại biểu được quyết định, giống như đó là tác giả của lớp học của tôi B để quyết định xem liệu có lẽ sẽ có ý nghĩa hơn nếu chỉ lấy được từ A.

Something bạn thể làm là thêm vào một mức gián tiếp mà không cần tạo một phương pháp bổ sung:

delstring a =() => "foo"; 
delobject b = new delobject(a); // or equivalently, a.Invoke 

Answer 2

Loại lý luận về sự Func được đánh dấu in và out, vì vậy bạn có thể gán các loại từ một đến khác như bạn làm. Đây là phương sai của phương pháp trong generics.

delobject và delstring là các loại khác nhau và chúng không phải là biến thể, do đó bạn không thể chỉ định cho nhau. Nhưng với delobject, bạn có thể gán một trình xử lý trả về kiểu dẫn xuất, đây là phương thức khác nhau trong các đại biểu.

Answer 3

Delegates (MSDN):

Trong bối cảnh phương pháp quá tải, có chữ ký của một phương pháp không bao gồm giá trị trả về. Nhưng trong bối cảnh của các đại biểu, chữ ký không bao gồm giá trị trả lại. Nói cách khác, phương thức phải có cùng loại trả về làm đại biểu.

Kể từ khi kiểu trả về không chính xác trận đấu (ví dụ: object != string), việc chuyển nhượng không hợp lệ.

Vì vậy, bạn có thể có

delstring a =() => "foo"; // compiles 
delobject b = a;   // does not compile 
delobject c =() => "foo"; // compiles 

Như bạn chỉ ra, Func làm việc covariantly sử dụng out, trong khi các đại biểu thì không.