So sánh loại chung với giá trị mặc định của nó, không có giới hạn lớp chung, cung cấp lỗi biên dịch

Question

Tôi chỉ gặp tình huống này và tôi nghĩ đó là cơ hội tốt để sử dụng từ khóa mặc định. Nhưng nó không biên dịch và tôi không thể nghĩ tại sao. Ví dụ dưới đây minh họa vấn đề của tôi:

public class Test<TDataSource> 
{ 
    public IQueryable<TDataSource> DataSource { get; set; } 

    public bool GetOneOrDefaultResult() 
    { 
     var result = DataSource.SingleOrDefault(); 
     return result != default(TDataSource); 
    } 
} 

Bạn sẽ nhận được một lỗi trên dòng 8 (" '==' điều hành có thể không được áp dụng cho toán hạng của loại 'TDataSource' và 'TDataSource'."). Tôi nghĩ rằng việc sử dụng từ khóa mặc định sẽ loại bỏ bất kỳ vấn đề so sánh nào giữa các loại tham chiếu và loại giá trị.

Thêm ràng buộc chung hạn chế TDataSource vào loại tham chiếu làm cho đoạn mã này biên dịch.

Ai đó có thể giải thích tại sao trình biên dịch sẽ không khắc phục điều này cho tôi? Nó chỉ là không đủ thông minh để thấy điều này sẽ làm việc?

này liên quan: Can't operator == be applied to generic types in C#?

[Chỉnh sửa] SLaks câu trả lời cho tôi một số nguồn cảm hứng, các '==' nhà điều hành sẽ không làm việc, nhưng Equals chức năng nên.

public class Test<TDataSource> 
{ 
    public IQueryable<TDataSource> DataSource { get; set; } 

    public bool GetOneOrDefaultResult() 
    { 
     var result = DataSource.SingleOrDefault(); 
     return result.Equals(default(TDataSource)); 
    } 
} 

Biên dịch này có hoạt động chính xác không?

Answer 1

Bạn không thể giả định rằng mọi loại giá trị sẽ ghi đè toán tử ==. (Và ngay cả khi họ đã làm, thì sẽ không có cách nào để gọi nó là sử dụng Generics; đó là một phương pháp tĩnh)

Thay vào đó, bạn nên viết

return !(ReferenceEquals((object)result, (object)default(TDataSource)) 
      || result.Equals(default(TDataSource))); 

Nếu result là null (và một loại tài liệu tham khảo), cuộc gọi ReferenceEquals sẽ trả lại true, vì vậy Equals sẽ không được gọi và sẽ không ném một số NullReferenceException.
Nếu TDataSource là loại giá trị, thì ReferenceEquals sẽ so sánh hai tham chiếu được đóng hộp khác nhau (có thể chứa cùng một giá trị nhưng vẫn khác nhau), vì vậy nó sẽ chuyển sang cuộc gọi Equals.