Boost C++ Libraries: Ticket #6891: Add extension point to define how expressions are created from operators

status changed

Eric Niebler — Tue, 05 Jun 2012 18:45:50 GMT

status new → assigned

I'm keeping this feature request in mind while designing proto-11. In the current design, users will be have a per-domain make_expr customization point. I foresee all of proto's operator overloads going through this customization point. So, if for your domain, your make_expr turns tag::foo into my_tag<tag::foo> (for instance), that would just work.

Does this address your scenario?

Mathias Gaunard — Wed, 06 Jun 2012 15:15:23 GMT

Hmm not quite what I needed. I only wanted the proto-provided operator overloads to call a customization point, not all calls to make_expr.

But if we're talking about a complete redesign where generators disappear, I don't know how it is going to fit in the grander scheme of things.

Eric Niebler — Wed, 06 Jun 2012 17:39:53 GMT

I would object to a customization point that is only used by the operator overloads. I would like the behavior of the operator overloads to be easily explainable. Having it correspond to the behavior of make_expr feels right to me.