brevzin / cpp_proposals

My WG21 proposals
33 stars 22 forks source link

Add 'reflect_invoke' metafunction and motivating example. #139

Closed katzdm closed 4 months ago

katzdm commented 5 months ago

I've discussed this one for a while with @daveedvdv , and we've both had success implementing it. He had no objections, suggested that I write up a motivating example, and propose the wording - so this is that :)

SG7 expressed interest in typeful reflection in Kona, so it's possible the example could help win some new fans to Team 2996.

katzdm commented 5 months ago

@brevzin Addressed all feedback. Did it with constructors, as per your request - I think the existing language of the wording is sufficient to cover that, but let me know if you'd prefer a more explicit mention that calling constructors is fair game.