has_greater_equal . Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

has_greater_equal

template <class Lhs, class Rhs=Lhs, class Ret=dont_care>
struct has_greater_equal : public true_type-or-false_type {};

Наследства: Если (i) lhs и rhs типа Rhs>=rhs, и (ii) Ret=dont_care или результат выражения lhs можно преобразовать в Ret, то наследуется от true_type, в противном случае наследуется от false_type.

По умолчанию поведение (Ret=dont_care) не проверяется на обратное значение двоичного оператора>=. Если Ret отличается от типа dont_care, значение возврата проверяется на конвертируемость в Ret. Преобразуемое в Ret означает, что возвращаемое значение оператора может быть использовано в качестве аргумента для функции, ожидающей Ret:

void f(Ret);
Lhs lhs;
Rhs rhs;
f(lhs>=rhs); // is valid if has_greater_equal<Lhs, Rhs, Ret>::value==true

Если Ret=void, то тип возврата проверяется точно на void.

Header:/has_Greater_equal.hpp или boost/type_traits/has_operator или boosttype_traits>


Совместимость с компилятором: Требуется работа SFINAE (т.е. BOOST_NO_SFINAE не установлен). Этого не поддерживает лишь меньшинство довольно старых компиляторов.
Примеры:
has_greater_equal<Lhs,Rhs,Ret>::value_type является типом bool.
has_greater_equal<Lhs,Rhs,Ret>::значение представляет собой bool интегральное постоянное выражение.
has_greater_equal<int>::value представляет собой bool интегральное постоянное выражение, которое оценивает до true.
has_greater_equal<long> наследует от true_type.
has_greater_equal<int, int, bool> наследует от true_type.
has_greater_equal<int, double, bool> наследует от true_type.
has_greater_equal<const int> наследует от true_type.
has_greater_equal<int*, int> наследует от false_type.
has_greater_equal<int*, double*> наследует от false_type.
has_greater_equal<int,int, std::string> наследует от false_type.
 См. также:  Типы операторов
 Известные проблемы:

Эта черта не может определить, является ли двоичный оператор общедоступным или нет: если оператор>= определен как частный член Lhs, то инстанцирование has_greater_equal<> приведет к ошибке компилятора. По этой причине has_greater_equal не может использоваться для определения того, имеет ли тип публичный оператор>= или нет. структура     :void>=(const&);; boost::has_greater_equal>:value; /ошибка: A::operator>=(const A&) является частной 

Существует проблема, если оператор существует только для типа A и B является конвертируемым в A. В этом случае компилятор сообщит о двусмысленной перегрузке. структура   констA&;структура B(); буст::2>буст>::буст::2>

Существует проблема при применении этой черты к классам шаблонов. Если оператор структура ;>>>>>>>>>>>>>>>>>>>

 энергонезависимый квалификатор не обрабатывается должным образом и приведет к неопределенному поведению

has_greater_equal

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_greater_equal