21 Jun
2013
21 Jun
'13
10:42 p.m.
On 21/06/13 18:35, David Sankel wrote:
**semantics**:
template< typename left_type, typename right_type> struct either { // postcondition, is_left() either( left_type );
// postcondition, is_right() either( right_type );
bool is_left() const; bool is_right() const;
// postcondition, is_left() either & operator=( left_type );
What happens if the 'either' originally contained a right_type and that the copy/move constructor of left_type throws?