16 Feb
2018
16 Feb
'18
10:39 p.m.
On Fri, Feb 16, 2018 at 4:26 PM, Peter Dimov via Boost < boost@lists.boost.org> wrote:
Zach Laine wrote:
In this case, something like the expression_tag<> scheme Peter recommended helps with this particular ambiguity:
template
auto operator()(expression_tag<Tag>, T &&... t) What I suggested was rather
template
auto operator()(expression_tag<Kind>, T &&... t) as this enforces the necessary 1:1 correspondence between kinds and tags.
Right. I missed that the first time. Thanks. Zach