Нет. Я конечно очень уважаю "Остап Ибрагимыча" (разработчиков Borland'а). И это не пустые слова. Мне до их уровня - ещё расти и расти. Но у меня в голове всё никак не укладывается вот это:
По мне - одноимённые protected поля в соседних классах - это не комильфо. Особенно если они выполняют ОЧЕНЬ СХОДНЫЕ функции. Куда лучше было бы хотя бы назвать одно поле FClientControl, а другое - FClientWinControl. На мой вкус. Не говоря уж о ненужном дублировании данных. Всегда вообще-то можно приведение типов написать. И проверку в момент присвоения (AssignClient). Не говоря уж о то, что эта ссылка - НИГДЕ не чистится. А тут имеем БОЛЬШИЕ проблемы с Detsroy. Я правда пока ещё не нащупал - какие именно. Нащупаю - обязательно напишу.
Но по мне этот код и производные от него - "дурно пахнут". Простите уж.
Я думал - хоть под XE это переделали... Ничего подобного :-(
- получается, что Borland "задал дурной тон", а другие его - банально подхватили. Без критической оценки.
И такого - "дурно пахнущего кода" - сотни строк у разных независимых разработчиков. Очень жаль, что драйвер процесса задал этот "дурной тон". Ну или я чего-то не понимаю.
Update. И беда как раз не в том, что "Borland сделал криво", в конце-концов - у них "всего пара классов", а в том, что сотни разработчиков эту кривизну подхватили. Ну или я чего-то недопонимаю.
Хотя не перестаю уважать разработчиков Delphi. Хорошее дело делают.
P.S. К коду FireMonkey - у меня тоже есть ряд претензий. Я их позже озвучу. Когда глубже вникну в проблему. Ну или напишу, что их нет, если пойму, что это так или убежу себя в том, что их нет.
P.P.S. Я объяснил свою позицию вроде. Буду рад, если кто-то объяснит её ошибочность.
P.P.P.S. Тут кстати явно в языке бы добавить "шаблонную типизацию с наследованием". Как-то так:
TControlActionLink = class(TActionLink)
template type TClientType = TControl;
protected
FClient: <TClientType>;
private
procedure AssignClient(aClient : <TClientType>);
...
TWinControlActionLink = class(TControlActionLink)
override template type TClientType = TWinControl;
....
С контролем всего этого хозяйства компилятором. У меня кстати подобное есть. В скриптовой машине. Правда там не статически, а в run-time это проверяется. Ну хотя бы в run-time - сейчас-то ведь не лучше. Сейчас по сути в run-time и происходит.
А ещё я бы TActionLink - сделал бы вложенным классом. Тоже с "шаблонной типизацией с наследованием". И различал бы abstract class и не abstract class. И требовал бы типизацию для неабстракных классов.
TControl = class(TCompenent)
template type TControlActionLink = class(TActionLink)
template type TClientType = TControl;
protected
FClient: <TClientType>;
private
procedure AssignClient(aClient : <TClientType>);
...
end;
...
end;
TWinControl = class(TControl)
reimplement template type TControlActionLink = class(TControl.TControlActionLink)
override template type TClientType = TWinControl;
end;
...
end;
-- как-то так. Сродни примесям где-то. Это можно кстати сделать через введение "скрытых виртуальных функций". То есть на уровне "препроцессора".
Ввести
function TClientType_Class: TControl; virtual;
Определять её в КАЖДОМ классе, где переопределён TClientType:
class function TControl.TControlActionLink.TClientType_Class: class of TControl; virtual;
begin
Result := TControl;
end;
class function TWinControl.TControlActionLink.TClientType_Class: class of TControl; override;
begin
Result := TWinControl;
end;
class function TControl.TControlActionLink_Class: class of TControl.TControlActionLink; virtual;
begin
Result := TControl.TControlActionLink;
end;
class function TWinControl.TControlActionLink_Class: class of TControl.TControlActionLink; override;
begin
Result := TWinControl.TControlActionLink;
end;
Вместо:
FClient := aValue;
компилировать:
FClient := aValue As TClientType_Class;
Вместо:
FActionLink := TControlActionLink.Create(Self);
компилировать:
FActionLink := ControlActionLink_Class.Create(Self);
Ну как-то так. Ну и по рекурсии конечно.
Ну и при статическом обращению к полю FClient и FActionLink - раскрывать их тип в зависимости уже от контекста. Для TControl подставлять одно, для TWinControl - другое. Всё кстати - срастается.
СЛОЖНО - да. Но не невозможно. У себя в скриптах - я пожалуй такое сделаю. Не вижу там препятствий.
Это конечно тоже - "Чудесный ужас". Но из другой оперы. Разрыв шаблонов.
В шаблонах кодогенерации я кстати уже сделал подобное. В шаблонах VCM (не путать с MVC, хотя это из той же оперы, только View->Controller->Model(->Data)). А я то и смотрю, что что-то - знакомое. Когда я до конца это расписал. Привести пример с картинками и кодом?
P.P.P.S. Подозреваю, что всё, что я описал - в каком-нибудь "экзотическом" языке программирования - УЖЕ есть. Мне вообще - пока не удалось - что-нибудь РЕАЛЬНО новое придумать.
