11 Dec
2013
11 Dec
'13
2:57 a.m.
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
and recursively calls itself with variant .
But such code is currently not valid, it should end the recursion at variant<T>. This doesn't change after the default is added.