mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-07 11:08:02 +02:00
f27ce0b159
fmodule.pas, tmodule: + new list pendingspecializations which keeps track of all pending specializations of the current module psub.pas: * move generate_specialization_procs and related routines to pgenutil + new procedure read_proc_body to read a routine's body, cause generate_specialization_procs needs it (unlike the already existing overload in the implementation section, this one can only handle bodies of non-nested routines) pgenutil.pas: * generate_specialization_phase2: add the newly specialized generic to the current module's pending specializations * generate_specialization_procs: reworked so that it uses the new pendingspecializations field instead of walking the global and local symboltable of the current unit pmodules.pas: + add pgenutil to uses due to the moved generate_specialization_procs + added test git-svn-id: trunk@33826 -
73 lines
1.6 KiB
ObjectPascal
73 lines
1.6 KiB
ObjectPascal
unit ugeneric102;
|
|
|
|
{$mode objfpc}{$H+}
|
|
|
|
interface
|
|
|
|
type
|
|
generic TTest<T> = class
|
|
class function Test(aTest: T): T; inline;
|
|
class function Test2(aTest: T): T; inline;
|
|
end;
|
|
|
|
TTestLongInt = specialize TTest<LongInt>;
|
|
|
|
generic function TestFunc<T>(aTest: T): T; inline;
|
|
|
|
procedure Test;
|
|
procedure Test2;
|
|
|
|
implementation
|
|
|
|
class function TTest.Test(aTest: T): T;
|
|
begin
|
|
Result := aTest;
|
|
end;
|
|
|
|
type
|
|
TTestBoolean = specialize TTest<Boolean>;
|
|
|
|
{ here the functions won't be inlined, cause the bodies are missing }
|
|
procedure Test;
|
|
begin
|
|
Writeln(TTestLongInt.Test(42));
|
|
Writeln(TTestBoolean.Test(True));
|
|
Writeln(specialize TTest<String>.Test('Hello World'));
|
|
|
|
Writeln(TTestLongInt.Test2(42));
|
|
Writeln(TTestBoolean.Test2(True));
|
|
Writeln(specialize TTest<String>.Test2('Hello World'));
|
|
|
|
Writeln(specialize TestFunc<LongInt>(42));
|
|
Writeln(specialize TestFunc<Boolean>(True));
|
|
Writeln(specialize TestFunc<String>('Hello World'));
|
|
end;
|
|
|
|
class function TTest.Test2(aTest: T): T;
|
|
begin
|
|
Result := aTest;
|
|
end;
|
|
|
|
generic function TestFunc<T>(aTest: T): T;
|
|
begin
|
|
Result := aTest;
|
|
end;
|
|
|
|
{ here the functions will be inlined as now the bodies are available }
|
|
procedure Test2;
|
|
begin
|
|
Writeln(TTestLongInt.Test(42));
|
|
Writeln(TTestBoolean.Test(True));
|
|
Writeln(specialize TTest<String>.Test('Hello World'));
|
|
|
|
Writeln(TTestLongInt.Test2(42));
|
|
Writeln(TTestBoolean.Test2(True));
|
|
Writeln(specialize TTest<String>.Test2('Hello World'));
|
|
|
|
Writeln(specialize TestFunc<LongInt>(42));
|
|
Writeln(specialize TestFunc<Boolean>(True));
|
|
Writeln(specialize TestFunc<String>('Hello World'));
|
|
end;
|
|
|
|
end.
|