> To post to this group, send email to refle...@isocpp.org
> <mailto:refle...@isocpp.org>.
> Visit this group at
> https://groups.google.com/a/isocpp.org/group/reflection/.
> For more options, visit https://groups.google.com/a/isocpp.org/d/optout.
> <mailto:reflection+unsubscribe@isocpp.org>.
> To post to this group, send email to refle...@isocpp.org
> <mailto:refle...@isocpp.org>.
> Visit this group at
> https://groups.google.com/a/isocpp.org/group/reflection/.
> For more options, visit https://groups.google.com/a/isocpp.org/d/optout.
Cheers, Axel
It's good to see a concrete proposal already appearing for static function reflection. I'm assuming up-front that this proposal is at least somewhat aligned with the pending proposal from Herb Sutter & Andrew Sutton.
In the proposal I see an OverloadSet, returned from reflexpr(name) whose only use is to pass it into a get_overloads to retrieve an ObjectSequence that's actually usable. Is this a candidate to perhaps make implied in the reflexpr(name)? What's the function of the OverloadSet being separate?
Which parts of the function set that could match an invocation by that name make it into the OverloadSet? Is it possible to get a hybrid overload set of members and nonmembers? What about ADL-findable but not normally included options? Is it (should it be) possible to reflect on operators (reflexpr(operator<<) for example)?
RecordMemberFunction seems to be missing predicates for &, && and noexcept member functions. & may come from RecordMember (perhaps an idea to link the paper that defines it?)
Is it an idea to consider adding a way to discover member function(s)? Right now you would be able to reflect them, but without knowing the names a priori, you would not be able to find them.
Is there any plan yet for a future reification proposal based on reflected (and possibly mutated) member functions, possibly in a constexpr block as alluded to by Herb Sutter in his keynote and Louis Dionne in P0633?
Hi Axel, others,
It's good to see a concrete proposal already appearing for static function reflection.
I'm assuming up-front that this proposal is at least somewhat aligned with the pending proposal from Herb Sutter & Andrew Sutton.
In the proposal I see an OverloadSet, returned from reflexpr(name) whose only use is to pass it into a get_overloads to retrieve an ObjectSequence that's actually usable. Is this a candidate to perhaps make implied in the reflexpr(name)? What's the function of the OverloadSet being separate?
Which parts of the function set that could match an invocation by that name make it into the OverloadSet? Is it possible to get a hybrid overload set of members and nonmembers? What about ADL-findable but not normally included options?
Is it (should it be) possible to reflect on operators (reflexpr(operator<<) for example)?
RecordMemberFunction seems to be missing predicates for &, && and noexcept member functions. & may come from RecordMember (perhaps an idea to link the paper that defines it?)
Is it an idea to consider adding a way to discover member function(s)? Right now you would be able to reflect them, but without knowing the names a priori, you would not be able to find them.
Is there any plan yet for a future reification proposal based on reflected (and possibly mutated) member functions,
possibly in a constexpr block as alluded to by Herb Sutter in his keynote and Louis Dionne in P0633?
Your link to open item #29 seems to have gone dead - http://cplusplus.github.io/concepts-ts/ts-active.html#29 . Looking on the page, it seems that it's no longer there at all.
On Monday, June 12, 2017 at 11:55:30 AM UTC+2, Axel Naumann wrote:Hi,
Here
https://bb.githack.com/karies/cxxstd-funcrefl/raw/HEAD/func-refl.html is
a preview (as in: this is work in progress!) of the function reflection
paper.
Please send your comments by Thursday (to the list or private - whatever
you prefer) so we have a chance to discuss your feedback internally and
actually react to it before the mailing deadline!
Cheers, Axel,
with Matus and David.
--
You received this message because you are subscribed to the Google Groups "SG 7 - Reflection" group.
To unsubscribe from this group and stop receiving emails from it, send an email to reflection+...@isocpp.org.
To post to this group, send email to refle...@isocpp.org.
Visit this group at https://groups.google.com/a/isocpp.org/group/reflection/.
For more options, visit https://groups.google.com/a/isocpp.org/d/optout.
Cheers, Axel
--
You received this message because you are subscribed to the Google Groups "SG 7 - Reflection" group.
To unsubscribe from this group and stop receiving emails from it, send an email to reflection+...@isocpp.org.
To post to this group, send email to refle...@isocpp.org.
Visit this group at https://groups.google.com/a/isocpp.org/group/reflection/.
For more options, visit https://groups.google.com/a/isocpp.org/d/optout.