static map as a type function

Steven Schveighoffer schveiguy at gmail.com
Wed Sep 23 13:19:34 UTC 2020


On 9/23/20 8:40 AM, Stefan Koch wrote:
> On Wednesday, 23 September 2020 at 12:22:49 UTC, Jacob Carlborg wrote:
>> On Wednesday, 23 September 2020 at 09:46:54 UTC, Stefan Koch wrote:
>>
>>> static assert(static_map_tf!sizeOf(Int, Ushort) == [4, 2]);
>>
>> Is it possible to use a lambda here?
>>
> It should be in theory but I advise against it. Mixing lambdas and 
> template alias parameters leads to instantiating different template 
> instances although semantically they're the same.

what about:

static_map_tf!((alias a) => a.sizeof)(...)

This shouldn't be a template.

-Steve


More information about the Digitalmars-d mailing list