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

has_dereference

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

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

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

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

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

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

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

Примеры:

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

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

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

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

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

has_dereference<int*, const int> наследует от true_type.

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

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

has_dereference<const constconst> наследует от true_type.

has_dereference<int> наследует от false_type.

has_dereference<double> наследует от false_type.

has_dereference<void*> наследует от false_type.

has_dereference<const int*, int&> наследует от false_type.

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

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

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


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

has_dereference

Boost , Chapter 1. Boost.TypeTraits , Alphabetical Reference

Boost C++ Libraries

has_dereference