Re: [boost] Interest in an 'either' library?

Subject: Re: [boost] Interest in an 'either' library?
From: David Sankel (camior_at_[hidden])
Date: 2013-06-22 09:11:38

On Fri, Jun 21, 2013 at 4:42 PM, Mathias Gaunard <
mathias.gaunard_at_[hidden]> wrote:

> 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?

Good question. I think the tradeoffs that were made with Boost.Variant in
that case would work just as well here.

David Sankel