В Delphi как вы можете проверить, реализует ли ссылка IInterface производный, но явно не поддерживаемый интерфейс?

если у меня есть следующие интерфейсы и класс, который реализует их -

IBase = Interface ['{82F1F81A-A408-448B-A194-DCED9A7E4FF7}']
End;

IDerived = Interface(IBase) ['{A0313EBE-C50D-4857-B324-8C0670C8252A}']
End;

TImplementation = Class(TInterfacedObject, IDerived)
End;

следующий код печатает " плохо!'-

Procedure Test;
Var
    A : IDerived;
Begin
    A := TImplementation.Create As IDerived;
    If Supports (A, IBase) Then
        WriteLn ('Good!')
    Else
        WriteLn ('Bad!');
End;

это немного раздражает, но понятно. Поддержка не может привести к IBase, потому что IBase нет в списке GUID, которые поддерживает TImplementation. Это можно исправить, изменив объявление на -

TImplementation = Class(TInterfacedObject, IDerived, IBase)

но даже без этого я уже знаю что A реализует IBase, потому что A является IDerived, а IDerived-это IBase. Поэтому, если я оставлю чек, я могу бросить, и все будет хорошо -

Procedure Test;
Var
    A : IDerived;
    B : IBase;
Begin
    A := TImplementation.Create As IDerived;
    B := IBase(A);
    //Can now successfully call any of B's methods
End;

но мы сталкиваемся с проблемой, когда начинаем помещать IBases в общий контейнер - TInterfaceList, например. Он может содержать только IInterfaces, поэтому нам нужно сделать некоторое литье.

Procedure Test2;
Var
    A : IDerived;
    B : IBase;
    List : TInterfaceList;
Begin
    A := TImplementation.Create As IDerived;
    B := IBase(A);

    List := TInterfaceList.Create;
    List.Add(IInterface(B));
    Assert (Supports (List[0], IBase)); //This assertion fails
    IBase(List[0]).DoWhatever; //Assuming I declared DoWhatever in IBase, this works fine, but it is not type-safe

    List.Free;
End;

Я очень хотел бы иметь какое - то утверждение, чтобы поймать любые несоответствующие типы-такого рода вещи можно сделать с объектами, используя оператор Is, но это не работает для интерфейсов. По разным причинам я не хочу явно добавлять IBase в список поддерживаемых интерфейсов. Есть ли способ написать TImplementation и утверждение таким образом, чтобы оно оценивалось как true IFF hard-casting IBase(List[0]), это безопасная вещь?

Edit:

поскольку он появился в одном из ответов, я добавляю две основные причины, по которым я не хочу добавлять IBase в список интерфейсов, которые TImplementation реализует.

во-первых, это на самом деле не решит проблему. Если в Test2 выражение:

Supports (List[0], IBase)

возвращает true, это не означает, что безопасно выполнять жесткий бросок. QueryInterface может возвращать другой указатель для удовлетворения запрошенного интерфейса. Например, если TImplementation явно реализует IBase и IDerived (и IInterface), то утверждение пройдет успешно:

Assert (Supports (List[0], IBase)); //Passes, List[0] does implement IBase

но представьте, что кто-то ошибочно добавляет элемент в список как IInterface

List.Add(Item As IInterface);

утверждение все еще проходит - элемент все еще реализует IBase, но ссылка, добавленная в список, является только IInterface - жесткое литье его на IBase не приведет к чему-либо разумному, поэтому утверждение недостаточно для проверки безопасности следующего жесткого литья. Единственный способ, который гарантированно будет работать, - использовать as-cast или supports:

(List[0] As IBase).DoWhatever;

но это расстраивает стоимость производительности, поскольку предполагается, что ответственность за добавление элементов в список несет код, чтобы гарантировать, что они относятся к типу IBase - мы должны иметь возможность предположить это (следовательно, утверждение поймать, если это предположение ложно). Утверждение даже не нужно, за исключением того, чтобы поймать более поздние ошибки, если кто-то изменит некоторые из типов. Исходный код, из которого эта проблема исходит, также довольно важен для производительности, поэтому стоимость производительности, которая достигает мало (она все еще ловит несоответствующие типы время выполнения, но без возможности компиляции более быстрой сборки выпуска) - это то, чего я бы предпочел избежать.

вторая причина - я хочу иметь возможность сравнивать ссылки для равенства, но это не может быть сделано, если один и тот же объект реализации удерживается разными ссылками с разными смещениями VMT.

Edit 2: расширил приведенное выше редактирование примером.

Edit 3: Примечание: вопрос в том, как я могу сформулировать утверждение так что жесткий бросок безопасен, если утверждение проходит, а не как избежать жесткого бросания. Есть способы сделать жесткий шаг по-другому или полностью избежать его, но если есть стоимость выполнения, я не могу их использовать. Я хочу, чтобы вся стоимость проверки в утверждении была скомпилирована позже.

сказав это, если кто-то может избежать проблемы вообще без стоимости производительности и без опасности проверки типа, это было бы здорово!