Subject: Re: [boost] [variant] Warning: variadic templates in boost::variant
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2013-12-10 21:57:42
On Tuesday 10 December 2013 23:13:32 Peter Dimov wrote:
> > > template< typename T0 = blank, typename... TN >
> > > class variant;
>
> Mapping variant<> to variant<blank> is not a good idea in principle. This
> has the potential of creating endless loops in generic code that takes
> variant<T, U...> and recursively calls itself with variant<U...>.
But such code is currently not valid, it should end the recursion at
variant<T>. This doesn't change after the default is added.