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

has_unary_plus

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

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

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

void f(Ret);
Rhs rhs;
f(+rhs); // is valid if has_unary_plus<Rhs, Ret>::value==true

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

Руководитель:has_unary_plus.hpp>boost/9>type_traits/9>has_operator>boosthpp

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

Примеры:

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

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

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

has_unary_plus<long> наследует от true_type.

has_unary_plus<int, int> наследует от true_type.

has_unary_plus<int,long> наследует от true_type.

has_unary_plus<double, double> наследует от true_type.

has_unary_plus<double,int> наследует от true_type.

has_unary_plus<const int> наследует от true_type.

has_unary_plus<int, std::string> наследует от false_type.

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

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

Эта черта не может определить, является ли префикс оператор публичным или нет: если оператор+ определен как частный член Rhs, то инстанцирование has_unary_plus<Rhs> приведет к ошибке компилятора. По этой причине has_unary_plus не может использоваться для определения того, имеет ли тип публичный оператор+ или нет.
```
структура   { :+(); >; boost::has_unary_plus<>::значение; //ошибка: A::оператор+
```
Существует проблема, если оператор существует только для типа A и B является конвертируемым в A. В этом случае компилятор сообщит о двусмысленной перегрузке.
```
структура констBA();буст;бустплюс>::значениебуст::значение>:
```
Существует проблема при применении этой черты к классам шаблонов. Если операторструктура;>содержит >>>>>>>>>>>>>>>>>>3


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

has_unary_plus

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_unary_plus