Re: [boost] [variant] Warning: variadic templates in boost::variant

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.