Избегайте кастинга при передаче объектов через библиотечный код (в Delphi)

Question

При разработке библиотек я часто прибегаю к следующему шаблону, который мне не нравится, так как это приводит к большому количеству тиков.

Основная картина:
код с использованием библиотеки руки объект в библиотеке, библиотека затем передает объект обратно в вызывающий код. Вызывающий код вынужден выдать объект, так как библиотека возвращает общий тип. (Урезанный пример кода ниже)

Библиотека определяет следующие объекты и функцию:

TThing = Class 
End; 

TThingProcessor = Class 
Public 
    Function CreateThing : TThing; Virtual; Abstract; 
    Procedure ProcessThing (Thing : TThing); Virtual; Abstract; 
End; 

Procedure DoEverything (Processor : TThingProcessor); 

Вызывающий код затем использует библиотеку путем переопределения объектов и вызова DoEverything, следующим образом: -

TMyThing = Class(TThing) 
Public 
    X : Integer; 
End; 

TMyThingProcessor = Class(TThingProcessor) 
Public 
    XSum : Integer; 

    Function CreateThing : TThing; Override; 
    Procedure ProcessThing (Thing : TThing); Override; 
End; 

Function TMyThingProcessor.CreateThing : TThing; 
Begin 
    Result := TMyThing.Create; 
End; 

Procedure TMyThingProcessor.ProcessThing (Thing : TThing); 
Begin 
    XSum := XSum + (Thing As TMyThing).X; 
    //Here is the problem, the caller is forced to cast to do anything 
End; 

Класс процессора также является фабрикой TThing. Библиотека гарантирует, что она будет передавать только TThings в соответствующий твингпроцессор, который их создал, поэтому он работает, но не безопасен для типов. Хотя приведенный выше код немного глуп в том, что он на самом деле ничего не делает, он показывает, почему ProcessThing нельзя просто переключить на TThing и быть полиморфным - переменная XSum нуждается в обновлении.

Как я могу реструктурировать код, чтобы сделать бросок ненужным? Мне нужно сохранить код библиотеки отдельно, но иметь возможность принимать любой тип.

Edit: Изменена жесткие преобразованный в литом из-за предложения, так что, по крайней мере, два исключения вместо аварии в случае несогласованных типов

Answer 1

Вы используете Delphi 2009? Это очень полезно для дженериков. Измените свои объявления на:

TThingProcessor<T: TThing> = Class 
Public 
    Function CreateThing : T; Virtual; Abstract; 
    Procedure ProcessThing (Thing : T); Virtual; Abstract; 
End; 


TMyThingProcessor = Class(TThingProcessor<TMyThing>) 
Public 
    XSum : Integer; 

    Function CreateThing : TMyThing; Override; 
    Procedure ProcessThing (Thing : TMyThing); Override; 
End; 

Больше нет литья.

Answer 2

Вы должны перестроить свой код. Если вы делаете много создания «TThing», тогда у него должен быть класс предков с методом обработки IRS, объявленным как виртуальный, тогда вы просто работаете с предком. Как правило, всегда можно определить общий «базовый класс», когда вы делаете подобные вызовы для очень разных классов. Если вы не можете создать такую ​​структуру классов, используйте интерфейс, чтобы определить свои требования к обработке и подключите этот интерфейс к вашему TThing.

В крайнем случае, когда вы не можете избежать слепок, используйте следующее для удобства чтения и отладки ...

procedure Something(ASender : TObject); 
var 
    MyThing : TMyThing; 
begin 
    MyThing := ASender as TMyThing; 
    MyTHing.DoSomething; 
    MyThing.DoSomethingElse; 
end; 

Answer 3

Если TMyThingProcessor будет принимать только объекты TMyThing и основные объекты TThing не будет работать, то не пытайтесь делать это полиморфно. Объявите ProcessThing с помощью повторно; вместо переопределить; директива.

Кроме того, если у вас есть, функции Generics Delphi 2009 помогают в сокращении ложных приемов в определенных ситуациях.