template <class Rhs, class Ret=dont_care>
struct has_negate : public true_type-or-false_type {};
Наследства: Если (i) rhs типа Rhs-, и (ii) Ret=dont_care или результат выражения -rhs, то наследуется от true_type, в противном случае наследуется от false_type.
Поведение по умолчанию (Ret=Dont_care) заключается в том, чтобы не проверять значение возврата префикса оператор- Если Ret отличается от типа по умолчанию dont_care, значение возврата проверяется на конвертируемость в Ret. Преобразуемое в Ret означает, что возвращаемое значение оператора может быть использовано в качестве аргумента для функции, ожидающей Ret:
void f(Ret);
Rhs rhs;
f(-rhs);
Если Ret=void, то тип возврата проверяется точно на void.
Header:type_traitshas_negate.hpp или boost/type_traits/has_operator или
Совместимость с компилятором: Требуется работа SFINAE (т.е. BOOST_NO_SFINAE не установлен). Этого не поддерживает лишь меньшинство довольно старых компиляторов.
Примеры:
has_negate<Rhs,Ret>::value_type является типом bool.
has_negate<Rhs,Ret>::значение представляет собой bool интегральное постоянное выражение.
has_negate<int>::значение представляет собой bool интегральное постоянное выражение, которое оценивает до true.
has_negate<double, double> наследует от true_type.
has_negate<double,int> наследует от true_type.
has_negate<const int> наследует от true_type.
has_negate<int, std::string> наследует от false_type.
См. также: Типы операторов
Известные проблемы:
