22 Jan
2018
22 Jan
'18
2:28 p.m.
2018-01-22 14:59 GMT+01:00 Andrzej Krzemienski
2. Swap
For non-trivially-copyable types, it looks like (similarly to std::variant) `result` cannot provide the strong exception safety guarantee. You may need to both move-construct `T` and `EC` and both can fail.
Plus, documentation does not mention that the swap provides only a basic guarantee. Regards, &rzej;