Шаблоны

[_Freak_]

Всем доброго времени суток. Есть ли способ скормить компилятору Delphi XE вот такую конструкцию:

type
  TSingleton<T: class, constructor> = class abstract
  private
    class var fInstance: T;
  public
    class function Instance(): T;
  end;

  TMyClass = class(TSingleton<TMyClass>)
  public
    constructor Create();
  end;

Если конкретно, то ругается на то, что у TMyClass нет открытого крнструктора без параметров и/или его зовут не Create. Может есть у кого какие идеи?

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

Что это за объявление?

 TSingleton<T: class, constructor> = class abstract

Самому интересно, что на это не ругается.

сли конкретно, то ругается на то, что у TMyClass нет открытого крнструктора без параметров и/или его зовут не Create. Может есть у кого какие идеи?

Создайте в public секции конструктор и сделайте его виртуальным. Все.

Далее, явно наследуйте TObject, иначе компилятор сделает это за вас в любом случае.

[phomm]

Человек_Борща, полагаю, что это ограничение на параметр типа - только определённые сущности могут быть использованы в данном обобщении (на манер сишарпа думаю). Вот даже нашёл http://docwiki.embarcadero.com/RADSt...ts_in_Generics
Ну а у меня вопрос такой к автору -
TMyClass = class(TSingleton<TMyClass>)
Чем продиктовано это указание ? Чисто логически - непонятная рекурсия.

[_Freak_]

Всё правильно, это ограничение + гарантии для комплятора(class означает, что типом может быть только класс, а constructor говорит компилятору о том, что у этого класса есть конструктор без параметров и объявленный c public доступом. Как видите, все условия соблюдены.

Самое интересное, что вот так компилятор прожуёт:

type
  TMyClass1 = class
  public
    constructor Create();
  end;

  TMyClass2 = class
  private
    fSingleton: TSingleton<TMyClass1>;
  public
    constructor Create();
  end;

TSingleton<T> - шаблон класса, который реализует паттерн "одиночка". Просто в моём проекте используется несколько таких одиночек, и описывать для каждого из них статическую функцию Instance и статическую переменную член fInstance как-то не камильфо, поэтому хотелось бы запихнуть всё это в один шаблон. К тому же это повысило бы читабельность интерфейса классов.

[eval]

зачем синглтону публичный конструктор?
чтото не то в консерватории

[_Freak_]

Замечено верно, но это претензии к компилятору
Как писал в своём посте выше, constructor накладывает ограничения: конструктор класса должен быть открытым и звать его должны Create

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

Ну а у меня вопрос такой к автору -
TMyClass = class(TSingleton<TMyClass>)
Чем продиктовано это указание ? Чисто логически - непонятная рекурсия.

Я так же делал при реализации дерева. Очень удобно)

ТС, в какой IDE программируете? С обобщенными даже в XE2 были большие проблемы)

[phomm]

Ну, настолько плотно с обощениями не работал, показалось странным.
Также предложу работать с более поздней версией дельфи(у автора, я так понял, что ХЕ), где косяк (если он от дельфи) может быть уже пофикшен.
Также предлагаю рассмотреть вот это:
http://ins911.blogspot.ru/2008_12_01_archive.html

[eval]

Замечено верно, но это претензии к компилятору
Как писал в своём посте выше, constructor накладывает ограничения: конструктор класса должен быть открытым и звать его должны Create

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

Также предлагаю рассмотреть вот это:

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

[_Freak_]

Сообщение от phomm

Ну, настолько плотно с обощениями не работал, показалось странным.
Также предложу работать с более поздней версией дельфи(у автора, я так понял, что ХЕ), где косяк (если он от дельфи) может быть уже пофикшен.
Также предлагаю рассмотреть вот это:
http://ins911.blogspot.ru/2008_12_01_archive.html

Спасибо за ссылку, но с первого взгляда на код, становится понятно: будут очень большие накладные расходы на получение экземрляра, так как нам в рантайме придётся перебрать весь список в поисках нашего класса. Хотя как вариант имеет право на жизнь, но хотелось бы этого избежать. У меня нет под рукой XE5, но.. у кого она есть попроуйте скомпилировать вот это:

program SingletonTest;

{$APPTYPE CONSOLE}

type


  TSingleton<T: class, constructor> = class abstract
  strict private
    class var fInstance: T;
  public
    class function Instance(): T;
  end;

  TMySingleton = class(TSingleton<TMySingleton>)
  public
    constructor Create();
  end;


{ TSingleton<> }

class function TSingleton<T>.Instance(): T;
begin
  if not Assigned(fInstance) then
    fInstance := T.Create();

  Result := fInstance;
end;


{ TMySingleton }

constructor TMySingleton.Create();
begin
  inherited Create();
end;


{ Program entry point }

var
  myclass: TMySingleton;
begin
  myclass := TMySingleton.Instance();
end.