Шаманю с генериками и функциями

[dedm0zaj]

ради любопытства написал такое

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

program project1;

{$mode objfpc}{$H+}

type
  generic func<TName> = function(a, b : TName) : TName;
 
  myfunc = specialize func<integer>;

var
  mymy : myfunc;

begin
  writeln(mymy(10,15));
end.


компилится и запускается. но непонятно, как написать тело функции. например я хочу, чтобы a и b складывались.
в гугле ничего не нашёл.

зы думал, что такое не скомпилится, но на удивление работает.
Free Pascal Compiler version 2.6.4 [2014/04/20] for i386
linux

[Devel0]

Такое пока ещё не реализовано. Можно обернуть функцию в класс:

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

generic TWrapper<T>=class
public
  class function func(a, b: T): T;
end;

Или же можно присвоить процедурной переменной конкретную специализацию: http://rosettacode.org/wiki/Generic_swap#Pascal

[dedm0zaj]

Такое пока ещё не реализовано.

почему оно тогда позволяет компилить?

Или же можно присвоить процедурной переменной конкретную специализацию

так делал, но что толку? в итоге надо написать для каждого типа свою функцию. вообще бессмыслица.

видимо пока единственный вариант - оборачивать в класс.

[Devel0]

почему оно тогда позволяет компилить?

Чтобы можно было реализовать вариант номер 2
А вообще - вопрос к разработчикам компилятора, я не в курсе, какие планы по generics

[Дож]

Поддержка generic function была анонсирована ещё в 2013 году:
http://lists.freepascal.org/pipermail/f ... 32507.html

Подробности анонса весьма вкусные:
http://lists.freepascal.org/pipermail/f ... 32511.html

Но, насколько я понимаю, эта фича до сих пор не в транке :(