static map as a type function
Meta
jared771 at gmail.com
Wed Sep 23 14:15:23 UTC 2020
On Wednesday, 23 September 2020 at 14:05:50 UTC, Steven
Schveighoffer wrote:
> On 9/23/20 9:38 AM, Stefan Koch wrote:
>> static_map_tf.d(12): vtemplate: 3 (3 unique) instantiation(s)
>> of template `static_map_tf(alias F)(alias_array types...)`
>> found
>
> Ah ok. You meant the static map template is going to be
> different because the lambdas are considered different aliases.
>
> That's standard behavior for the current compiler too. I
> thought you meant that type functions have an extra problem
> with templates using lambdas.
>
> It makes me wonder -- can the compiler determine identical
> lambdas and reduce template instantiations? This was one of the
> problems with moving from string lambdas to actual lambdas.
>
> -Steve
There was some limited support for lambda comparison added in
2.079:
https://dlang.org/changelog/2.079.0.html#lambdacomp
More information about the Digitalmars-d
mailing list