On Wednesday, 25 May 2016 at 11:22:41 UTC, Jacob Carlborg wrote:
I don't think this is the right approach. I think the correct approach is to allow introspection of template parameters [1]. That would allow to get the parameter names without having to instantiate the template.

Is that true? I don't claim to know exactly how the compiler works, but given a template lambda:

foo => 3

Doesn't it generate something like the following?

template __lambda10293(T)
    <deduced return type> __lambda10293(T foo)
        return 3;

In that case, "foo" is not a template parameter, but a runtime parameter, so template parameter introspection would not help in this case.

Reply via email to