14 Apr
2015
14 Apr
'15
2:16 a.m.
On Apr 9, 2015 2:57 PM, "pfultz2"
Why can't you create a constexpr copy constructor with a recursive union?
You can't in the general case because you have to call the constructor of the appropriate internal type. You can't placement new, so you have to do it via a member initializer, so which internal type's constructor do you call? If you have all types with trivial copy constructors you can make it work, but not in the general case.