6 Jun
2017
6 Jun
'17
2:04 p.m.
Andrzej Krzemienski wrote:
Your expectation is reasonable, but (I think) it is incompatible with other peoples' expectation: provide implementation that gives me never-empty guarantee when I meet condition Y. ("Y" in that case means I have a type with nothrow default constructor.)
It's actually "give me single buffer when Y". The aim was to make the typical variant (that often contains a fallback type by accident) single buffer. Surprising pushback against this one. I'll take this feedback into account.