Определение типа класса по переменной на объект этого класса при компиляции

[phomm]

Задача такая у меня, возможно, покажется извращенской.

Имеем такое:

procedure dosmth(sender : tobject);
var
  cls : tsomeclass; // это именно тот тип, которым будет sender
begin
cls := sender as tsomeclass;
cls.dosmth;
end;

Я хочу, чтобы вместо красного было что-то такое, что позволит АВТОМАТОМ (имею ввиду без слова tsomeclass) В COMPILE-TIME определять тип класса по самой переменной.

Пробовал вот что :
cls.classtype - не подходит
гуглил возможность перевода имени класса в идентификатор класса (если я корявый, ткните в меня google/lmgtfy ссылкой)
есть возможно хитрости с класстайп и классинфо, но они вроде только на рантайм, а мне надо компайл-тайм

Мне кажется, что есть какое-то изящное решение. Например, когда мы в дельфи наводим мышкой на переменную объектного типа, то видим её тип, возможно , этому есть инструмент дельфи какой-то, хотя скорее всего, это делает среда.

Грубыми словами, мне надо вместо самого идентификатора класса получать его(идентификатор класса) из переменной экземпляра класса.

Спасибо вам, гуру !

Вполне допускаю, что будут ответы : так все и делают ! но, может, быть всё-таки, можно задать только 1 раз имя класса, в var ?

[Человек_Борща]

Если я правильно понял. то структура TVarRec;(System.pas) поможет. Там же TVarType и TVarData

Ещё есть TValueType

[Аватар]

Есть вариант cls := tsomeclass(sender); а больше ни как

[GunSmoker]

Integer(cls) := Integer(sender);

Но это ппц как небезопасно. Я бы шесть раз подумал, прежде чем такое делать, и... так и не сделал бы.

P.S. Классы и объекты не путай.

[veniside]

Если я правильно понял задачу (в чём я сомневаюсь), есть некая иерархия классов:

type
  TAnimal = class
  public
    procedure voice(); virtual;
  end;

  TDog = class(TAnimal)
  public
    procedure voice(); override;
  end;

  TCat = class(TAnimal)
  public
    procedure voice(); override;
  end;

Теперь мы хотим сделать процедуру, которая будет принимать класс для создания животного. Для этого вводим новый тип, и пишем процедуру:

type
  myAnimals = class of TAnimal;

procedure doVoice(animalClass: myAnimals);
var
  instance: TAnimal;
begin
  instance := animalClass.Create();
  instance.voice();
  instance.Free();
end;

Вызывать такую процедуру можно передав ей имя нужного нам класса:

procedure TForm1.FormCreate(Sender: TObject);
begin
  doVoice(TCat);
end;

[phomm]

Всем спасибо , что откликнулись, всем плюсы )

Человек_Борща, почитал справку, по-моему к моему случаю сие не относится
Аватар, этот случай даже не рассматриваю ) он всё равно ведь с использованием Tsomeclass , да и приведение типов для классов лучше делать с as, ибо генерит исключение при несоответствии, в отличие от прямого приведения(как Вы указали)
GunSmoker, спасибо, очень дельный совет, я предполагал , что есть подобное решение из разряда хаков, скорее всего, конечно, не буду использовать, опасность такого метода, полагаю, заключается в отсутствии приведения типов ? ведь sender может быть и потомком оригинального класса
veniside, я так понял, Вы расписали шаблон/паттерн Builder , вполне возможно, если вывести функцию, которая будет "строить" объекты, то можно достигнуть означеной цели, но мне кажется указания конкретного класса избежать не удастся, хоть и будет опосредовано (в функции), ведь класс надо передавать в функцию (в Вашем примере Tcat), да и решение, всё же достаточно объемным будет (я рассчитывал на пару строчек)

Хотелось бы несколько прояснить , возможно, так будет яснее, имеем такое дело :

var cls : tsomeclass1;
...
proc do1(sender : tobject);
begin
cls := autotypecast(sender);
cls.do1;
end;
...
proc doN(sender : tobject);
begin
cls := autotypecast(sender);
cls.doN;
end;

Как запрограммировать такой autotypecast, который бы позволил оперативно перенастраивать работу модуля, при необходимости смены типа объектов-caller'ов только лишь меняя объявление cls , например, cls : tsomeclass1 cls : tsomeclass2 ?

Извините, я понимаю что приведенный пример сферичен в вакууме, и проще написать cls := sender as Tsomeclass1, а при необходимости перенастроить, объявить cls : tsomeclass и нажимая F9 просто переписать те несколько строчек на другой класс, но надежда на некий красивый выход есть, ведь я уже приводил пример со средой дельфи, может что-то такое....

[Человек_Борща]

Есть ещё TClassList

[veniside]

> возможно, так будет яснее

честно говоря, понятней не стало. Проблема даже не в классе, а вот в этом:

cls.do1;
cls.doN;

если do1() и doN() объявлены как виртуальные в базовом для tsomeclass1 и для tsomeclass2 классе, то и делать больше ничего не надо, дельфи сама знает, как полиморфизм должен сработать.

Ну вот сменили вы класс у cls с tsomeclass1 на tsomeclass2. Оба эти класса должны иметь методы do1() и doN(), так? Тогда почему бы не сделать для них базовый класс tsomeclassbase, эти методы объявить виртуальными и насладиться работой ООП в действии?

[phomm]

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

type
  tgridclass = class of tcustomdrawgrid;
var
  caller : TCustomDrawGrid;
...
procedure TForm5.GridMouseMove(Sender: TObject; Shift: TShiftState; X, Y: Integer);
begin
  tgridclass(caller) := tgridclass(sender);
  caller.colcount := 6;
  ... and so on
end;

ну и другие процедуры. Теперь переброска, например , с Tdrawgrid на Tstringgrid производится всего в 2 строчки, меняю тип класса и переменную, и по коду бегать не надо.
Получается, что теперь идентификатор для тайпкаста можно вынести в секцию объявления, и не заботиться о перекройке проекта, всё будет автоматом

Хочется ещё узнать, легально ли такое ? не будет ли проблемок ?

[eduard93]

Нечто странное у вас. В любом случае работа с одним классом как с другим возможна только если они совместимы. К примеру TForm1 и TForm совместимы:

procedure TForm1.FormCreate(Sender: TObject);
var
  f: TForm;
begin
  f := Sender as TForm;
  f.AlphaBlend := True;
  f.AlphaBlendValue := 200;
end;