Not yet tested, but only matters if it is not going to be discontinued (in case it actually works)

I want a
  generic Foo <_A: SomeIntf;  _B: TBar>

such as that I can give an inherhited interface.

The interface has
  GetBar => which return TBar => or subclass....
Hence for the generic I have a param to specify the class.


But, I cans do
IFoo = interface
  proceduer GetBar: TBar;

ISubFoo = interface(Foo)
  proceduer GetBar: TSubBar;

However, (tests pending) if the below works, would it be working by indent? And therefore not removed by some bug fix in future?

IFoo = interface
  proceduer GetBar: TBar;
  property Bar: TBar;

ISubFoo = interface(Foo)
  proceduer GetSubBar: TSubBar;
  property Bar: TSubBar;


The property is just syntactic sugar isn't it?
But the generic would see it according to the actual type of the gen param.
_______________________________________________
fpc-devel maillist  -  [email protected]
https://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel

Reply via email to