C# generics có hỗ trợ các ràng buộc chữ ký kiểu không?

Question

Một trong những lợi ích với các mẫu C++ là bạn (ngầm) có thể yêu cầu một chữ ký kiểu nhất định (ví dụ kiểu T cần có một hàm x không có tham số và trả về một int). C# generics hỗ trợ một cái gì đó tương tự?

Tôi biết về các ràng buộc dựa trên lớp cơ sở hoặc giao diện nhưng đây không phải là những gì tôi đang tìm kiếm.

(Là một C++ lập trình viên học tập C# Tôi có thể bị nhầm lẫn rằng đây là một tính năng mà bạn muốn có trong C#. Bất kỳ ý kiến ​​về vấn đề này sẽ được appriciated cũng ...)

Answer 1

Không có gì ngoại trừ những ràng buộc bạn đã thấy (thực hiện, công bằng, bao gồm rất nhiều kịch bản phổ biến). Có một số cách giải quyết chung:

• dynamic, trong 4,0
• tay vịt-gõ bằng cách sử dụng phản ánh hoặc IL thế hệ vv

không ai trong số này đã loại kiểm tra vv, mặc dù tĩnh.

Answer 2

Có 5 loại trở ngại bạn có thể đặt vào generics trong .Net:

1. Ràng buộc phái sinh nêu lên mức tăng của tham số kiểu.
2. Hạn chế giao diện là các giao diện được thực thi bởi thông số loại.
3. Ràng buộc loại giá trị hạn chế tham số kiểu thành loại giá trị.
4. Ràng buộc loại tham chiếu hạn chế tham số kiểu cho loại tham chiếu.
5. Ràng buộc xây dựng quy định rằng tham số kiểu có một hàm tạo mặc định hoặc không có tham số.

This trang hiển thị thêm thông tin.

Answer 3

Có, thông qua giao diện. Bạn có thể định nghĩa một đối tượng chung có một kiểu mà phải có một giao diện cụ thể được triển khai thực hiện. Trong giao diện đó, về cơ bản bạn sẽ buộc phải thêm bất kỳ đối tượng nào vào danh sách chung chung đó, để có một chữ ký cụ thể.

Có hay không đó là những gì bạn đang không phải đang tìm kiếm, đó là cách bạn thực hiện nó. :)

Answer 4

No. Đây là những gì interface s cho. Tạo một interface xác định hợp đồng bạn muốn thực thi trong các ràng buộc loại. Sau đó, xác định rằng trong các ràng buộc.

Answer 5

Không, không được hỗ trợ trong C#. Như bạn đã nói, điều gần nhất đòi hỏi bạn phải có các lớp thực hiện một giao diện chung.

Bạn có thể cố gắng bắt chước hành vi bằng phản ánh, bằng cách tìm phương pháp theo chữ ký, nhưng đó là ràng buộc thời gian chạy và không phải là ràng buộc thời gian biên dịch.

Answer 6

Không, C# không có ràng buộc như vậy.Như bạn đã biết, các ràng buộc chung chỉ có thể thực thi thừa kế của một lớp cơ sở hoặc một giao diện, hoặc một vài ràng buộc khác (ràng buộc constructor new(), ràng buộc kiểu tham chiếu class, ràng buộc kiểu giá trị struct).

Bạn có thể đạt được hành vi mong muốn của mình bằng cách sử dụng đại biểu và có nhiều đại biểu chung có sẵn.
Ví dụ: Func<int> là đại biểu không có tham số và trả lại int. Func<string, DateTime, int> mất một số string và DateTime và trả về số int, v.v ...

Answer 7

Không, điều này là không thể. Nó chủ yếu là do sự khác biệt giữa các mẫu C++ và C# generics:

Khi bạn biên dịch mẫu C++, mã kết quả có các loại như vector<int> và vector<string>. Điều này có nghĩa là trình biên dịch phải biết tất cả các tham số kiểu có thể, nhưng nó cũng có nghĩa là nó có thể kiểm tra chúng đúng đắn.

Khi bạn biên dịch loại C# chung, bạn thực sự chỉ tạo một loại chung: List<T>. Bởi vì điều này, trình biên dịch C# không phải biết tất cả các loại có thể ở dạng biên dịch, có nghĩa là bạn có thể có các kiểu generic trong các thư viện nhị phân, điều này là không thể với C++. Nhưng điều này cũng có nghĩa là bạn không thể kiểm tra tất cả các loại. Để có thể làm điều gì đó như vậy, có những ràng buộc, nhưng họ không thể thực hiện một số việc kiểm tra thời gian biên dịch của C++, như kiểm tra sự hiện diện của các phương thức nhất định (không sử dụng giao diện hoặc một số lớp cơ sở) hoặc sự hiện diện của các toán tử thích hợp.

Trong C# 4, bạn có thể đạt được hiệu quả tương tự như loại mẫu sử dụng dynamic, nhưng điều này không không kiểm tra thời gian biên dịch, có nghĩa là bạn bị mất an toàn - bạn có thể đặt trong một loại mà không có các thành viên thích hợp và bạn sẽ không tìm ra cho đến khi bạn đạt đến dòng mã đó khi chạy.