<div dir="ltr"><span style="font-size:12.8px">Congratulations! I'm anxiously to test it! :-D</span><br><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Nov 21, 2015 at 2:32 PM, Sven Barth <span dir="ltr"><<a href="mailto:pascaldragon@googlemail.com" target="_blank">pascaldragon@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hello together!<br>
<br>
I'm pleased to finally announce the addition of generic functions, procedures and methods (collectively called "routines") to Free Pascal which allows writing type safe methods that can be used for multiple types.<br>
<br>
Syntax:<br>
<br>
The syntax for declaring a generic routine is similar to declaring a normal routine and also includes support for class methods:<br>
<br>
generic [class] (procedure|function) IDENTIFIER<TYPEARGLIST>[(PARAMETERLIST)][: RESULTTYPE]; MODIFIERS;<br>
<br>
For the TYPEARGLIST the same rules apply as for generic types. Type parameters declared in the TYPEARGLIST might be used in the PARAMETERLIST, the RESULTTYPE and of course the body of the routine.<br>
<br>
Generic routines can be overloaded both by TYPEARGLIST and PARAMETERLIST.<br>
<br>
To call a generic routine you use the following syntax:<br>
<br>
specialize IDENTIFIER<TYPELIST>[(PARAMETERS)]<br>
<br>
For the TYPELIST the same rules apply as for specializing a generic type.<br>
If the routine is part of a type or variable or you're using a unit<br>
name to distinguish a generic routine you need to put that before the "specialize":<br>
<br>
TYPENAME.specialize IDENTIFIER<TYPELIST>[(PARAMETERS)]<br>
VARIABLE.specialize IDENTIFIER<TYPELIST>[(PARAMETERS)]<br>
UNITNAME.specialize IDENTIFIER<TYPELIST>[(PARAMETERS)]<br>
<br>
Calls to generic routines are normal factors so they can be used as such as the following example shows:<br>
<br>
=== example begin ===<br>
<br>
{$mode objfpc}<br>
<br>
generic function Add<T>(aLeft, aRight: T): T;<br>
begin<br>
  Result := aLeft + aRight;<br>
end;<br>
<br>
begin<br>
  Writeln(specialize Add<String>('Generic ', 'routines') + specialize Add<String>(' with ', 'Free Pascal'));<br>
end.<br>
<br>
=== example end ===<br>
<br>
Delphi compatibility:<br>
<br>
Of course this future is also implemented in a Delphi-compatible way for the Delphi modes. There the syntax for declaring a generic function is like this:<br>
<br>
[class] (procedure|function) IDENTIFIER<TYPELIST>[(PARAMETERLIST)][: RETURNTYPE]; MODIFIERS;<br>
<br>
So merely the "generic" keyword is missing. This is analogous when calling a generic routine:<br>
<br>
IDENTIFIER<TYPELIST>[(PARAMETERS)]<br>
<br>
Because of the missing "specialize" keyword that mark specializations complex expressions *do not* work in mode Delphi yet. So assignments of function results are okay, but other than that you'll likely encounter compiler errors.<br>
<br>
Please note that unlike Delphi we *do* support global generic functions/procedures even in Delphi mode.<br>
<br>
Limitations/ToDos:<br>
<br>
The feature is not yet finished and there are some limitations that yet need to be overcome or parts that simply don't work yet, this includes, but is not necessarily limited to:<br>
<br>
- support for complex expressions in Delphi modes (applies to type specializations as well)<br>
- support for pointers to generic routines (this will currently result in errors at the best case and internal errors or exceptions at the worst)<br>
- support for the return value in modes without support for "Result"<br>
- support for nested generics, most importantly generic methods inside generic classes<br>
<br>
So please test and report any bugs in the bug tracker. Questions can of course be asked here on the mailing list (no, this feature won't be part of FPC 3.0.0).<br>
<br>
Regards,<br>
Sven</blockquote></div><div><br></div>-- <br><div><div dir="ltr"><div>Silvio Clécio</div></div></div>
</div></div>