डेल्फी - जेनेरिक के साथ इंटरफ़ेस विरासत

Question

मैं वर्तमान में एक संकलन त्रुटि के साथ फंस गया हूं, हमारी कंपनी में कोई भी मदद नहीं कर सकता है और मुझे दुख की बात है कि एसओ या Google के लिए सही खोज पैटर्न नहीं मिल रहे हैं।

कोड के रूप में मैं 2 इंटरफेस, विरासत और 2 कक्षाओं का उपयोग कर रहा हूं, विरासत में मिला।

program Project22; 

{$APPTYPE CONSOLE} 
type 
    IStorageObject = interface(IInterface) 
    end; 
    TObjectStorage<T: IStorageObject> = class(TObject) 
    end; 
    IKeyStorageObject<TKey> = interface(IStorageObject) 
    end; 
    TKeyObjectStorage<TKey, T: IKeyStorageObject<TKey>> = class(TObjectStorage<T>) 
    end; 
    TImplementingClass<TKey> = class(TInterfacedObject, IKeyStorageObject<TKey>) 
    end; 
begin 
    TKeyObjectStorage<Integer, TImplementingClass<Integer>>.Create; 
end. 

'TKeyObjectStorage' के लिए संकलक त्रुटि है: निम्नलिखित कोड त्रुटि reproduces

[DCC Error] Project22.dpr(11): E2514 Type parameter 'T' must support interface 'IStorageObject'

मैं क्या लगता है, यह है कि संकलक पहचान नहीं कर रहा है कि क्लास 'TKeyObjectStorage के पैरामीटर टी 'सही ढंग से। यह सही होना चाहिए, क्योंकि वांछित प्रकार 'IKeyStorageObject' में मूल प्रकार IStorageObject है।

यह क्यों काम नहीं कर रहा है? मैं क्या गलत कर रहा हूं? क्या डेल्फी में यह संभव नहीं है?

Answer 1

अद्यतन

मूल प्रश्न एक समस्या जो मुझे पहचान (नीचे देखें) था। हालांकि, मैं जिस फिक्स का वर्णन करता हूं वह XE3 और बाद में ठीक है, लेकिन नीचे दिया गया प्रोग्राम XE2 में संकलित नहीं होता है। इस प्रकार मैंने निष्कर्ष निकाला कि यह एक एक्सई 2 जेनेरिक कंपाइलर बग है।

वैसे भी, यहाँ डेल्फी XE2 के लिए एक समाधान है:

{$APPTYPE CONSOLE} 
type 
    IStorageObject = interface(IInterface) 
    end; 
    TObjectStorage<T: IStorageObject> = class(TObject) 
    end; 
    IKeyStorageObject<TKey> = interface(IStorageObject) 
    end; 
    TKeyObjectStorage<TKey; T: IKeyStorageObject<TKey>, IStorageObject> = class(TObjectStorage<T>) 
    end; 
    TImplementingClass<TKey> = class(TInterfacedObject, IStorageObject, IKeyStorageObject<TKey>) 
    end; 
begin 
    TKeyObjectStorage<Integer, TImplementingClass<Integer>>.Create; 
end. 

---

मूल जवाब

यह बेहतर होता यदि आप एक पूरा कार्यक्रम है कि संकलक त्रुटि प्रदर्शित मुहैया कराई थी । आपको उस त्रुटि को देखने के लिए किसी ऑब्जेक्ट को तुरंत चालू करने का प्रयास करना होगा।

लेकिन, मुझे लगता है कि मैंने आपकी समस्या का पुनरुत्पादन किया है। तो मेरा मानना ​​है कि इस मुद्दे को इस कोड है कि यह है कि:

TKeyObjectStorage<TKey, T: IKeyStorageObject<TKey>> = ... 

TKey और T दोनों को सामान्य बाधा लागू होता है। अब, स्पष्ट रूप से आप केवल बाधा T पर लागू करना चाहते हैं ताकि आप लिखने के लिए की आवश्यकता होगी:

{$APPTYPE CONSOLE} 
type 
    IStorageObject = interface(IInterface) 
    end; 
    TObjectStorage<T: IStorageObject> = class(TObject) 
    end; 
    IKeyStorageObject<TKey> = interface(IStorageObject) 
    end; 
    TKeyObjectStorage<TKey; T: IKeyStorageObject<TKey>> = class(TObjectStorage<T>) 
    end; 
    TImplementingClass<TKey> = class(TInterfacedObject, IKeyStorageObject<TKey>) 
    end; 
begin 
    TKeyObjectStorage<Integer, TImplementingClass<Integer>>.Create; 
end. 

यह:

TKeyObjectStorage<TKey; T: IKeyStorageObject<TKey>> = ... 

यहाँ एक छोटी कार्यक्रम है कि में डेल्फी XE3 बदलाव के बाद संकलित है एक अर्ध-कॉलन के लिए एक अल्पविराम बदलना काफी बारीक है। महत्वपूर्ण विराम चिह्न द्वारा प्रोग्रामिंग कभी भी मजेदार नहीं है। उस ने कहा, आप औपचारिक पैरामीटर सूचियों में अल्पविराम और अर्ध-कॉलन के बीच के अंतर से परिचित हैं और इसलिए इसे यहां खींचे गए समान भेद को देखने के लिए आश्चर्य की बात नहीं आनी चाहिए। तुम सिर्फ पूरी तरह से प्रश्न में परिवर्तन किया था

Multiple Type Parameters

When you specify constraints, you separate multiple type parameters by semicolons, as you do with a parameter list declaration:

type 
    TFoo<T: ISerializable; V: IComparable> 

Like parameter declarations, multiple type parameters can be grouped together in a comma list to bind to the same constraints:

type 
    TFoo<S, U: ISerializable> ... 

In the example above, S and U are both bound to the ISerializable constraint.