जेनेरिक तर्क प्रकार (डेल्फी)

Question

पर आधारित अनुमान टाइप करें मैं एक सामान्य फ़ंक्शन लिखने की कोशिश कर रहा हूं जो मिलान पैरामीटर प्रकार स्वीकार करता है।
डेल्फी सादे तर्कों के साधारण मामले में सही प्रकार के पैरामीटर का अनुमान लगाता है।

जैसे:

type 
    TFoo = class 
    function Pair<T>(e1, e2: T): TList<T>; 
    end; 

aFoo.Pair(1, 2); काम करता है बिल्कुल ठीक के साथ इस फोन कर, लेकिन जब मैं एक सामान्य प्रकार

type 
    TFoo = class 
    function InsertInto<T>(aList: TList<T>; aVal: T): TList<T>; 
    end; 

पैरामीटर हस्ताक्षर बदल सकते हैं और कोशिश यह कॉल करने के लिए
aFoo.InsertInto(TList<String>.Create, 'bar');

तब संकलक इसके बारे में शिकायत करता है:
E2010 Incompatible types: 'Generics.Collections.TList<uTest.TFoo.InsertInto.T>' and 'Generics.Collections.TList<System.String>'

क्या कोई तरीका है कि मैं इसे (या एक समान) विधि लिख सकता हूं, ताकि क्लाइंट को टाइप पैरामीटर को specity नहीं करना पड़े?
aFoo.InsertInto<String>(TList<String>.Create, 'bar');

Answer 1

मेरा अनुमान है कि डेल्फी की दृढ़ता से टाइप की गई प्रकृति से आता है।
uTest.TFoo.InsertInto.TSystem.String के बराबर है लेकिन यह वास्तव में एक अलग प्रकार है।

बहुत इस उदाहरण की तरह जहां Int1 और Int2 एक ही प्रकार के नहीं हैं:

var 
    Int1: array[1..10] of Integer; 
    Int2: array[1..10] of Integer; 
     ... 
    Int1 := Int2; // <== BOOM! E2008 Incompatible types (in XE2) 

वास्तविक समस्या प्रकार निष्कर्ष के साथ लेकिन प्रकार पास्कल/डेल्फी के सख्त नियमों के अनुसार संगत नहीं होने के साथ नहीं है ।