std::convertible_to

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека концептов

Основные концепты языка same_as derived_from convertible_to common_reference_with      common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

Концепты сравнения equality_comparableequality_comparable_with totally_orderedtotally_ordered_with Концепты объектов movable copyable semiregular regular Вызываемые концепты invocableregular_invocable predicate relation equivalence_relation strict_weak_order

Концепты только для экспозиции boolean-testable

 

<tbody> </tbody>

Определено в заголовочном файле <concepts>
template <class From, class To> concept convertible_to = std::is_convertible_v<From, To> && requires(std::add_rvalue_reference_t<From> (&f)()) { static_cast<To>(f()); };		(начиная с C++20)

Концепт convertible_to<From, To> указывает, что выражение того же типа и категории значений, что и выражение std::declval<From>(), может быть неявно и явно преобразовано в тип To, и эти две формы преобразования эквивалентны.

Семантические требования

convertible_to<From, To> моделируется только в том случае, если задана функция fun типа std::add_rvalue_reference_t<From> такая, что выражение fun() сохраняет равенство (смотрите ниже),

• Либо
  • To не является ни типом объекта, ни типом ссылки на объект, или
  • static_cast<В>(fun()) равен []() -> To { return fun(); }(), и

• Верно одно из следующих утверждений:
  • std::add_rvalue_reference_t<From> не является типом ссылки на объект, или
  • std::add_rvalue_reference_t<From> является rvalue ссылкой на не const-квалифицированный тип, и результирующее состояние объекта, на который ссылается fun(), допустимо, но не определено после любого выражения выше; или
  • объект, на который ссылается fun(), не модифицируется ни одним из приведённых выше выражений.

Сохранение равенства

Выражения, объявленные в выражениях requires концептов стандартной библиотеки, должны сохранять равенство (если не указано иное).

Смотрите также

is_convertibleis_nothrow_convertible (C++11)(C++20)

проверяет, можно ли преобразовать тип в другой тип (шаблон класса)