feedc0de/boost_type_traits
1
0
Fork 0
forked from boostorg/type_traits
Code Pull Requests Activity

Merge branch 'develop' of https://github.com/boostorg/type_traits into develop

Browse Source
This commit is contained in:
jzmaddock
2018-09-14 17:41:16 +01:00
parent cbb9fecd92 ee4f7aab0c
commit a5bb8d7336
34 changed files with 300 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/detected.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
doc/detected_or.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

48
doc/enable_if.qbk Normal file
View File

@ -0,0 +1,48 @@
[/
Copyright 2018 Glen Joseph Fernandes
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt
or copy at http://www.boost.org/LICENSE_1_0.txt).
]
[section:enable_if enable_if_]
template<bool B, class T = void>
struct enable_if_;
template<bool B, class T = void>
using enable_if_t = typename enable_if_<B, T>::type;
__type If `B` is true, then the member `type` is defined to be `T`. Otherwise
there is no member `type`.
__header `#include <boost/type_traits/enable_if.hpp>`
[note The trait has the name `enable_if_` (with a trailing underscore) but
behaves like `std::enable_if` or `boost::enable_if_c`. The existing trait
with the name `boost::enable_if` has a different interface.]
__examples
The following function can be used to destroy each element of an array and
specially handle arrays of trivially destructible types.
template<class T>
typename boost::enable_if_<!boost::has_trivial_destructor<T>::value>::type
destroy(T* ptr, std::size_t size)
{
while (size > 0) {
ptr[--size].~T();
}
}
template<class T>
typename boost::enable_if_<boost::has_trivial_destructor<T>::value>::type
destroy(T*, std::size_t) { }
[all_compilers] The type alias `enable_if_t` is only available if the compiler
supports template aliases.
[endsect]

2
doc/is_detected.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
doc/is_detected_convertible.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
doc/is_detected_exact.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
doc/make_void.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
doc/nonesuch.qbk
View File

