Boost logo

Boost :

From: David Abrahams (dave_at_[hidden])
Date: 2003-08-29 14:56:04

       "Each type specified as a bounded type must satisfy the
       BoundedType requirements. Note that variant itself satisfies
       BoundedType requirements with default construction. "

   a. What does the phrase "with default construction" mean above?

   b. Would it be possible to reduce the requirements a bit? For
      example, it seems to me that if you don't need your variant to
      be assignable, you probably don't need assignability of the
      component elements. This question is not motivated by any need
      on my part; I'm just askin'.


       "All members of variant satisfy the strong guarantee of

    Seriously? What if an underlying type's assignment operator gives
    only the basic guarantee? Surely, if you in fact use the
    underlying type's assignment operator you can't give the strong

Dave Abrahams
Boost Consulting

Boost list run by bdawes at, gregod at, cpdaniel at, john at