Làm thế nào để xác định các loại không được phép trong một hạn chế NET Generics?

Question

Có thể chỉ định ràng buộc trên một lớp chung không cho phép một số loại nhất định không? Tôi không biết nếu nó là có thể và nếu có, tôi không chắc chắn cú pháp sẽ là gì. Một cái gì đó như:

public class Blah<T> where : !string { 
} 

Tôi dường như không tìm thấy bất kỳ ký hiệu nào cho phép hạn chế như vậy.

Answer 1

Gần nhất bạn có thể nhận được là hạn chế thời gian chạy.

Chỉnh sửa: Ban đầu tôi đặt kiểm tra thời gian chạy trong lệnh gọi hàm tạo. Đó thực sự không phải là tối ưu, vì nó phải gánh chịu mọi chi phí trên mọi instantiation; Tôi tin rằng nó sẽ được nhiều hơn nữa hợp lý để đặt dấu check ở mục tĩnh constructor, mà sẽ được gọi một lần cho mỗi loại sử dụng làm tham số T cho loại Blah<T> của bạn:

public class Blah<T> { 
    static Blah() { 
     // This code will only run ONCE per T, rather than every time 
     // you call new Blah<T>() even for valid non-string type Ts 
     if (typeof(T) == typeof(string)) { 
      throw new NotSupportedException("The 'string' type argument is not supported."); 
     } 
    } 
} 

Rõ ràng không lý tưởng, nhưng nếu bạn đặt ràng buộc này vào vị trí và ghi lại thực tế là string không phải là đối số kiểu được hỗ trợ (ví dụ: thông qua nhận xét XML), bạn sẽ nhận được ở đâu đó gần hiệu quả của ràng buộc biên dịch.

Answer 2

Không, bạn không thể xác định trực tiếp các hạn chế loại "phủ định".

Answer 3

Ràng buộc chỉ có thể là những hạn chế tích cực, như được nêu trong documentation.

Điều duy nhất bạn có thể làm là xác định những loại thể được đưa vào các loại chung chung, nhưng bạn không thể xác định những gì không thể được đưa vào chúng.

Answer 4

Dưới đây là những hạn chế cho phép (more detail)

• nơi T: struct
• nơi T: lớp
• nơi T: new()
• nơi T: [tên lớp cơ sở]
• trong đó T: [tên giao diện]
• trong đó T: U (Đối số kiểu được cung cấp cho T phải là hoặc lấy được từ đối số được cung cấp cho U)