1) Есть Class1, с методом Mtd.
2) Eсть Class2 наследованный от Class1, метод Mtd перезаписан
3) В программе используется переменная типа Class2

Можно ли из программы вызвать Mtd от Class1, Другими словами, можно ли вызвать перезаписанный метод класса-предка?

У меня всегда получалось это прямым преобразованием:

var
a:class2;

begin
a:=class2.Create;
class1(a).mtd;
....
end;

Не хочет, вызывает метод текущего класса... Или я криво тестировал?

Вот мой тестовый код:

Код

Type TClass1=class(Tobject)  public    procedure mtd; virtual;  end; Type TClass2=class(TClass1)  public    procedure mtd;override;  end; implementation {$R *.DFM} procedure TForm1.Button1Click(Sender: TObject);  var c:TClass2; begin  c:=TClass2.create;  TClass1(c).mtd;  c.free; end; { Class1 } procedure TClass1.mtd; begin  Showmessage('Class1.mtd') end; { Class2 } procedure TClass2.mtd; begin  Showmessage('Class2.mtd') end;

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

Вызов же виртуальных методов от статического типа не зависит.
В твоём простейшем случае достаточно написать inherited Mtd;
(ты его можешь вызвать из любого метода TClass2, не только из Mtd).

Трудности возникнут, когда нужно вызвать метод "дедушки" или "прадедушки" и т.д.
Один из способов, описанных в литературе, - временная замена
VMT объекта на "дедушку" и обратно. Но если у дедушки такого метода не было - будет облом.

Я предпочитаю такой способ:

type
 TProc = procedure of object;

procedure TClassN.SomeMethod;
var
 Proc: TProc;
begin
 TMethod(Proc).Code := @TClass1.Mtd; // Статический адрес
 TMethod(Proc).Data := Self;
 Proc();
end;

Прошу прощения, ты вызываешь Mtd предка не из метода потомка, поэтому inherited не пройдёт.

Но способ со взятием статического адреса метода сработает.

Спасибо!

Блин, а что же ты не написал, что он у тебя виртуальный? Я подумал что перезаписан это в смысле статически перекрыт. С виртуальным методом действительно статическое преобразование к такому результату не приведет, так как адрес метода все равно будет взят из vtable.
Взятие статического адреса, конечно, выход, но мне почему-то все время думается, нафиг мы тогда вообще полиморфизм придумали? По идее ООП разработка должна быть такая, чтобы классы было удобно исрользовать, а не прибегать к таким трюкам.

Цитата

Блин, а что же ты не написал, что он у тебя виртуальный?

По недоумию...

Цитата

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

Она и есть на 99.9% такая, но любые ограничения накладываемые любой технологией могут мешать разрботке каких-то специфичных вещей... Возникновение языков высокого уровня избавило от необходимости писать тысячи строк кода для элементарных действий, но ассемблер до сих пор находит применение в отдельных случаях, без него никак. Возникновение визуального программирования избавило от трудоёмкого и нудного "расставляния" компонентов в коде, но во многих случаях все иногда создают компоненты в run-time. То же самое и с объектными технологиями, да -  они решили много проблем и сделали написание кода намного удобнее, но тем не менее есть и будут случаи, когда они должны быть использованы действия, идущие в разрез с идеологией. Так было и так всегда будет для всех технологий...