Namespaces
Variants

std::any_cast

С сайта ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (базовые типы, RTTI)
Макросы проверки возможностей библиотеки (C++20)
Программные утилиты
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношения (устарело в C++20)
 
 
Определен в заголовке <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 программа является некорректно сформированной в этом случае