Как создать типа метакласса с дженериком?

@Jin X · Регистрация: 14.12.2014

Студворк — интернет-сервис помощи студентам

Вот такой код:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
{$APPTYPE CONSOLE}
type
  TMy = class
    constructor Create; overload; virtual; abstract;
  end;
 
  TMyClass = class of TMy;
 
  TMy<T: class> = class(TMy)
    constructor Create; overload; override;
    constructor Create(Obj: T); overload; virtual;
    procedure Test;
  end;
 
  TMy2<T: class> = class(TMy<T>)
    constructor Create; overload; override;
  end;
 
constructor TMy<T>.Create;
begin
  WriteLn('TMy<T>');
end;
 
constructor TMy<T>.Create(Obj: T);
begin
  WriteLn('TMy<T>.', Obj.ClassName);
end;
 
procedure TMy<T>.Test;
begin
  WriteLn('Test of ', ClassName);
end;
 
constructor TMy2<T>.Create;
begin
  WriteLn('TMy2<T>');
end;
 
function Make(TC: TMyClass): TMy;
begin
  Result := TC.Create;
end;
 
var T: TMy<TObject>;
begin
  T := TMy<TObject>(Make(TMy<TObject>));
  T.Test;
  T := TMy<TObject>(Make(TMy2<TObject>));
  T.Test;
end.

Т.е. задумка такая, что Make принимает ссылку на класс (метакласс) и возвращает объект этого класса.
Проблема в том, что во-первых, я не могу в Make использовать конструктор Create(Obj: T), а во-вторых конструкция TMy<TObject>(Make(TMy<TObject>)) мне кажется костыльной.

Проблему можно было бы решить, если бы вместо TMyClass можно было бы использовать TMyClass<T>, однако Delphi рагуется на:

Delphi
1
type TMyClass<T> = class of TMy<T>;  // Error: E2508 Type parameters not allowed on this type

И даже так не работает:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{$APPTYPE CONSOLE}
type
  TMy = class
    constructor Create; overload; virtual; abstract;
  end;
 
  TMy<T: class> = class(TMy)
    type
      ObjType = TMy<T>;
      ClassType = class of ObjType;  // Error: E2021 Class type required
    constructor Create; overload; override;
    constructor Create(Obj: T); overload; virtual;
    procedure Test;
  end;
 
  TMy2<T: class> = class(TMy<T>)
    constructor Create; overload; override;
  end;
 
constructor TMy<T>.Create;
begin
  WriteLn('TMy<T>');
end;
 
constructor TMy<T>.Create(Obj: T);
begin
  WriteLn('TMy<T>.', Obj.ClassName);
end;
 
procedure TMy<T>.Test;
begin
  WriteLn('Test of ', ClassName);
end;
 
constructor TMy2<T>.Create;
begin
  WriteLn('TMy2<T>');
end;
 
function Make(TC: TMy<TObject>.ClassType): TMy<TObject>;
begin
  Result := TC.Create;
end;
 
var T: TMy<TObject>;
begin
  T := Make(TMy<TObject>);
  T.Test;
  T := Make(TMy2<TObject>);
  T.Test;
end.

Как можно решить проблему?

Добавлено через 37 минут
Единственный рабочий вариант – такой, но это извращение:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
{$APPTYPE CONSOLE}
type
  TMy<T: class> = class
    type
      TMy = class
        constructor Create; overload; virtual;
        constructor Create(Obj: T); overload; virtual;
        procedure Test;
      end;
      ClassType = class of TMy;
  end;
 
  TMy1<T: class> = class(TMy<T>.TMy)
  end;
 
  TMy2<T: class> = class(TMy1<T>)
    constructor Create; overload; override;
    constructor Create(Obj: T); overload; override;
  end;
 
constructor TMy<T>.TMy.Create;
begin
  WriteLn('TMy<T>.TMy');
end;
 
constructor TMy<T>.TMy.Create(Obj: T);
begin
  WriteLn('TMy<T>.TMy(TObject)');
end;
 
procedure TMy<T>.TMy.Test;
begin
  WriteLn('Test');
end;
 
constructor TMy2<T>.Create;
begin
  WriteLn('TMy2<T>');
end;
 
constructor TMy2<T>.Create(Obj: T);
begin
  WriteLn('TMy2<T>(TObject)');
end;
 
function Make(TC: TMy<TObject>.ClassType): TMy<TObject>.TMy;
begin
  Result := TC.Create(TObject.Create);
end;
 
var T: TMy<TObject>.TMy;
begin
  T := Make(TMy1<TObject>);
  T.Test;
  T := Make(TMy2<TObject>);
  T.Test;
end.

Verevkin · 02.04.2022, 16:56

Первый напрашивающийся вопрос: зачем это всё?

@Jin X · 04.04.2022, 13:20 **[ТС]**

Verevkin, за тем же, зачем придумали метаклассы и виртуальные конструкторы

Только почему-то для обычных классов придумали, а для классов с дженериками – нет.

Verevkin · 04.04.2022, 13:24

Сообщение от Jin X

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

Я имел в виду - тебе зачем это всё? Цель какая? Как ты хочешь эту вундервафлю использовать?

@Jin X · 04.04.2022, 19:03 **[ТС]**

Verevkin, это модуль. Там есть 2 класса (на самом деле 4, но основных 2), один – наследник другого. С виртуальными методами и конструкторами.
В одних случаях необходимо использовать один класс, в других – другой.
Типа такого:

Delphi
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
type
  TBase<T: class> = class
     // ...
  end;
  TDerived<T: class> = class(TBase<T>)
     // ...
  end;
 
