Tại sao các loại TGeneric <Base> và TGeneric <Descendant> không tương thích?

Question

Tôi đã bắt đầu sử dụng Generics trong Delphi 2010 nhưng tôi có một vấn đề khi biên dịch đoạn mã này:

TThreadBase = class(TThread) 
... 
end; 

TThreadBaseList<T: TThreadBase> = class(TObjectList<T>) 
... 
end; 

TDataProviderThread = class(TThreadBase) 
... 
end; 

TDataCore = class(TInterfacedObject, IDataCore) 
private 
    FProviders: TThreadBaseList<TDataProviderThread>; 
... 
end; 

Sau đó, tôi có một số thủ tục lồng nhau:

procedure MakeAllThreadsActive(aThreads: TThreadBaseList<TThreadBase>); 
begin 
... 
end; 

Và cuối cùng tôi muốn gọi thủ tục lồng nhau này trong mã của lớp TDataCore:

MakeAllThreadsActive(FProviders); 

Nhưng biên dịch không muốn để biên dịch nó và nó nói (' <>' dấu ngoặc được thay thế bằng '()'):

[DCC Lỗi] LSCore.pas (494): E2010 loại không tương thích: 'TThreadBaseList (TThreadBase)' và 'TThreadBaseList (TDataProviderThread)'

Tôi không hiểu nó mặc dù TDataProviderThread là hậu duệ của TThreadBase.

tôi phải sửa chữa nó bằng cách typecasting cứng:

MakeAllThreadsActive(TThreadBaseList<TThreadBase>(FProviders)); 

Không ai biết lý do tại sao các trình biên dịch cho biết lỗi này?

Answer 1

TDataProviderThread là hậu duệ của TThreadBase, nhưng TThreadBaseList<TDataProviderThread> không phải là hậu duệ của TThreadBaseList<TThreadBase>. Đó không phải là thừa kế, nó được gọi là hiệp phương sai, và mặc dù nó có vẻ giống như điều tương tự, nó không phải và nó phải được hỗ trợ riêng biệt. Hiện tại, Delphi không hỗ trợ nó, mặc dù hy vọng nó sẽ được phát hành trong tương lai. Đây là lý do cơ bản cho vấn đề hiệp phương sai: Nếu chức năng bạn chuyển nó đến là mong đợi một danh sách các đối tượng TThreadBase, và bạn chuyển nó một danh sách các đối tượng TDataProviderThread, không có gì để giữ nó khỏi gọi .Thêm và dán một số đối tượng TThreadBase khác vào danh sách không phải là một TDataProviderThread, và bây giờ bạn đã có tất cả các loại vấn đề xấu xí. Bạn cần các thủ thuật đặc biệt từ trình biên dịch để đảm bảo điều này không thể xảy ra, nếu không bạn sẽ mất an toàn kiểu của mình.

EDIT: Đây là một giải pháp khả thi cho bạn: Hãy MakeAllThreadsActive thành một phương pháp chung chung, như thế này:

procedure MakeAllThreadsActive<T: TThreadBase>(aThreads: TThreadBaseList<T>); 

Hoặc bạn có thể làm những gì Uwe Raabe gợi ý. Hoặc là một trong những sẽ làm việc.

Answer 2

Loại

TList <TBase> 

không phải là loại mẹ của

TList <TChild> 

Generics không thể được sử dụng theo cách đó.