std::any_cast
С сайта ru.cppreference.net
| Определен в заголовке <any>
|
||
template< class T >
T any_cast( const any& operand );
|
(1) | (начиная с C++17) |
template< class T >
T any_cast( any& operand );
|
(2) | (начиная с C++17) |
template< class T >
T any_cast( any&& operand );
|
(3) | (начиная с C++17) |
template< class T >
const T* any_cast( const any* operand ) noexcept;
|
(4) | (начиная с C++17) |
template< class T >
T* any_cast( any* operand ) noexcept;
|
(5) | (начиная с C++17) |
Выполняет безопасный по типу доступ к содержащемуся объекту.
Пусть U будет std::remove_cv_t<std::remove_reference_t<T>>.
1) Программа считается некорректной, если
std::is_constructible_v<T, const U&> является false.2) Программа считается некорректной, если
std::is_constructible_v<T, U&> является false.3) Программа считается некорректной, если
std::is_constructible_v<T, U> является false.4,5) Программа считается некорректной, если
std::is_void_v<T> является true.Параметры
| операнд | - |
целевой
any
объект
|
Возвращаемое значение
1,2)
Возвращает
static_cast
<
T
>
(
*
std
::
any_cast
<
U
>
(
&
operand
)
)
.
3)
Возвращает
static_cast
<
T
>
(
std
::
move
(
*
std
::
any_cast
<
U
>
(
&
operand
)
)
)
.
4,5)
Если
operand
не является нулевым указателем, и
typeid
запрашиваемого
T
совпадает с типом содержимого
operand
, возвращается указатель на значение, содержащееся в operand, в противном случае — нулевой указатель.
Исключения
1-3)
Выбрасывает
std::bad_any_cast
если
typeid
запрашиваемого
T
не совпадает с типом содержимого
operand
.
Пример
Запустить этот код
#include <any> #include <iostream> #include <string> #include <type_traits> #include <utility> int main() { // Простой пример auto a1 = std::any(12); std::cout << "1) a1 имеет тип int: " << std::any_cast<int>(a1) << '\n'; try { auto s = std::any_cast<std::string>(a1); // выбрасывает исключение } catch (const std::bad_any_cast& e) { std::cout << "2) " << e.what() << '\n'; } // Пример с указателем if (int* i = std::any_cast<int>(&a1)) std::cout << "3) a1 имеет тип int: " << *i << '\n'; else if (std::string* s = std::any_cast<std::string>(&a1)) std::cout << "3) a1 имеет тип std::string: " << *s << '\n'; else std::cout << "3) a1 имеет другой тип или не установлен\n"; // Продвинутый пример a1 = std::string("hello"); auto& ra = std::any_cast<std::string&>(a1); // ссылка ra[1] = 'o'; std::cout << "4) a1 имеет тип string: " << std::any_cast<const std::string&>(a1) << '\n'; // константная ссылка auto s1 = std::any_cast<std::string&&>(std::move(a1)); // rvalue-ссылка // Примечание: "s1" - это перемещённый std::string: static_assert(std::is_same_v<decltype(s1), std::string>); // Примечание: std::string в "a1" остаётся в валидном, но неопределённом состоянии std::cout << "5) a1.size(): " << std::any_cast<std::string>(&a1)->size() // указатель << '\n' << "6) s1: " << s1 << '\n'; }
Возможный вывод:
1) a1 имеет тип int: 12 2) bad any_cast 3) a1 имеет тип int: 12 4) a1 имеет тип string: hollo 5) a1.size(): 0 6) s1: hollo
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3305 | C++17 |
поведение перегрузок
(
4,5
)
было неясным, если
T
является
void
|
программа является некорректно сформированной в этом случае |