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

has_bit_or_assign

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

Наследники:Если (i)lhsтипаLhsиrhsтипаRhsможно использовать в выраженииlhs|=rhsи (ii)Ret=dont_careили результат выраженияlhsrhsконвертируется в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_assign<Lhs, Rhs, Ret>::value==true

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

Заголовок:#включает<имеет_bit_or_assign.hpp>[включает]<[[] [[] [

Совместимость компиляторов:Требуется работа SFINAE (т.е. BOOST_NO_SFINAE не установлен). Этого не поддерживает лишь меньшинство довольно старых компиляторов.

Примеры:

имеет_bit_or_assign<Lhs,Rhs,Ret>::value_typeявляется типомbool.

имеет_bit_or_assign<Lhs,Rhs,Ret>::значениепредставляет собойболтинтегральное постоянное выражение.

имеет_bit_or_assign<int>::значениеявляетсяинтегральной постоянной экспрессией, которая оцениваетистинное.

имеет_bit_or_assign<long>наследует отtrue_type.

имеет_bit_or_assign<int,int,int>наследует отtrue_type.

имеет_bit_or_assign<constint,int>наследует отfalse_type.

имеет_bit_or_assign<int,double,bool>наследует отfalse_type.

имеет_bit_or_assign<int,int,std::строка>наследует отfalse_type.

См. также:Типы операторов

Известные вопросы:

Эта черта не может определить, является ли двоичныйоператор|=общедоступным или нет: еслиоператор|=определен как частный членLhs, то инстанциацияимеет_bit_or_assign<Lhs>приведет к ошибке компилятора. По этой причинеимеет_bit_or_assignне может использоваться для определения, имеет ли тип публичныйоператор|=частный:пустой|=констконст];бустер::имеет_bit_or_assign<>];:значение// ошибка: A:


Существует проблема, если оператор существует только для типаАиВявляется конвертируемым вА. В этом случае компилятор сообщит о двусмысленной перегрузке.struct};voidоператорconst&,const&,оператороператороператороператороператор::[451
Существует проблема при применении этой черты к классам шаблонов. Еслиоператор|=определен, но не связывается для данного типа шаблона, он все равно обнаруживается чертой, которая возвращаетистинноевместоложное. Пример:[5
летучийклассификатор не обрабатывается должным образом и приведет к неопределенному поведению

has_bit_or_assign

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_bit_or_assign