var X: TBase<TObject>;
begin
  //...
  if SomeCondition then X := TBase.Create<TObject>(TObject.Create)
  else X := TBase<TObject>.Create(TObject.Create);
  //...
end.

Но я хочу реализовать возможность сделать так:

Delphi
1
2
3
4
5
6
7
8
9
10
11
var
  X: TBase<TObject>;
  Cls: TBaseClass;
begin
  //...
  if SomeCondition then Cls := TBase
  else Cls := TDerived;
  //...
  X := Cls.Create<TObject>(TObject.Create)
  //...
end.

Это, конечно, не критично.
Но мне уже просто интересно – возможно ли такое сделать как-нибудь?

Verevkin · 04.04.2022, 19:05

Сообщение от Jin X

Но мне уже просто интересно – возможно ли такое сделать как-нибудь?

Думаю, что это не так работает.
И чем тебя дженерики не устроили? Не понимаю.

@Jin X · 04.04.2022, 19:17 **[ТС]**

В смысле?
Дженерики как раз я и хочу использовать, только с метаклассами. А как тип метакласса сделать?
TBaseClass<T: class> = class of TBase<T> не работает. И даже TBaseObjectClass = class of TBase<TObject>.

P.S. Я опечатался, кстати, в последнем примере должно быть:

Delphi
1
2
  if SomeCondition then Cls := TBase<TObject>
  else Cls := TDerived<TObject>;

Verevkin · 04.04.2022, 19:21

Сообщение от Jin X

Дженерики как раз я и хочу использовать, только с метаклассами. А как тип метакласса сделать?

Да я знать не знаю ни про какие метаклассы. 22 года на delphi работаю и вапще ни разу про метаклассы не слышал. Поэтому в эту тему и зашёл - интересно жэж, чо за вундервафля.

@Jin X · 04.04.2022, 22:03 **[ТС]**

Это используется, например, когда нужно создать объект по имени класса (по имени в текстовом виде). Скажем, в файле записана структура формы, и ты грузишь оттуда инфу и по именам классов создаёшь компоненты. Как вариант.

Гугли про метаклассы, виртуальные конструкторы, System.RegisterClass:
https://community.embarcadero.... uctors-258
http://www.felix-colibri.com/p... uctor.html
https://www.kansoftware.ru/?tid=5048
https://www.interface.ru/fset.... i_p3_3.htm

Во многих случаях, конечно, можно обойтись таким вариантом:

Delphi
1
2
3
4
5
6
7
8
var
  Obj: TComponent;
  ComponentClassName: String;
//...
  if SameText(ComponentClassName, 'TButton') then Obj := TButton.Create(MainForm)
  else if SameText(ComponentClassName, 'TLabel') then Obj := TLabel.Create(MainForm)
  else if SameText(ComponentClassName, 'TCheckBox') then Obj := TCheckBox.Create(MainForm)
  else //...

Но метаклассы позволяют сделать так:

Delphi
1
2
3
4
5
6
7
8
var
  Obj: TComponent;
  ObjClass: TComponentClass;
  ComponentClassName: String;
//...
  ObjClass := GetClass(ComponentClassName);
  if ObjClass <> nil then Obj := ObjClass.Create(MainForm);
  else // класс не найден

Добавлено через 7 минут
Только вот беда – метаклассы для классов с дженериками можно создать только через костыли, видимо.

Verevkin · 04.04.2022, 22:04

Сообщение от Jin X

Это используется, например, когда нужно создать объект по имени класса (по имени в текстовом виде).

Но для этого у всех классов должен быть конструктор с одинаковыми параметрами. Как быть, если надо таким образом создать TButton, TFont и, например, TObjectDictionary<TPersistent, string>?

Бред какой-то, чесслово....

@Jin X · 04.04.2022, 22:19 **[ТС]**

Verevkin, используется базовый класс (TComponent в примере выше), производные классы которого имеют одинаковый конструктор (по крайней мере, один из). Конечно, TButton и TObjectDictionary<TPersistent, string> из одного метакласса так не создашь

Verevkin · 04.04.2022, 22:28

Сообщение от Jin X

используется базовый класс (TComponent в примере выше), производные классы которого имеют одинаковый конструктор (по крайней мере, один из). Конечно, TButton и TObjectDictionary<TPersistent, string> из одного метакласса так не создашь

Вот именно поэтому я не вижу в этом смысла.
Посмотри мои комменты вот в этом треде.

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

Verevkin Злостный нарушитель 10263 / 5687 / 1266 Регистрация: 12.03.2015 Сообщений: 26,369
	02.04.2022, 16:56
	Первый напрашивающийся вопрос: зачем это всё? 0

@Jin X Asm/C++/Delphi/Py/PHP/VBA 6811 / 2051 / 238 Регистрация: 14.12.2014 Сообщений: 4,301 Записей в блоге: 12
	04.04.2022, 13:20 [ТС]
	Verevkin, за тем же, зачем придумали метаклассы и виртуальные конструкторы Только почему-то для обычных классов придумали, а для классов с дженериками – нет. 0

@Jin X Asm/C++/Delphi/Py/PHP/VBA 6811 / 2051 / 238 Регистрация: 14.12.2014 Сообщений: 4,301 Записей в блоге: 12
	04.04.2022, 22:19 [ТС]
	Verevkin, используется базовый класс (`TComponent` в примере выше), производные классы которого имеют одинаковый конструктор (по крайней мере, один из). Конечно, `TButton` и `TObjectDictionary<TPersistent, string>` из одного метакласса так не создашь 0