Re: [Boost-bugs] [Boost C++ Libraries] #11959: boost::is_copy_constructible triggers copy constructor generation on Visual Studio 2013 Update 4

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #11959: boost::is_copy_constructible triggers copy constructor generation on Visual Studio 2013 Update 4
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2016-02-05 18:59:09

#11959: boost::is_copy_constructible triggers copy constructor generation on Visual
Studio 2013 Update 4
-------------------------------+-------------------------
  Reporter:  vivien.millet@…   |      Owner:  johnmaddock
      Type:  Bugs              |     Status:  new
 Milestone:  To Be Determined  |  Component:  type_traits
   Version:  Boost 1.60.0      |   Severity:  Problem
Resolution:                    |   Keywords:
-------------------------------+-------------------------

Comment (by johnmaddock):

 OK this is a known issue, our implementation notes:
 {{{
 // Special version for VC12 which has a problem when a base class (such as
 non_copyable) has a deleted
 // copy constructor.  In this case the compiler thinks there really is a
 copy-constructor and tries to
 // instantiate the deleted member.  std::is_copy_constructible has the
 same issue (or at least returns
 // an incorrect value, which just defers the issue into the users code) as
 well.  We can at least fix
 // boost::non_copyable as a base class as a special case:
 }}}

 In other words, deferring to std::is_copy_constructible doesn't really
 help because it returns the wrong value... which means the error will
 still be triggered later in the client code when the copy constructor is
 actually used (if it's not used, then why check is_copy_constructible?)

 So I don't see any fix for this?

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