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 15:06:23

#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 steven_watanabe):

 Did you actually test this bug or did you just get it by looking at the
 code?  The implementation of BOOST_CONCEPT_ASSERT is smart enough to avoid
 requiring the default constructor.  It uses a trick similar to acharles'
 comment.  I tested it with both gcc and msvc and it seems to work.

 {{{T u = v;}}} only requires the copy constructor.  It does not do copy
 assignment.

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