Tại sao VS cảnh báo tôi rằng typeof (T) không bao giờ là loại được cung cấp trong một phương pháp chung mà tham số kiểu bị hạn chế để thực hiện T?

Question

Tôi hy vọng câu hỏi là chính xác, vì vậy hãy cho bạn một ví dụ. Hãy tưởng tượng các phương pháp chung như sau:

public abstract class Base : IDisposable 
{ 
    public static IEnumerable<T> GetList<T>() 
     where T : Base 
    { 
     // To ensure T inherits from Base. 
     if (typeof(T) is Base) 
      throw new NotSupportedException(); 

     // ... 
    } 
} 

Theo MSDN từ khóa where hạn chế tham số kiểu T là loại Base hoặc kế thừa từ lớp này.

[...] mệnh đề where có thể bao gồm ràng buộc lớp cơ sở, cho biết loại phải có lớp được chỉ định làm lớp cơ sở (hoặc chính lớp đó) để được sử dụng làm loại đối số cho loại chung đó.

Ngoài ra mã này không biên dịch:

public static T GetFirst() 
    where T : Base 
{ 
    // Call GetList explicitly using Base as type parameter. 
    return (T)GetList<Base>().First(); 
} 

Vì vậy, khi sau mã cuối cùng typeof(T) nên trở Base, không nên nó? Tại sao Visual Studio sau đó in cảnh báo này cho tôi?

cảnh báo CS0184: Biểu thức đã cho không bao giờ được cung cấp (loại 'Demo.Base').

Answer 1

typeof(whatever) luôn trả về phiên bản loại Type. Type không xuất phát từ Base.

Những gì bạn muốn là thế này:

if(typeof(T) == typeof(Base)) 
    throw new NotSupportedException("Please specify a type derived from Base"); 

Cái gì đó có vẻ như nó là như nhau là thế này:

if(variableOfTypeT is Base) 

Nhưng điều đó có một ý nghĩa khác nhau.
Tuyên bố đầu tiên (với typeof(Base)) chỉ là true nếu T là Base. Nó sẽ là false đối với mọi loại có nguồn gốc từ Base.
Câu lệnh thứ hai (variableOfTypeT is Base) luôn là true trong lớp học của bạn, bởi vì mọi lớp học có nguồn gốc từ Base sẽ trả lại true để kiểm tra lớp cơ sở của nó.

Answer 2

Đó không phải là cách bạn kiểm tra thừa kế.

typeof(T) thuộc loại System.Type, không phải là Base. Để xem liệu T có bắt nguồn từ Cơ sở hay không, bạn nên sử dụng số IsSubclassOf method, như sau:

if(typeof(T).IsSubclassOf(typeof(Base)) ...