델파이 - 제네릭을 사용한 인터페이스 상속

Question

현재 컴파일 오류가 발생했습니다. 아무도 저희 회사에서 도움을 줄 수 없으며 슬프게도 SO 또는 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'에 대한 컴파일러 오류는 다음과 같습니다 : 다음 코드는 오류를 재현

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

나는 컴파일러가 인식되지 않는다는 생각 무슨 클래스 'TKeyObjectStorage의 매개 변수 T '제대로. 원하는 유형 'IKeyStorageObject'에 상위 유형 IStorageObject가 있으므로 올바른 값이어야합니다.

왜 작동하지 않습니까? 내가 도대체 ​​뭘 잘못하고있는 겁니까? 델파이에서는 이것이 불가능합니까?

Answer 1

업데이트

원래의 질문 (아래 참조) 나는 식별되는 문제가 있었다. 그러나 거기에 설명 된 수정 프로그램은 XE3 이상에서는 좋지만 아래 프로그램은 XE2에서 컴파일되지 않습니다. 따라서 이것이 XE2 제네릭 컴파일러 버그라고 결론을 내립니다.

어쨌든, 여기 델파이 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.