Subject: Re: [boost] [review][mp11] Formal review of Mp11
From: Peter Dimov (lists_at_[hidden])
Date: 2017-07-17 09:50:30
Brook Milligan wrote:
> >> - mp_is_map: type trait to determine whether a type is a map, i.e., has
> >> a unique set of keys
> > This is mp_is_set<mp_map_keys<M>>, although not quite if M has an
> > element that is not a list.
> Yes, that was also my implementation. I just punted on the question of
> whether or not mp_map_keys would always work. Given that it might not,
> this could be motivation for a more robust implementation in the library.
This also raises the question of what mp_is_set should do when passed
something that is not a list - return false or cause a substitution failure
(which in turn hints at the lack of mp_is_list as well).
Thank you for you suggestions. They make sense and I'll probably add them.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk