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 16:03:53

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

 The code hasn't changed.  I did test it, on more than one compiler.

 {{{#!cpp
 #include <boost/concept_check.hpp>

 struct no_default {
     no_default(const no_default&) {}
 };

 int main() {
     BOOST_CONCEPT_ASSERT((boost::CopyConstructible<no_default>));
 }
 }}}

 Did you use BOOST_CONCEPT_ASSERT or something else?

 It will definitely fail if you try any variation of:

 {{{
 CopyConstructible<T>();
 }}}

 but that's incorrect usage.

 It's possible that there's a bug in one of the other interfaces.  The
 problem could also be dependent on some other feature of TT or on a
 specific compiler version.  If you can provide a test case that fails,
 I'll look into it, otherwise, I'll close the issue.

 The compilers I used were VC 12 and gcc 4.8.3.

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