<p>Am 01.09.2017 21:07 schrieb "Ondrej Pokorny" <<a href="mailto:lazarus@kluug.net">lazarus@kluug.net</a>>:<br>
><br>
> On 01.09.2017 18:38, Sven Barth via fpc-devel wrote:<br>
>><br>
>> What if I do the initial specialization in a unit that does not know about the helper? It can't just do speculative specialization once both the specialized generic and the generic helper are used in the same unit. And even if the compiler would postpone it till some method of the specialized type is called things would get polluted once multiple helpers lee type are allowed as every one of the generic helpers in scope would need to be specialized for overload resolution.<br>
>><br>
>> So in short: no, I don't *want* this, but it's due to technical reasons.<br>
>><br>
>> > I guess it's because it does not know anymore that TFoo<Integer> is in fact a closed generic type that was constructed from the open geneneric type TFoo<T>?<br>
>><br>
>> The compiler can know rather easily that a type is a specialization, but you need to keep in mind that helpers are also active for parent types. So if you descend from a specialization the helpers of the generic would need to be available as well.<br>
>><br>
><br>
> What about explicitely specializing the generic helper?<br>
><br>
>   generic TMyClass<T> = class;<br>
>   generic TMyClassHelper<T> = class helper for TMyClass<T>;<br>
><br>
> ...<br>
><br>
>   TMyClassInt = specialize TMyClass<Integer>;<br>
>   TMyClassIntHelper = specialize class helper(TMyClassHelper<Integer>) for TMyClass<Integer>;<br>
> - or -<br>
>   TMyClassIntHelper = specialize class helper(TMyClassHelper<Integer>) for TMyClassInt;<br>
><br>
> In this case the compiler knows about the TMyClassIntHelper for TMyClassInt(TMyClass<Integer>) and that it has to inherit from TMyClassHelper<Integer>.</p>
<p>That is basically what I was talking about though it would be like this:</p>
<p>=== code begin ===</p>
<p>TMyClassIntHelper = specialize TMyClassHelper<LongInt>;</p>
<p>// somewhere else<br>
specialize TMyClass<LongInt>.SomeHelperMethod;</p>
<p>=== code end ===</p>
<p>This would even be rather easy to implement.</p>
<p>Regards,<br>
Sven</p>