Ограничение на длинну шаблона?

[Brainenjii]

Всю голову сломал, пока понял в чем дело... Пишу:

Код: Выделить всё

program Project1;

Type

{ GenericOne }

 Generic GenericOne<T> = Class
  Private
  Public
    Function Hello: T;
End;

Type

{ GenericTwo }

 Generic GenericTwo<T, U> = Class
  Private
  Public
    Function Hello: T;
    Function Dear: U;
End;

Type

{ GenericThree }

 Generic GenericThree<T, U, V> = Class
  Private
  Public
    Function Hello: T;
    Function Dear: U;
    Function World: V;
End;

Type BRequisiteClass = Class
End;
Type BRequisitesList = Specialize GenericOne<BRequisiteClass>;
Type BRequisitesThreadList = Specialize GenericTwo<BRequisiteClass,
  BRequisitesList>;
Type BRequisitesManager = Specialize GenericThree<BRequisiteClass,
  BRequisitesList, BRequisitesThreadList>;

Function GenericThree.Hello: T;
Begin
  Result := T.Create;
End;

Function GenericThree.Dear: U;
Begin
  Result := U.Create;
End;

Function GenericThree.World: V;
Begin
  Result := V.Create;
End;

{ GenericOne }

Function GenericOne.Hello: T;
Begin
  Result := T.Create;
End;

{ GenericTwo }

Function GenericTwo.Hello: T;
Begin
  Result := T.Create;
End;

Function GenericTwo.Dear: U;
Begin
  Result := U.Create;
End;

begin
end.

Не компилируется... Меняем на

Код: Выделить всё

program Project1;

Type

{ GenericOne }

 Generic GenericOne<T> = Class
  Private
  Public
    Function Hello: T;
End;

Type

{ GenericTwo }

 Generic GenericTwo<T, U> = Class
  Private
  Public
    Function Hello: T;
    Function Dear: U;
End;

Type

{ GenericThree }

 Generic GenericThree<T, U, V> = Class
  Private
  Public
    Function Hello: T;
    Function Dear: U;
    Function World: V;
End;

Type BMyClass = Class
End;
Type BMyList = Specialize GenericOne<BMyClass>;
Type BMyThreadList = Specialize GenericTwo<BMyClass, BMyList>;
Type BMyManager = Specialize GenericThree<BMyClass, BMyThreadList, BMyThreadList>;

Function GenericThree.Hello: T;
Begin
  Result := T.Create;
End;

Function GenericThree.Dear: U;
Begin
  Result := U.Create;
End;

Function GenericThree.World: V;
Begin
  Result := V.Create;
End;

{ GenericOne }

Function GenericOne.Hello: T;
Begin
  Result := T.Create;
End;

{ GenericTwo }

Function GenericTwo.Hello: T;
Begin
  Result := T.Create;
End;

Function GenericTwo.Dear: U;
Begin
  Result := U.Create;
End;

begin
end.

Компилируется!!!!! Как быть? ^_^

[Brainenjii]

Что с этим можно сделать? >_<
Я искренне полюбил Generic'и, но это ограничение просто убивает. В выходные поработал дома (x86_64) - всё собралось нормально, прихожу на работу (x86_32):

