static map as a type function
uplink.coder at googlemail.com
Thu Sep 24 14:25:37 UTC 2020
On Thursday, 24 September 2020 at 14:07:17 UTC, Andrei
> On 9/24/20 2:49 AM, Stefan Koch wrote:
>> On Thursday, 24 September 2020 at 05:13:49 UTC, Andrei
>> Alexandrescu wrote:
>>> * Currently mixin closes the circle by taking back the typeid
>>> to the type it started from. It would be nice to have
>>> something better, e.g. t.Type would just be the type.
>> This would make typeid polymorphic in other words a template.
>>> * In the current implementation values returned by typeid()
>>> cannot be read during compilation.
>> Wrong. parts of typeid can be read by ctfe.
>> I extended this functionality myself.
> Great. Can you please elaborate a little? What bits work and
> what bits don't? Thanks!
As well as equality between typeid objects.
to make everything work at ctfe you would have to duplicate the
whole typeinfo generation code. At least naively that's what you
would have to do.
More information about the Digitalmars-d