mirror of
https://github.com/boostorg/type_traits.git
synced 2025-07-31 13:07:22 +02:00
Merge pull request #64 from boostorg/issue_13012
Improve binary operators.
This commit is contained in:
@ -7,19 +7,7 @@
|
||||
// See http://www.boost.org/libs/type_traits for most recent version including documentation.
|
||||
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/type_traits/detail/yes_no_type.hpp>
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/is_base_of.hpp>
|
||||
#include <boost/type_traits/is_const.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_fundamental.hpp>
|
||||
#include <boost/type_traits/is_integral.hpp>
|
||||
#include <boost/type_traits/is_pointer.hpp>
|
||||
#include <boost/type_traits/is_same.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/remove_cv.hpp>
|
||||
#include <boost/type_traits/remove_pointer.hpp>
|
||||
#include <boost/type_traits/remove_reference.hpp>
|
||||
#include <boost/config/workaround.hpp>
|
||||
|
||||
// cannot include this header without getting warnings of the kind:
|
||||
// gcc:
|
||||
@ -37,12 +25,77 @@
|
||||
# pragma GCC system_header
|
||||
#elif defined(BOOST_MSVC)
|
||||
# pragma warning ( push )
|
||||
# pragma warning ( disable : 4018 4244 4547 4800 4804 4805 4913)
|
||||
# pragma warning ( disable : 4018 4244 4547 4800 4804 4805 4913 4133)
|
||||
# if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
|
||||
# pragma warning ( disable : 6334)
|
||||
# endif
|
||||
#endif
|
||||
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/make_void.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/add_reference.hpp>
|
||||
#include <utility>
|
||||
|
||||
namespace boost
|
||||
{
|
||||
|
||||
namespace binary_op_detail {
|
||||
|
||||
struct dont_care;
|
||||
|
||||
template <class T, class U, class Ret, class = boost::void_t<>>
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _ret_imp) : public boost::false_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _ret_imp)<T, U, Ret, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() BOOST_TT_TRAIT_OP std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_convertible<decltype(std::declval<typename add_reference<T>::type>() BOOST_TT_TRAIT_OP std::declval<typename add_reference<U>::type>()), Ret>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<> >
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _void_imp) : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _void_imp)<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() BOOST_TT_TRAIT_OP std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_void<decltype(std::declval<typename add_reference<T>::type>() BOOST_TT_TRAIT_OP std::declval<typename add_reference<U>::type>())>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<>>
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _dc_imp) : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct BOOST_JOIN(BOOST_TT_TRAIT_NAME, _dc_imp)<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() BOOST_TT_TRAIT_OP std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::true_type {};
|
||||
|
||||
}
|
||||
|
||||
template <class T, class U = T, class Ret = boost::binary_op_detail::dont_care>
|
||||
struct BOOST_TT_TRAIT_NAME : public boost::binary_op_detail:: BOOST_JOIN(BOOST_TT_TRAIT_NAME, _ret_imp) <T, U, Ret> {};
|
||||
template <class T, class U>
|
||||
struct BOOST_TT_TRAIT_NAME<T, U, void> : public boost::binary_op_detail:: BOOST_JOIN(BOOST_TT_TRAIT_NAME, _void_imp) <T, U> {};
|
||||
template <class T, class U>
|
||||
struct BOOST_TT_TRAIT_NAME<T, U, boost::binary_op_detail::dont_care> : public boost::binary_op_detail:: BOOST_JOIN(BOOST_TT_TRAIT_NAME, _dc_imp) <T, U> {};
|
||||
|
||||
|
||||
}
|
||||
|
||||
#else
|
||||
|
||||
#include <boost/type_traits/detail/yes_no_type.hpp>
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/is_base_of.hpp>
|
||||
#include <boost/type_traits/is_const.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_fundamental.hpp>
|
||||
#include <boost/type_traits/is_integral.hpp>
|
||||
#include <boost/type_traits/is_pointer.hpp>
|
||||
#include <boost/type_traits/is_same.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/remove_cv.hpp>
|
||||
#include <boost/type_traits/remove_pointer.hpp>
|
||||
#include <boost/type_traits/remove_reference.hpp>
|
||||
|
||||
namespace boost {
|
||||
namespace detail {
|
||||
|
||||
@ -217,6 +270,9 @@ struct BOOST_TT_TRAIT_NAME : public integral_constant<bool, (::boost::detail::BO
|
||||
|
||||
} // namespace boost
|
||||
|
||||
#endif
|
||||
|
||||
#if defined(BOOST_MSVC)
|
||||
# pragma warning ( pop )
|
||||
#endif
|
||||
|
||||
|
@ -9,6 +9,97 @@
|
||||
#ifndef BOOST_TT_HAS_MINUS_HPP_INCLUDED
|
||||
#define BOOST_TT_HAS_MINUS_HPP_INCLUDED
|
||||
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/config/workaround.hpp>
|
||||
|
||||
// cannot include this header without getting warnings of the kind:
|
||||
// gcc:
|
||||
// warning: value computed is not used
|
||||
// warning: comparison between signed and unsigned integer expressions
|
||||
// msvc:
|
||||
// warning C4018: '<' : signed/unsigned mismatch
|
||||
// warning C4244: '+=' : conversion from 'double' to 'char', possible loss of data
|
||||
// warning C4547: '*' : operator before comma has no effect; expected operator with side-effect
|
||||
// warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
|
||||
// warning C4804: '<' : unsafe use of type 'bool' in operation
|
||||
// warning C4805: '==' : unsafe mix of type 'bool' and type 'char' in operation
|
||||
// cannot find another implementation -> declared as system header to suppress these warnings.
|
||||
#if defined(__GNUC__)
|
||||
# pragma GCC system_header
|
||||
#elif defined(BOOST_MSVC)
|
||||
# pragma warning ( push )
|
||||
# pragma warning ( disable : 4018 4244 4547 4800 4804 4805 4913 4133)
|
||||
# if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
|
||||
# pragma warning ( disable : 6334)
|
||||
# endif
|
||||
#endif
|
||||
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/make_void.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/add_reference.hpp>
|
||||
#include <boost/type_traits/remove_pointer.hpp>
|
||||
#include <boost/type_traits/remove_reference.hpp>
|
||||
#include <utility>
|
||||
|
||||
namespace boost
|
||||
{
|
||||
|
||||
namespace binary_op_detail {
|
||||
|
||||
struct dont_care;
|
||||
|
||||
template <class T, class U, class Ret, class = boost::void_t<>>
|
||||
struct has_minus_ret_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_ret_imp<T, U, Ret, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() - std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_convertible<decltype(std::declval<typename add_reference<T>::type>() - std::declval<typename add_reference<U>::type>()), Ret>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<> >
|
||||
struct has_minus_void_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_minus_void_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() - std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_void<decltype(std::declval<typename add_reference<T>::type>() - std::declval<typename add_reference<U>::type>())>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<>>
|
||||
struct has_minus_dc_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_minus_dc_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() - std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::true_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_ret_filter : public boost::binary_op_detail::has_minus_ret_imp <T, U, Ret> {};
|
||||
template <class T, class U>
|
||||
struct has_minus_ret_filter<T, U, void> : public boost::binary_op_detail::has_minus_void_imp <T, U> {};
|
||||
template <class T, class U>
|
||||
struct has_minus_ret_filter<T, U, boost::binary_op_detail::dont_care> : public boost::binary_op_detail::has_minus_dc_imp <T, U> {};
|
||||
|
||||
template <class T, class U, class Ret, bool b>
|
||||
struct has_minus_void_ptr_filter : public boost::binary_op_detail::has_minus_ret_filter <T, U, Ret> {};
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_void_ptr_filter<T, U, Ret, true> : public boost::false_type {};
|
||||
|
||||
}
|
||||
|
||||
template <class T, class U = T, class Ret = boost::binary_op_detail::dont_care>
|
||||
struct has_minus :
|
||||
public boost::binary_op_detail::has_minus_void_ptr_filter<
|
||||
T, U, Ret,
|
||||
boost::is_void<typename remove_pointer<typename remove_reference<T>::type>::type>::value
|
||||
|| boost::is_void<typename remove_pointer<typename remove_reference<U>::type>::type>::value> {};
|
||||
|
||||
|
||||
}
|
||||
|
||||
#else
|
||||
|
||||
|
||||
#define BOOST_TT_TRAIT_NAME has_minus
|
||||
#define BOOST_TT_TRAIT_OP -
|
||||
#define BOOST_TT_FORBIDDEN_IF\
|
||||
@ -50,6 +141,7 @@
|
||||
)\
|
||||
)
|
||||
|
||||
#define BOOST_TT_FORBIDDEN_IF_NEW (boost::is_void<typename remove_pointer<typename boost::remove_reference<T>::type>::type>::value || boost::is_void<typename remove_pointer<typename boost::remove_reference<U>::type>::type>::value)
|
||||
|
||||
#include <boost/type_traits/detail/has_binary_operator.hpp>
|
||||
|
||||
@ -58,3 +150,4 @@
|
||||
#undef BOOST_TT_FORBIDDEN_IF
|
||||
|
||||
#endif
|
||||
#endif
|
||||
|
@ -6,8 +6,100 @@
|
||||
//
|
||||
// See http://www.boost.org/libs/type_traits for most recent version including documentation.
|
||||
|
||||
#ifndef BOOST_TT_HAS_MINUS_ASSIGN_HPP_INCLUDED
|
||||
#define BOOST_TT_HAS_MINUS_ASSIGN_HPP_INCLUDED
|
||||
#ifndef BOOST_TT_has_minus_assign_ASSIGN_HPP_INCLUDED
|
||||
#define BOOST_TT_has_minus_assign_ASSIGN_HPP_INCLUDED
|
||||
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/config/workaround.hpp>
|
||||
|
||||
// cannot include this header without getting warnings of the kind:
|
||||
// gcc:
|
||||
// warning: value computed is not used
|
||||
// warning: comparison between signed and unsigned integer expressions
|
||||
// msvc:
|
||||
// warning C4018: '<' : signed/unsigned mismatch
|
||||
// warning C4244: '+=' : conversion from 'double' to 'char', possible loss of data
|
||||
// warning C4547: '*' : operator before comma has no effect; expected operator with side-effect
|
||||
// warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
|
||||
// warning C4804: '<' : unsafe use of type 'bool' in operation
|
||||
// warning C4805: '==' : unsafe mix of type 'bool' and type 'char' in operation
|
||||
// cannot find another implementation -> declared as system header to suppress these warnings.
|
||||
#if defined(__GNUC__)
|
||||
# pragma GCC system_header
|
||||
#elif defined(BOOST_MSVC)
|
||||
# pragma warning ( push )
|
||||
# pragma warning ( disable : 4018 4244 4547 4800 4804 4805 4913 4133)
|
||||
# if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
|
||||
# pragma warning ( disable : 6334)
|
||||
# endif
|
||||
#endif
|
||||
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/make_void.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/is_pointer.hpp>
|
||||
#include <boost/type_traits/add_reference.hpp>
|
||||
#include <boost/type_traits/remove_pointer.hpp>
|
||||
#include <boost/type_traits/remove_reference.hpp>
|
||||
#include <utility>
|
||||
|
||||
namespace boost
|
||||
{
|
||||
|
||||
namespace binary_op_detail {
|
||||
|
||||
struct dont_care;
|
||||
|
||||
template <class T, class U, class Ret, class = boost::void_t<>>
|
||||
struct has_minus_assign_ret_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_assign_ret_imp<T, U, Ret, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() -= std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_convertible<decltype(std::declval<typename add_reference<T>::type>() -= std::declval<typename add_reference<U>::type>()), Ret>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<> >
|
||||
struct has_minus_assign_void_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_minus_assign_void_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() -= std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_void<decltype(std::declval<typename add_reference<T>::type>() -= std::declval<typename add_reference<U>::type>())>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<>>
|
||||
struct has_minus_assign_dc_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_minus_assign_dc_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() -= std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::true_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_assign_ret_filter : public boost::binary_op_detail::has_minus_assign_ret_imp <T, U, Ret> {};
|
||||
template <class T, class U>
|
||||
struct has_minus_assign_ret_filter<T, U, void> : public boost::binary_op_detail::has_minus_assign_void_imp <T, U> {};
|
||||
template <class T, class U>
|
||||
struct has_minus_assign_ret_filter<T, U, boost::binary_op_detail::dont_care> : public boost::binary_op_detail::has_minus_assign_dc_imp <T, U> {};
|
||||
|
||||
template <class T, class U, class Ret, bool b>
|
||||
struct has_minus_assign_void_ptr_filter : public boost::binary_op_detail::has_minus_assign_ret_filter <T, U, Ret> {};
|
||||
template <class T, class U, class Ret>
|
||||
struct has_minus_assign_void_ptr_filter<T, U, Ret, true> : public boost::false_type {};
|
||||
|
||||
}
|
||||
|
||||
template <class T, class U = T, class Ret = boost::binary_op_detail::dont_care>
|
||||
struct has_minus_assign :
|
||||
public boost::binary_op_detail::has_minus_assign_void_ptr_filter<
|
||||
T, U, Ret,
|
||||
boost::is_void<typename remove_pointer<typename remove_reference<T>::type>::type>::value
|
||||
|| boost::is_void<typename remove_pointer<typename remove_reference<U>::type>::type>::value
|
||||
|| (boost::is_pointer<typename remove_reference<T>::type>::value && boost::is_pointer<typename remove_reference<U>::type>::value)> {};
|
||||
|
||||
|
||||
}
|
||||
|
||||
#else
|
||||
|
||||
#define BOOST_TT_TRAIT_NAME has_minus_assign
|
||||
#define BOOST_TT_TRAIT_OP -=
|
||||
@ -63,3 +155,4 @@
|
||||
#undef BOOST_TT_FORBIDDEN_IF
|
||||
|
||||
#endif
|
||||
#endif
|
||||
|
@ -9,6 +9,95 @@
|
||||
#ifndef BOOST_TT_HAS_PLUS_ASSIGN_HPP_INCLUDED
|
||||
#define BOOST_TT_HAS_PLUS_ASSIGN_HPP_INCLUDED
|
||||
|
||||
#include <boost/config.hpp>
|
||||
#include <boost/config/workaround.hpp>
|
||||
|
||||
// cannot include this header without getting warnings of the kind:
|
||||
// gcc:
|
||||
// warning: value computed is not used
|
||||
// warning: comparison between signed and unsigned integer expressions
|
||||
// msvc:
|
||||
// warning C4018: '<' : signed/unsigned mismatch
|
||||
// warning C4244: '+=' : conversion from 'double' to 'char', possible loss of data
|
||||
// warning C4547: '*' : operator before comma has no effect; expected operator with side-effect
|
||||
// warning C4800: 'int' : forcing value to bool 'true' or 'false' (performance warning)
|
||||
// warning C4804: '<' : unsafe use of type 'bool' in operation
|
||||
// warning C4805: '==' : unsafe mix of type 'bool' and type 'char' in operation
|
||||
// cannot find another implementation -> declared as system header to suppress these warnings.
|
||||
#if defined(__GNUC__)
|
||||
# pragma GCC system_header
|
||||
#elif defined(BOOST_MSVC)
|
||||
# pragma warning ( push )
|
||||
# pragma warning ( disable : 4018 4244 4547 4800 4804 4805 4913 4133)
|
||||
# if BOOST_WORKAROUND(BOOST_MSVC_FULL_VER, >= 140050000)
|
||||
# pragma warning ( disable : 6334)
|
||||
# endif
|
||||
#endif
|
||||
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
|
||||
#include <boost/type_traits/integral_constant.hpp>
|
||||
#include <boost/type_traits/make_void.hpp>
|
||||
#include <boost/type_traits/is_convertible.hpp>
|
||||
#include <boost/type_traits/is_void.hpp>
|
||||
#include <boost/type_traits/is_same.hpp>
|
||||
#include <boost/type_traits/is_pointer.hpp>
|
||||
#include <boost/type_traits/is_arithmetic.hpp>
|
||||
#include <boost/type_traits/add_reference.hpp>
|
||||
#include <boost/type_traits/remove_pointer.hpp>
|
||||
#include <boost/type_traits/remove_reference.hpp>
|
||||
#include <boost/type_traits/remove_cv.hpp>
|
||||
#include <utility>
|
||||
|
||||
namespace boost
|
||||
{
|
||||
|
||||
namespace binary_op_detail {
|
||||
|
||||
struct dont_care;
|
||||
|
||||
template <class T, class U, class Ret, class = boost::void_t<>>
|
||||
struct has_plus_assign_ret_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_plus_assign_ret_imp<T, U, Ret, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() += std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_convertible<decltype(std::declval<typename add_reference<T>::type>() += std::declval<typename add_reference<U>::type>()), Ret>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<> >
|
||||
struct has_plus_assign_void_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_plus_assign_void_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() += std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::integral_constant<bool, ::boost::is_void<decltype(std::declval<typename add_reference<T>::type>() += std::declval<typename add_reference<U>::type>())>::value> {};
|
||||
|
||||
template <class T, class U, class = boost::void_t<>>
|
||||
struct has_plus_assign_dc_imp : public boost::false_type {};
|
||||
|
||||
template <class T, class U>
|
||||
struct has_plus_assign_dc_imp<T, U, boost::void_t<decltype(std::declval<typename add_reference<T>::type>() += std::declval<typename add_reference<U>::type>())> >
|
||||
: public boost::true_type {};
|
||||
|
||||
template <class T, class U, class Ret>
|
||||
struct has_plus_assign_filter_ret : public boost::binary_op_detail:: has_plus_assign_ret_imp <T, U, Ret> {};
|
||||
template <class T, class U>
|
||||
struct has_plus_assign_filter_ret<T, U, void> : public boost::binary_op_detail:: has_plus_assign_void_imp <T, U> {};
|
||||
template <class T, class U>
|
||||
struct has_plus_assign_filter_ret<T, U, boost::binary_op_detail::dont_care> : public boost::binary_op_detail:: has_plus_assign_dc_imp <T, U> {};
|
||||
|
||||
template <class T, class U, class Ret, bool f>
|
||||
struct has_plus_assign_filter_impossible : public boost::binary_op_detail:: has_plus_assign_filter_ret <T, U, Ret> {};
|
||||
template <class T, class U, class Ret>
|
||||
struct has_plus_assign_filter_impossible<T, U, Ret, true> : public boost::false_type {};
|
||||
|
||||
}
|
||||
|
||||
template <class T, class U = T, class Ret = boost::binary_op_detail::dont_care>
|
||||
struct has_plus_assign : public boost::binary_op_detail:: has_plus_assign_filter_impossible <T, U, Ret, boost::is_arithmetic<typename boost::remove_reference<T>::type>::value && boost::is_pointer<typename remove_reference<U>::type>::value && !boost::is_same<bool, typename boost::remove_cv<typename remove_reference<T>::type>::type>::value> {};
|
||||
|
||||
}
|
||||
|
||||
#else
|
||||
|
||||
#define BOOST_TT_TRAIT_NAME has_plus_assign
|
||||
#define BOOST_TT_TRAIT_OP +=
|
||||
#define BOOST_TT_FORBIDDEN_IF\
|
||||
@ -64,3 +153,4 @@
|
||||
#undef BOOST_TT_FORBIDDEN_IF
|
||||
|
||||
#endif
|
||||
#endif
|
||||
|
@ -86,6 +86,14 @@ inline bool operator BOOST_TT_TRAIT_OP (const C&, void*) { return true; }
|
||||
inline bool operator BOOST_TT_TRAIT_OP (void*, const D&) { return true; }
|
||||
inline bool operator BOOST_TT_TRAIT_OP (const C&, const D&) { return true; }
|
||||
|
||||
struct private_op { private: void operator BOOST_TT_TRAIT_OP (const private_op&) {} };
|
||||
|
||||
struct ambiguous_A
|
||||
{
|
||||
};
|
||||
inline bool operator BOOST_TT_TRAIT_OP (const ambiguous_A&, const ambiguous_A&) { return true; }
|
||||
struct ambiguous_B { operator ambiguous_A()const { return ambiguous_A(); } };
|
||||
|
||||
//class internal_private { ret operator BOOST_TT_TRAIT_OP (const internal_private&) const; };
|
||||
|
||||
void common() {
|
||||
@ -144,6 +152,17 @@ void common() {
|
||||
TEST_TR(Derived2, bool, true);
|
||||
// compile time error
|
||||
// TEST_T(internal_private, false);
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
// There are some things that pass that wouldn't otherwise do so:
|
||||
#if !BOOST_WORKAROUND(BOOST_MSVC, < 1910)
|
||||
TEST_TR(private_op, bool, false);
|
||||
TEST_T(private_op, false);
|
||||
#endif
|
||||
TEST_TR(ambiguous_A, bool, true);
|
||||
TEST_T(ambiguous_A, true);
|
||||
TEST_TR(ambiguous_B, bool, true);
|
||||
TEST_T(ambiguous_B, true);
|
||||
#endif
|
||||
}
|
||||
|
||||
}
|
||||
|
@ -219,6 +219,15 @@ void specific() {
|
||||
BOOST_CHECK_INTEGRAL_CONSTANT((::boost::BOOST_TT_TRAIT_NAME< int* const &, int* &, int & >::value), 0);
|
||||
BOOST_CHECK_INTEGRAL_CONSTANT((::boost::BOOST_TT_TRAIT_NAME< int* const &, int* const &, int const & >::value), 1);
|
||||
|
||||
#if !defined(BOOST_NO_SFINAE_EXPR) && !defined(BOOST_NO_CXX11_DECLTYPE) && !BOOST_WORKAROUND(BOOST_MSVC, < 1900) && !BOOST_WORKAROUND(BOOST_GCC, < 40900)
|
||||
// There are some things that pass that wouldn't otherwise do so:
|
||||
auto f = []() {};
|
||||
#ifndef BOOST_MSVC
|
||||
TEST_TR(decltype(f), bool, true);
|
||||
#else
|
||||
TEST_TR(decltype(f), bool, false);
|
||||
#endif
|
||||
#endif
|
||||
}
|
||||
|
||||
TT_TEST_BEGIN(BOOST_TT_TRAIT_NAME)
|
||||
|
Reference in New Issue
Block a user