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 .
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?
<deduced return type> __lambda10293(T foo)
In that case, "foo" is not a template parameter, but a runtime
parameter, so template parameter introspection would not help in