On Wed, Apr 3, 2019, 23:39 Ville Voutilainen <ville.voutilai...@gmail.com> wrote:
> On Wed, 3 Apr 2019 at 23:32, Antony Polukhin <antosh...@gmail.com> wrote: > > > > Looks good. Covers most of the use cases. > > > > Please consider adding filesystem::path, pair, tuple, string_view?, > error_code, list, deque (myabe all the other containers), optional, variant > itself (for cases when variant holds another variant). > > > > It would be very useful for the _Never_valueless_alt to return true for > aggregates that hold only never valueles types. Not sure that there is a > compiler builtin for getting all the aggregates types, but it could be > implemented via metaprogramming. > > What metaprogram is capable of that? > This one https://github.com/apolukhin/magic_get >