Библиотека предоставляет шаблон функции declval для упрощения определения выражений, которые встречаются как unevaluated operands.
template <class T> add_rvalue_reference_t<T> declval() noexcept; // as unevaluated operand
[ Example:
template <class To, class From> decltype(static_cast<To>(declval<From>())) convert(From&&);
объявляет шаблон функции, convert который участвует в перегрузке только в том случае, если тип From может быть явно преобразован в тип To. Другой пример см. В шаблоне класса common_type ([meta.trans.other]). ] — end example