@ -1,6 +1,6 @@
[/
Copyright 2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

1
doc/type_traits.qbk
View File

@ -309,6 +309,7 @@ that is the result of the transformation.
[include declval.qbk]
[include detected.qbk]
[include detected_or.qbk]
[include enable_if.qbk]
[include extent.qbk]
[include floating_point_promotion.qbk]
[include function_traits.qbk]

1
include/boost/type_traits.hpp
View File

@ -24,6 +24,7 @@
#include <boost/type_traits/copy_cv.hpp>
#include <boost/type_traits/decay.hpp>
#include <boost/type_traits/declval.hpp>
#include <boost/type_traits/enable_if.hpp>
#include <boost/type_traits/extent.hpp>
#include <boost/type_traits/floating_point_promotion.hpp>
#include <boost/type_traits/function_traits.hpp>

2
include/boost/type_traits/detail/detector.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

4
include/boost/type_traits/detail/is_likely_lambda.hpp
View File

@ -30,7 +30,7 @@ struct is_likely_stateless_lambda : public false_type {};
#elif !defined(BOOST_NO_CXX11_LAMBDAS) && !defined(BOOST_NO_CXX11_DECLTYPE) && !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900)
#include <boost/type_traits/is_convertible.hpp>
#include <boost/core/enable_if.hpp>
#include <boost/type_traits/enable_if.hpp>
namespace boost{
@ -70,7 +70,7 @@ struct is_likely_stateless_lambda : false_type{};
template<typename T>
struct is_likely_stateless_lambda<
T,
typename boost::enable_if_c<has_one_operator_call<T>::value>::type> :
typename boost::enable_if_<has_one_operator_call<T>::value>::type> :
boost::is_convertible<T, typename equivalent_function_pointer<T>::type
>{};

2
include/boost/type_traits/detected.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
include/boost/type_traits/detected_or.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

37
include/boost/type_traits/enable_if.hpp Normal file
View File

@ -0,0 +1,37 @@
/*
Copyright 2003 The Trustees of Indiana University
Authors: Jaakko Jarvi (jajarvi at osl.iu.edu)
Jeremiah Willcock (jewillco at osl.iu.edu)
Andrew Lumsdaine (lums at osl.iu.edu)
Copyright 2018 Glen Joseph Fernandes
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt
or copy at http://www.boost.org/LICENSE_1_0.txt)
*/
#ifndef BOOST_TT_ENABLE_IF_HPP_INCLUDED
#define BOOST_TT_ENABLE_IF_HPP_INCLUDED
#include <boost/config.hpp>
namespace boost {
template<bool B, class T = void>
struct enable_if_ {
typedef T type;
};
template<class T>
struct enable_if_<false, T> { };
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
template<bool B, class T = void>
using enable_if_t = typename enable_if_<B, T>::type;
#endif
} /* boost */
#endif

7
include/boost/type_traits/is_copy_assignable.hpp
View File

@ -11,8 +11,7 @@
#include <boost/config.hpp>
#include <boost/type_traits/detail/yes_no_type.hpp>
#include <boost/type_traits/is_base_and_derived.hpp>
#include <boost/noncopyable.hpp>
#include <boost/type_traits/is_noncopyable.hpp>
#if !defined(BOOST_NO_CXX11_DELETED_FUNCTIONS) && !defined(BOOST_NO_CXX11_DECLTYPE) \
&& !defined(BOOST_INTEL_CXX_VERSION) && \
@ -112,7 +111,7 @@ struct is_copy_assignable_impl {
typedef BOOST_DEDUCED_TYPENAME boost::remove_reference<T>::type unreferenced_t;
BOOST_STATIC_CONSTANT(bool, value = (
boost::detail::is_copy_assignable_impl2<
boost::is_base_and_derived<boost::noncopyable, T>::value
boost::is_noncopyable<T>::value
|| boost::is_const<unreferenced_t>::value || boost::is_array<unreferenced_t>::value
,T
>::value
@ -120,7 +119,7 @@ struct is_copy_assignable_impl {
#else
BOOST_STATIC_CONSTANT(bool, value = (
boost::detail::is_copy_assignable_impl2<
boost::is_base_and_derived<boost::noncopyable, T>::value,T
boost::is_noncopyable<T>::value,T
>::value
));
#endif

10
include/boost/type_traits/is_copy_constructible.hpp
View File

@ -37,8 +37,7 @@ template <> struct is_copy_constructible<void volatile> : public false_type{};
// 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:
//
#include <boost/type_traits/is_base_and_derived.hpp>
#include <boost/noncopyable.hpp>
#include <boost/type_traits/is_noncopyable.hpp>
namespace boost {
@ -50,7 +49,7 @@ namespace boost {
}
template <class T> struct is_copy_constructible : public detail::is_copy_constructible_imp<T, is_base_and_derived<boost::noncopyable, T>::value>{};
template <class T> struct is_copy_constructible : public detail::is_copy_constructible_imp<T, is_noncopyable<T>::value>{};
template <> struct is_copy_constructible<void> : public false_type{};
template <> struct is_copy_constructible<void const> : public false_type{};
@ -64,13 +63,12 @@ namespace boost {
#else
#include <boost/type_traits/detail/yes_no_type.hpp>
#include <boost/type_traits/is_base_and_derived.hpp>
#include <boost/type_traits/is_noncopyable.hpp>
#include <boost/type_traits/add_reference.hpp>
#include <boost/type_traits/is_rvalue_reference.hpp>
#include <boost/type_traits/declval.hpp>
#include <boost/type_traits/is_array.hpp>
#include <boost/type_traits/declval.hpp>
#include <boost/noncopyable.hpp>
#ifdef BOOST_MSVC
#pragma warning(push)
@ -160,7 +158,7 @@ namespace boost {
BOOST_STATIC_CONSTANT(bool, value = (
boost::detail::is_copy_constructible_impl2<
boost::is_base_and_derived<boost::noncopyable, T>::value,
boost::is_noncopyable<T>::value,
T
>::value
));

2
include/boost/type_traits/is_detected.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
include/boost/type_traits/is_detected_convertible.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
include/boost/type_traits/is_detected_exact.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

39
include/boost/type_traits/is_noncopyable.hpp Normal file
View File

@ -0,0 +1,39 @@
#ifndef BOOST_TYPE_TRAITS_IS_NONCOPYABLE_HPP_INCLUDED
#define BOOST_TYPE_TRAITS_IS_NONCOPYABLE_HPP_INCLUDED
//
// Copyright 2018 Peter Dimov
//
// Distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt
//
// is_noncopyable<T> returns whether T is derived from boost::noncopyable
//
#include <boost/type_traits/is_base_and_derived.hpp>
namespace boost
{
#ifndef BOOST_NONCOPYABLE_BASE_TOKEN_DEFINED
#define BOOST_NONCOPYABLE_BASE_TOKEN_DEFINED
// boost::noncopyable derives from noncopyable_::base_token to enable us
// to recognize it. The definition is macro-guarded so that we can replicate
// it here without including boost/core/noncopyable.hpp, which is in Core.
namespace noncopyable_
{
struct base_token {};
}
#endif // #ifndef BOOST_NONCOPYABLE_BASE_TOKEN_DEFINED
template<class T> struct is_noncopyable: is_base_and_derived<noncopyable_::base_token, T>
{
};
} // namespace boost
#endif // #ifndef BOOST_TYPE_TRAITS_IS_NONCOPYABLE_HPP_INCLUDED

4
include/boost/type_traits/is_nothrow_move_assignable.hpp
View File

@ -16,7 +16,7 @@
#include <boost/type_traits/has_nothrow_assign.hpp>
#include <boost/type_traits/is_array.hpp>
#include <boost/type_traits/is_reference.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/enable_if.hpp>
#include <boost/type_traits/declval.hpp>
#include <boost/type_traits/is_complete.hpp>
#include <boost/static_assert.hpp>
@ -48,7 +48,7 @@ struct false_or_cpp11_noexcept_move_assignable: public ::boost::false_type {};
template <class T>
struct false_or_cpp11_noexcept_move_assignable <
T,
typename ::boost::enable_if_c<sizeof(T) && BOOST_NOEXCEPT_EXPR(::boost::declval<T&>() = ::boost::declval<T>())>::type
typename ::boost::enable_if_<sizeof(T) && BOOST_NOEXCEPT_EXPR(::boost::declval<T&>() = ::boost::declval<T>())>::type
> : public ::boost::integral_constant<bool, BOOST_NOEXCEPT_EXPR(::boost::declval<T&>() = ::boost::declval<T>())>
{};

4
include/boost/type_traits/is_nothrow_move_constructible.hpp
View File

@ -35,7 +35,7 @@ template <class T> struct is_nothrow_move_constructible<const volatile T> : publ
#elif !defined(BOOST_NO_CXX11_NOEXCEPT) && !defined(BOOST_NO_SFINAE_EXPR) && !BOOST_WORKAROUND(BOOST_GCC_VERSION, < 40700)
#include <boost/type_traits/declval.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/enable_if.hpp>
namespace boost{ namespace detail{
@ -45,7 +45,7 @@ struct false_or_cpp11_noexcept_move_constructible: public ::boost::false_type {}
template <class T>
struct false_or_cpp11_noexcept_move_constructible <
T,
typename ::boost::enable_if_c<sizeof(T) && BOOST_NOEXCEPT_EXPR(T(::boost::declval<T>()))>::type
typename ::boost::enable_if_<sizeof(T) && BOOST_NOEXCEPT_EXPR(T(::boost::declval<T>()))>::type
> : public ::boost::integral_constant<bool, BOOST_NOEXCEPT_EXPR(T(::boost::declval<T>()))>
{};

2
include/boost/type_traits/make_void.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
include/boost/type_traits/nonesuch.hpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
test/detected_or_test.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
test/detected_test.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

92
test/enable_if_test.cpp Normal file
View File

@ -0,0 +1,92 @@
/*
Copyright 2018 Glen Joseph Fernandes
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt
or copy at http://www.boost.org/LICENSE_1_0.txt)
*/
#include <boost/type_traits/enable_if.hpp>
#include "test.hpp"
template<bool B>
struct Constant {
enum {
value = B
};
};
template<class T>
struct Check
: Constant<false> { };
template<>
struct Check<long>
: Constant<true> { };
class Construct {
public:
template<class T>
Construct(T, typename boost::enable_if_<Check<T>::value>::type* = 0)
: value_(true) { }
template<class T>
Construct(T, typename boost::enable_if_<!Check<T>::value>::type* = 0)
: value_(false) { }
bool value() const {
return value_;
}
private:
bool value_;
};
template<class T, class E = void>
struct Specialize;
template<class T>
struct Specialize<T, typename boost::enable_if_<Check<T>::value>::type>
: Constant<true> { };
template<class T>
struct Specialize<T, typename boost::enable_if_<!Check<T>::value>::type>
: Constant<false> { };
template<class T>
typename boost::enable_if_<Check<T>::value, bool>::type Returns(T)
{
return true;
}
template<class T>
typename boost::enable_if_<!Check<T>::value, bool>::type Returns(T)
{
return false;
}
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
template<class T>
boost::enable_if_t<Check<T>::value, bool> Alias(T)
{
return true;
}
template<class T>
boost::enable_if_t<!Check<T>::value, bool> Alias(T)
{
return false;
}
#endif
TT_TEST_BEGIN(enable_if)
BOOST_CHECK(!Construct(1).value());
BOOST_CHECK(Construct(1L).value());
BOOST_CHECK(!Specialize<int>::value);
BOOST_CHECK(Specialize<long>::value);
BOOST_CHECK(!Returns(1));
BOOST_CHECK(Returns(1L));
#if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
BOOST_CHECK(!Alias(1));
BOOST_CHECK(Alias(1L));
#endif
TT_TEST_END

4
test/is_convertible_test.cpp
View File

@ -11,7 +11,7 @@
#endif
#include "test.hpp"
#include "check_integral_constant.hpp"
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/enable_if.hpp>
template <class T>
@ -30,7 +30,7 @@ template<typename T>
struct test_bug_4530
{
template<typename A>
test_bug_4530(A&&, typename boost::enable_if< ::tt::is_convertible<A&&, T> >::type* =0);
test_bug_4530(A&&, typename boost::enable_if_< ::tt::is_convertible<A&&, T>::value >::type* =0);
};
struct A4530

2
test/is_detected_convertible.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
test/is_detected_exact_test.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

2
test/is_detected_test.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017-2018 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt

46
test/is_noncopyable_test.cpp Normal file
View File

@ -0,0 +1,46 @@
// (C) Copyright John Maddock 2000.
// (C) Copyright Peter Dimov 2018.
// Use, modification and distribution are subject to the
// Boost Software License, Version 1.0. (See accompanying file
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
#ifdef TEST_STD
# include <type_traits>
#else
# include <boost/type_traits/is_noncopyable.hpp>
#endif
#include <boost/core/noncopyable.hpp>
#include "test.hpp"
#include "check_integral_constant.hpp"
struct X
{
};
class Y: private boost::noncopyable
{
};
class Z: private Y
{
};
TT_TEST_BEGIN(is_noncopyable)
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<void>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<const void>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<int>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<const int>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<X>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<const X>::value, false);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<Y>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<const Y>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<Z>::value, true);
BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_noncopyable<const Z>::value, true);
TT_TEST_END

2
test/make_void_test.cpp
View File

@ -1,6 +1,6 @@
/*
Copyright 2017 Glen Joseph Fernandes
<glenjofe -at- gmail.com>
(glenjofe@gmail.com)
Distributed under the Boost Software License,
Version 1.0. (See accompanying file LICENSE_1_0.txt