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

has_plus

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

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

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

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

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

Примеры:

имеет_plus<Lhs,Rhs,Ret>::значение_typeявляется типомbool.

имеет_plus<Lhs,Rhs,Ret>::значениеявляетсяинтегральной постоянной экспрессией.

имеет_plus<int>::значениепредставляет собойинтегральное постоянное выражение, которое оцениваетистинное.

имеет_plus<длинный>наследует отистинный_тип.

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

имеет_plus<int,int,длинный>наследует отистинный_тип.

имеет_плюс<int,двойной,двойной>наследует отистинный_тип.

имеет_plus<int,двойной,int>наследует отистинный_тип.

имеет_plus<constint,intint>::наследует отtrue_type.

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

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

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

Эта черта не может определить, является ли двоичныйоператор+общедоступным или нет: еслиоператор+определен как частный членLhs, то инстанцированиеимеет_plus<Lhs>приведет к ошибке компилятора. По этой причинеимеет_плюсне может использоваться для определения того, имеет ли тип публичныйоператор+частный:пустойоператор+констконст];повышение::имеет_плюс>значение// ошибка: A::оператор + (конст A&] является частным


Существует проблема, если оператор существует только для типаAиBявляется конвертируемым вA. В этом случае компилятор сообщит о двусмысленной перегрузке.struct};voidoperator&,const&,constBоператороператор::A
Существует проблема при применении этой черты к классам шаблонов. Еслиоператор+определен, но не связывается для данного типа шаблона, он все равно обнаруживается чертой, которая возвращаетистинноевместоложное. Пример:#включает[включает][включает][включает][включает][] [] [] [] [] [] [] [] [] [[572содержит<плохой>>::значение<<;// истинно, должно быть ложносодержит<плохой>b+b;// компиляция ошибки временивозврат0;}

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

has_plus

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_plus