Hello list, is there a safe way to know the PTypeInfo, or at least the string literal of the type(s) used to specialize a generic? Eg:

TBarList = specialize TGenericList<TBar>

On the sample above, starting with PTypeInfo of TBarList I know it was specialized using TBar type. I was using the following hack on 2.6.x:

     VPos := Pos('$', AClassName);
     if VPos > 0 then
       VTypeName := Copy(AClassName, VPos + 1, Length(AClassName));

...which is broken on 2.7.

Joao Morais

"Joao Morais" wrote

Hello list, is there a safe way to know the PTypeInfo, or at least the

string literal of the type(s) used to specialize a generic?

No, you can't.
There might be something for this in the future, because I'll need something like that myself, but it will be quite some time till then.

Regards,
Sven

Hello Sven, thanks for clarifying this. Saying "quite some time" you mean post 2.8? So what about an unsafe way on 2.8? =) A PTypeInfo would be *very* nice, but a string anywhere with the type name will also help a lot, just like 2.6.x does. Without this trick I cannot use my metadata framework with 2.8 :(

Definitely post 2.8.

So what about an unsafe way on 2.8? =) A PTypeInfo would be *very* nice, but a string anywhere with the type name will also help a lot, just like 2.6.x does. Without this trick I cannot use my metadata framework with 2.8 :(

There is no way. It's dangerous to rely on the name mangling and this needed to be changed, because otherwise type names would have gotten to long.

Regards,
Sven

Unfortunatelly, no.

In Delphi, you can:

  TBar = class(TObject)
  end;
  TBarList = class(TList<TBar>)
  end;
  WriteLn(TBarList.ClassParent.ClassName);

Result: TList<Unit1.TBar> // so you can get the unit/type used between ""

But currently in FPC (tested from trunk):

{$mode delphi}
  TBar = class(TObject)
  end;
  TBarList = class(TFPGList<TBar>)
  end;
WriteLn(TBarList.ClassParent.ClassName);

Result: TFPGList$1$crc07FFF574