Loại có thể là loại tham chiếu và loại giá trị cùng một lúc không?

Question

Nếu không và các thiết lập của các loại tài liệu tham khảo và các loại giá trị loại trừ lẫn nhau, tại sao không biên dịch này:

bang

public static void Do<T>(T obj) where T : struct { } 
public static void Do<T>(T obj) where T : class { } 

Trình biên dịch: "Gõ đã định nghĩa một thành viên gọi là 'làm' với các loại thông số tương tự ", nhưng T và T không giống nhau ở đây. Một là ràng buộc với cấu trúc, cái còn lại là ràng buộc đối với các lớp. Cuộc gọi đến hàm phải luôn có thể giải quyết được. Có các ví dụ truy cập không?

Answer 1

Các ràng buộc chung không được thực hiện như là một phần của quá tải khớp. Nó giống như kiểu trả về.

Ví dụ, điều này sẽ dẫn đến các lỗi tương tự (quá tải chỉ khác nhau ở kiểu trả về):

public static int Do<T>(T obj) { } 
public static bool Do<T>(T obj) { } 

Trong cả hai trường hợp này, các quy tắc cho phù hợp với một tình trạng quá tải đưa vào tài khoản chỉ các thông số chủng loại, bỏ qua các thông tin bổ sung như ràng buộc và kiểu trả về.

Answer 2

Không, các loại không bao giờ có thể là cả hai. Mã không thành công vì thông số chung (<T>, nghĩa là, không phải là T obj) không có khái niệm "quá tải". Cũng không có bất cứ điều gì giống với chuyên môn mẫu C++.