/home/Brainenjii/Develop/BStore/trunk/./Peas/Controllers/bbasereqpatternscontrollerunit.pas:127: undefined reference to `VMT_BBASEREQPATTERNSCONTROLLERUNIT_BCONTROLLERGENERIC$BBASEREQPATTERNCLASS$BBASEREQPATTERNSMANAGERCLASS_$__BTHREADLIST$BBASEREQPATTERNCLA'
Error: Error while linking

а я люблю длинные назвния >_<
В общем, есть какой-нибудь способ обойти это?

[AlexVinS]

Буквально на днях в транке что-то поменяли на эту тему. У меня свежим транком компилируется (win32). А вот 2.6.0 выдает ошибку.

[Brainenjii]

http://bugs.freepascal.org/view.php?id=20663 - ооо! Мой жеж баг но, блин, страчно как-то...
Есть жизнь на 2.7.1? Кто-нибудь пользует в рабочих проектах?

Добавлено спустя 36 минут 57 секунд:
и ещё, проверьте, пожалуйста, два проекта:
первый из трёх модулей:

• Program:

  Код: Выделить всё

  program Project1;
  
  {$mode objfpc}{$H+}
  
  uses
    fgl, Unit1, Unit2;
  
  Type TMyFirst = Specialize TFirst<TMyClass>;
  
  Var
    aMyList: TMyList;
    aMyFirst: TMyFirst;
  
  { TFirst }
  
  begin
    aMyList := TMyList.Create;
    aMyFirst := TMyFirst.Create;
    aMyFirst.Load(aMyList);
    aMyList.Free;
    aMyFirst.Free;
  end.

• Unit1:

  Код: Выделить всё

  Unit Unit1; 
  
  {$mode objfpc}{$H+}
  
  Interface
  
  Uses
    fgl;
  
  Type TMyClass = Class
  End;
  
  Type TMyList = Specialize TFPGList<TMyClass>;
  
  Implementation
  
  End.

• Unit2:

  Код: Выделить всё

  Unit Unit2; 
  
  {$mode objfpc}{$H+}
  
  Interface
  
  Uses
    fgl;
  
  Type
  
  { TFirst }
  
   Generic TFirst<T> = Class
    Type TManagedList = Specialize TFPGList<T>;
    Public
      Procedure Load(Const aList: TManagedList);
  End;
  
  Implementation
  
  Procedure TFirst.Load(Const aList: TManagedList);
  Begin
  
  End;
  
  End.

Это не собирается. Но если вынести содержимое Unit1 в Program - всё соберётся

• Program:

  Код: Выделить всё

  
  program Project1;
  
  {$mode objfpc}{$H+}
  
  uses
    fgl, Unit1, Unit2;
  
  Type TMyClass = Class
  End;
  
  Type TMyList = Specialize TFPGList<TMyClass>;
  
  Type TMyFirst = Specialize TFirst<TMyClass>;
  
  Var
    aMyList: TMyList;
    aMyFirst: TMyFirst;
  
  { TFirst }
  
  begin
    aMyList := TMyList.Create;
    aMyFirst := TMyFirst.Create;
    aMyFirst.Load(aMyList);
    aMyList.Free;
    aMyFirst.Free;
  end.

• Unit1 (можно убрать):

  Код: Выделить всё

  Unit Unit1; 
  
  {$mode objfpc}{$H+}
  
  Interface
  
  Implementation
  
  End.
  

• Unit2 - без изменений

  Код: Выделить всё

  Unit Unit2; 
  
  {$mode objfpc}{$H+}
  
  Interface
  
  Uses
    fgl;
  
  Type
  
  { TFirst }
  
  Generic TFirst<T> = Class
    Type TManagedList = Specialize TFPGList<T>;
    Public
      Procedure Load(Const aList: TManagedList);
  End;
  
  Implementation
  
  Procedure TFirst.Load(Const aList: TManagedList);
  Begin
  
  End;
  
  End.

Если в 2.7.1 первый проект собёрется - значит там сильно круче ^_^

[AlexVinS]

generictest11.lpr(19,24) Error: Incompatible type for arg no. 1: Got "T11U1.TFPGList$1$TMyClass", expected "GENERICTEST11.TFPGList$1$TMyClass"
generictest11.lpr(17,15) Hint: Found declaration: TFirst$1$TMyClass.Load(const TFPGList$1$TMyClass);

Пакостный баг недавно тоже на него натолкнулся.

Добавлено спустя 1 минуту 47 секунд:
В 2.6.0 те же яйца только сбоку
generictest11.lpr(19,24) Error: Incompatible type for arg no. 1: Got "TFPGList$TMyClass", expected "TFirst$TMyClass.TFPGList$TMyClass"
generictest11.lpr(17,15) Hint: Found declaration: TFirst$TMyClass.Load(const TFPGList$TMyClass);