Server : Apache/2.4.41 (Ubuntu) System : Linux absol.cf 5.4.0-198-generic #218-Ubuntu SMP Fri Sep 27 20:18:53 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 7.4.33 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, Directory : /usr/include/boost/log/utility/functional/
Upload File :
Current File : //usr/include/boost/log/utility/functional/logical.hpp
/*
* Copyright Andrey Semashev 2007 - 2015.
* 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)
*/
/*!
* \file logical.hpp
* \author Andrey Semashev
* \date 30.03.2008
*
* This header contains logical predicates for value comparison, analogous to \c std::less, \c std::greater
* and others. The main difference from the standard equivalents is that the predicates defined in this
* header are not templates and therefore do not require a fixed argument type. Furthermore, both arguments
* may have different types, in which case the comparison is performed without type conversion.
*
* \note In case if arguments are integral, the conversion is performed according to the standard C++ rules
* in order to avoid warnings from the compiler.
*/
#ifndef BOOST_LOG_UTILITY_FUNCTIONAL_LOGICAL_HPP_INCLUDED_
#define BOOST_LOG_UTILITY_FUNCTIONAL_LOGICAL_HPP_INCLUDED_
#include <boost/mpl/if.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/and.hpp>
#include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/is_unsigned.hpp>
#include <boost/log/detail/config.hpp>
#include <boost/log/detail/header.hpp>
#ifdef BOOST_HAS_PRAGMA_ONCE
#pragma once
#endif
namespace boost {
BOOST_LOG_OPEN_NAMESPACE
namespace aux {
//! The trait creates a common integral type suitable for comparison. This is mostly to silence compiler warnings like 'signed/unsigned mismatch'.
template< typename T, typename U, unsigned int TSizeV = sizeof(T), unsigned int USizeV = sizeof(U), bool TSmallerThanU = (sizeof(T) < sizeof(U)) >
struct make_common_integral_type
{
typedef T type;
};
//! Specialization for case when \c T is smaller than \c U
template< typename T, typename U, unsigned int TSizeV, unsigned int USizeV >
struct make_common_integral_type< T, U, TSizeV, USizeV, true >
{
typedef U type;
};
//! Specialization for the case when both types have the same size
template< typename T, typename U, unsigned int SizeV >
struct make_common_integral_type< T, U, SizeV, SizeV, false > :
public mpl::if_<
is_unsigned< T >,
T,
U
>
{
};
} // namespace aux
//! Equality predicate
struct equal_to
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left == right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) == static_cast< common_integral_type >(right);
}
};
//! Inequality predicate
struct not_equal_to
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left != right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) != static_cast< common_integral_type >(right);
}
};
//! Less predicate
struct less
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left < right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) < static_cast< common_integral_type >(right);
}
};
//! Greater predicate
struct greater
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left > right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) > static_cast< common_integral_type >(right);
}
};
//! Less or equal predicate
struct less_equal
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left <= right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) <= static_cast< common_integral_type >(right);
}
};
//! Greater or equal predicate
struct greater_equal
{
typedef bool result_type;
template< typename T, typename U >
bool operator() (T const& left, U const& right) const
{
return op(left, right, typename mpl::and_< is_integral< T >, is_integral< U > >::type());
}
private:
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::false_ const&)
{
return (left >= right);
}
template< typename T, typename U >
static bool op(T const& left, U const& right, mpl::true_ const&)
{
typedef typename aux::make_common_integral_type< T, U >::type common_integral_type;
return static_cast< common_integral_type >(left) >= static_cast< common_integral_type >(right);
}
};
BOOST_LOG_CLOSE_NAMESPACE // namespace log
} // namespace boost
#include <boost/log/detail/footer.hpp>
#endif // BOOST_LOG_UTILITY_FUNCTIONAL_LOGICAL_HPP_INCLUDED_
Server : Apache/2.4.41 (Ubuntu)