Làm thế nào các phương thức chung được khởi tạo trong C#?

Question

Giả sử tôi đã là một phương pháp chung chung như:

void Fun<T>(FunArg arg) {} 

Are this.Fun<Feature> và this.Fun<Category> instantiations khác nhau của phương pháp chung chung?

Nói chung, phương pháp chung được khởi tạo như thế nào? Đối số chung khác nhau tạo ra phương thức khác nhau hoặc cùng một phương thức cùng với siêu dữ liệu khác nhau được sử dụng trong thời gian chạy?

Vui lòng hỗ trợ câu trả lời của bạn với một số trích dẫn từ đặc tả ngôn ngữ.

Ngoài ra, giả sử tôi đã làm những:

client.SomeEvent += this.Fun<Feature>; //line1 
client.SomeEvent += this.Fun<Category>; //line2 
client.SomeEvent += this.Fun<Result>; //line3 

rồi sau này,

client.SomeEvent -= this.Fun<Feature>; //lineX 

Liệu lineX undo điều mà tôi đã làm tại line1? Hoặc nó phụ thuộc vào cái gì khác cũng?

Answer 1

Tùy thuộc vào loại có liên quan.

Đối với tất cả các loại tài liệu tham khảo (ví dụ. lớp), một phương pháp sẽ được JITted để xử lý tất cả.

Đối với tất cả các loại giá trị (ví dụ. struct), một phương pháp mỗi loại sẽ được JITted.

Vì vậy, thông tin trong câu hỏi không đủ chi tiết để trả lời, nếu Feature và Category là các loại tham chiếu, thì có, một phương pháp sẽ được JITted cho chúng. Nếu một trong số chúng, hoặc cả hai, là các kiểu giá trị, thì một phương thức cho mỗi loại giá trị sẽ được JITted.

Lưu ý việc sử dụng từ JITted tại đây. Trong assembly được biên dịch, sẽ chỉ có một phương thức, nhưng tại thời gian chạy, JITter sẽ tạo ra các triển khai thực tế của các phương thức chung theo các quy tắc trên.

Câu hỏi bật lên: Điều gì sẽ xảy ra nếu bạn sử dụng NGEN trên một bản lắp ráp với các loại/phương pháp chung? (Gợi ý: not what you think)

Answer 2

Có, chúng sẽ trở thành hai phương pháp riêng biệt.

Answer 3

Tất cả họ đều chia sẻ một định nghĩa phương pháp , nhưng khi chạy chúng khác nhau MethodInfo - bởi vì các đối số kiểu generic xác định một phương pháp chung.

Hỗ trợ minh họa:

Action<FunArg> a1 = Fun<X>; 
    Action<FunArg> a2 = Fun<Y>; 
    Action<FunArg> a3 = Fun<Y>; 
    Console.WriteLine(a1.Method == a2.Method); // false 
    Console.WriteLine(a3.Method == a2.Method); // true 

Ở cấp JIT, đó là phức tạp hơn; bất kỳ tham số kiểu tham chiếu nào sẽ chia sẻ một triển khai, làm tham chiếu là tham chiếu là một tham chiếu (lưu ý rằng tất cả T phải đáp ứng mọi hạn chế trước).Nếu có giá trị loại T, thì mọi kết hợp của các đối số loại chung sẽ có một triển khai riêng biệt trong thời gian chạy, vì mỗi yêu cầu thực hiện cuối cùng khác nhau.