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

has_bit_or

template <class Lhs, class Rhs=Lhs, class Ret=dont_care>
struct has_bit_or : 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_bit_or<Lhs, Rhs, Ret>::value==true

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

Header:type_traits/has_bit_or.hpp>boost/type_traits/


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

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

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

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

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

has_bit_or

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_bit_or