Метаклассы

@Mysterious Light · Регистрация: 19.07.2009

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

Помогите, пожалуйста, сконструировать одну функцию.

Delphi

type
  O = class(TObject) end;
  C = class of O;
  I = class(O) 
  public class function Valid(AType: C): Boolean;
  end;

нужно написать функцию Valid(AType) так, что она возвращает true тогда и только тогда, когда AType есть наследник I.
Есть вариант:

Delphi

class function I.Valid(AType: C): Boolean;
var Tmp: O;
begin
  Tmp:=AType.Create;
  Valid:=Tmp is I;
  Tmp.Destroy;
end;

Но как-то нехорошо создавать временную переменную, ведь, во-первых, результат только от аргумента зависит и интуиция намекает, что можно и проще, и во-вторых, мало ли как может конструктор быть описан, я боюсь просто так писать AType.Create(...), может, какие побочные эффекты будут...

@Markus_13 · 23.08.2010, 23:53

изящного решения не знаю, но могу предложить попытку вызова какого либо метода, что-то вроде:

Delphi

class function tBla.Valid(AType: C): Boolean;
var Tmp: O;
begin
 try
  tBla(AType).Blablabla;
  result:=true;
 except
  result:=false;
 end;
end;

З.Ы. хотя вообще не вижу смысла в подобном, у тебя что динамически классы создаются?))

@Mysterious Light · 24.08.2010, 00:51 **[ТС]**

У меня компонент создается на основе типа "подданных" элементов (то есть одним из аргументов конструктора есть переменная типа метакласса). От него происходит другой тип-наследник, где есть некие ограничения на этот тип, поэтому необходимо делать проверку, является ли заявленный тип-аргумент наследником некоторого конкретного типа. Или в более простой форме я вопрос изложил выше, полагая, что этот критерий можно "засунуть" в классовую функцию. Но это как бы не важно.

@Чёрный Медведь · 24.08.2010, 10:58

Delphi

[quote=Mysterious Light;921587]class function I.Valid(AType: C): Boolean;
var Tmp: O;
begin
 Tmp:=AType.Create;
 Valid:=Tmp is I;
 Tmp.Destroy;
end;[/quote]

в общем то само решение не так уж и плохо, но я бы подправил

Delphi

var
  Tmp: O;
begin
  try
    Tmp := AType.Create;
    Valid := Tmp is I;    
  finally
    Tmp.Free;
  end;
end;

Можно ещё посмотреть в сторону RTL

@Mysterious Light $Эксперт по математике/физике$ 4300 / 2091 / 431 Регистрация: 19.07.2009 Сообщений: 3,162 Записей в блоге: 24
	24.08.2010, 00:51 [ТС]	3
	У меня компонент создается на основе типа "подданных" элементов (то есть одним из аргументов конструктора есть переменная типа метакласса). От него происходит другой тип-наследник, где есть некие ограничения на этот тип, поэтому необходимо делать проверку, является ли заявленный тип-аргумент наследником некоторого конкретного типа. Или в более простой форме я вопрос изложил выше, полагая, что этот критерий можно "засунуть" в классовую функцию. Но это как бы не важно. 0

	24.08.2010, 10:58