Làm cách nào để kiểm tra biến kiểu chung cho sự bình đẳng với Mặc định (T) trong Delphi?

Question

Tôi đang cố gắng để viết một accessor tài sản lưu trữ chung chung như sau nhưng đang nhận được một lỗi biên dịch khi cố gắng kiểm tra xem biến lưu trữ đã có chứa một giá trị:

function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T; 
begin 
    if ADataValue = Default(T) then // <-- compiler error on this line 
    ADataValue := ARetriever(); 
    Result := ADataValue; 
end; 

Các lỗi tôi nhận được là " Toán tử E2015 không áp dụng cho loại toán hạng này ".

Tôi có phải đặt một ràng buộc trên T để thực hiện công việc này không? Tệp trợ giúp cho biết rằng Default() sẽ chấp nhận bất kỳ điều gì ngoại trừ các loại chung chung. Trong trường hợp của tôi, tôi chủ yếu giao dịch với các loại đơn giản như String, Integer và TDateTime.

Hoặc có chức năng thư viện nào khác để thực hiện kiểm tra cụ thể này không?

Tôi đang sử dụng Delphi 2009 trong trường hợp có vấn đề.

---

PS: Chỉ trong trường hợp nó không phải là rõ ràng từ mã những gì tôi đang cố gắng để làm: Trong trường hợp của tôi xác định giá trị tài sản thực tế có thể mất một thời gian vì nhiều lý do và đôi khi tôi có thể thậm chí không cần tất cả. Tuy nhiên, tôi chỉ muốn gọi mã xác định giá trị thực khi lần đầu tiên thuộc tính được truy cập và sau đó lưu trữ giá trị trong trường lớp và lần tiếp theo thuộc tính được truy xuất trả về giá trị được lưu trong bộ nhớ cache trực tiếp. Dưới đây là một ví dụ về cách tôi hy vọng tôi sẽ có thể sử dụng mã rằng:

type 
    TMyClass = class 
    private 
    FSomeProp: String; 
    function GetSomeProp: String; 

    function GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T; 
    public 
    property SomeProp read GetSomeProp; 
    end; 

function GetSomeProp: String; 
begin 
    Result := GetProp<String>(FSomeProp, 
          function: String 
          begin 
           Result := SomeSlowOrExpensiveCalculation; 
          end); 
end; 

(rõ ràng, có nhiều hơn chỉ là một tài sản)

Answer 1

Sau một gợi ý trong các ý kiến ​​từ Binis và đào bới xung quanh một chút trong Generics.Collections tôi đã đưa ra những điều sau đây mà dường như chỉ làm việc như tôi muốn nó :

function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T; 
var 
    lComparer: IEqualityComparer<T>; 
begin 
    lComparer := TEqualityComparer<T>.Default; 
    if lComparer.Equals(ADataValue, Default(T)) then 
    ADataValue := ARetriever(); 
    Result := ADataValue; 
end; 

Answer 2

Vấn đề không phải là Default chức năng, nhưng các nhà điều hành bình đẳng = .

Bạn có thể hạn chế T-IEquatable và sử dụng phương pháp Equals như thế này:

TMyClass = class 
    function GetProp<T : IEquatable<T>>(var ADataValue: T; const ARetriever: 
end; 
... 
function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T; 
begin 
if ADataValue.Equals (Default(T)) then 
    ADataValue := ARetriever(); 
Result := ADataValue; 
end; 

Answer 3

Như tôi hiểu được những điều có vẻ như u muốn làm một số loại chức năng memoize. Nếu đây là trường hợp chỉ cần đọc bài viết này

http://blogs.teamb.com/craigstuntz/2008/10/01/37839/