參數X型的必須支持接口Ÿ

Question

我有一個設置，如下所示：

IBuilder = interface(IInvokable) 
end; 

IBuilder<T: IBuilder; TOut : TWinControl> = interface(IInvokable) 
end; 

TBuilder<T: IBuilder; TOut : TWinControl> = class(TInterfacedObject, IBuilder, IBuilder<T, TOut>) 
end; 

TBuilder = class(TBuilder<TBuilder, TWinControl>) 
end; 

這種結構使我能夠建立一個糖的語法像這樣：

TBuilder<T : IBuilder; TOut : TWinControl> = class(TInterfacedObject, IBuilder, IBuilder<T, TOut>) 

    function Output : TOut; 
    function Name(aName : string) : T; 
    function Left(aLeft : Integer) : T; 
    function Top(aTop : Integer) : T; 

end; 

// ... later 

TBuilder.Create().Left(10).Top(5).Name('ABC'); // Nice one liner 

的問題是，我得到一個編譯錯誤，說

E2514 The type parameter TBuilder must support interface 'IBuilder'. 

這可能是由於該類型的約束T: IBuilder prese nt在界面上，即使TBuilder確實支持IBuilder（通過它的祖先）。

任何人都可以請指導我如何解決這個問題？

雖然，我不能用TBuilder = class(TBuilder<IBuilder, TObject>)

Answer 1

這不能做。你基本上試圖做到這一點：

IBar = interface(IInterface) end; 

    TFoo<T : IBar> = class(TObject, IBar) end; 

    TBar = TFoo<TBar>; 

產生錯誤

E2086型「TBAR」尚未完全確定

沒有接口依賴，你可以寫爲

TBar = class(TFoo<TBar>) end; 

使它成爲真正的後代而不僅僅是阿里如。這通常可以解決該類型，但接口依賴性迫使編譯器提出以下問題：請問TBar是否支持IBar？

如果你仔細想想，這個作品出來爲：

TBar = TFoo<TBar> {TBar support IBar?} 
      | 
      TBar = TFoo<TBar>... {ok, TBar support IBar?} 
          | 
         TBar = TFoo<TBar> {ok, TBar support IBar?} 
             | 
             {...turtles all the way down} 

你問的編譯器來解決無限遞歸問題。它不能做到這一點。

Answer 2

您可以通過更改方法的返回類型並排除遞歸類型參數來解決此問題。

interface 
type 
    //IBuilder = interface(IInvokable) 
    //end; //I don't think you need this 

    IBuilder<TOut : TWinControl> = interface(IInvokable) 
    function Output : TOut; 
    function Name(const aName : string) : IBuilder<TOut>; 
    function Left(aLeft : Integer) : IBuilder<TOut>; 
    function Top(aTop : Integer) : IBuilder<TOut>; 
    end; 

TFactory<TOut: TWinControl> = record 
    class function New: IBuilder<TOut>; static; 
end; 

implementation 
type  
    //Put the actual class in the implementation 
    TBuilder<TOut : TWinControl> = class(TInterfacedObject, IBuilder<TOut>) 
    //see interface 
    end; 

您通常使用像這樣：

var 
    MyButton: IBuilder<TButton>; 
begin 
    MyButton:= TFactory<TButton>.New.Left(10).Top(5).Name('ABC'); 

如果你使用的接口，那麼你不應該與類的工作，總是以完全交互的界面。通過在實現中移動類定義，可以強制執行此操作。爲了補償你在界面中添加一個工廠方法。

在這種情況下，它必須是一個記錄，因爲你還不能擁有通用的獨立方法。

class function TFactory<TOut>.New: IBuilder<TOut>; 
begin 
    Result:= TBuilder<TOut>.Create; 
end;