Re: [Boost-bugs] [Boost C++ Libraries] #9201: CopyConstructible, as a side effect, requires the type to be DefaultConstructible.

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #9201: CopyConstructible, as a side effect, requires the type to be DefaultConstructible.
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2015-04-03 08:34:17

#9201: CopyConstructible, as a side effect, requires the type to be
DefaultConstructible.
-------------------------------------+-------------------------------------
  Reporter:  David Laštovička        |      Owner:  jsiek
  <david@…>                          |     Status:  new
      Type:  Bugs                    |  Component:  concept_check
 Milestone:  To Be Determined        |   Severity:  Problem
   Version:  Boost Development       |   Keywords:  concept
  Trunk                              |  CopyConstructible
Resolution:                          |  DefaultConstructible Assignable
-------------------------------------+-------------------------------------

Comment (by Jeremy W. Murphy <jeremy.william.murphy@…>):

 It's an astute observation but I think it's a reasonable requirement and,
 given the requirements of CopyConstructible, not a bug.
 It requires that both
 {{{
 T(v)
 }}}
 ''and''
 {{{
 T u = v;
 }}}
 be valid expressions. You can't assign to an object that is not already
 constructed.

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/9201#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.