Re: [boost] [type_traits][core] modularisation and moving stuff about (again)

Subject: Re: [boost] [type_traits][core] modularisation and moving stuff about (again)
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2018-08-23 11:23:53

On 08/23/18 14:12, Peter Dimov via Boost wrote:
> Andrey Semashev wrote:
> 
>> For noncopyable, we could convert its detection from 
>> is_base_and_derived to a dispatch based on SFINAE.
>>
>> Â  // Boost.Core
>> Â  class noncopyable
>> Â  {
>> Â  public:
>> Â Â Â  typedef void _is_boost_noncopyable;
>> Â  };
>>
>> Â  // Boost.TypeTraits
>> Â  template< typename T, typename = void >
>> Â  struct is_boost_noncopyable : false_type {};
>>
>> Â  template< typename T >
>> Â  struct is_boost_noncopyable< T, typename T::_is_boost_noncopyable >
>> : true_type {};
> 
> This doesn't work because types derive privately from 
> boost::noncopyable, and the trait above returns false in this case.

Does is_base_and_derived (non-intrinsic-based) work with private 
inheritance?