std::any_cast
De es.cppreference.net
| Definido en el encabezado <any>
|
||
template< class T >
T any_cast( const any& operand );
|
(1) | (desde C++17) |
template< class T >
T any_cast( any& operand );
|
(2) | (desde C++17) |
template< class T >
T any_cast( any&& operand );
|
(3) | (desde C++17) |
template< class T >
const T* any_cast( const any* operand ) noexcept;
|
(4) | (desde C++17) |
template< class T >
T* any_cast( any* operand ) noexcept;
|
(5) | (desde C++17) |
Realiza un acceso con seguridad de tipos al objeto contenido.
Sea U como std::remove_cv_t<std::remove_reference_t<T>>.
1) El programa está mal formado si
std::is_constructible_v<T, const U&> es false.2) El programa está mal formado si
std::is_constructible_v<T, U&> es false.3) El programa está mal formado si
std::is_constructible_v<T, U> es false.4,5) El programa está mal formado si
std::is_void_v<T> es true.Parámetros
| operando | - |
objeto
any
destino
|
Valor de retorno
1,2)
Devuelve
static_cast
<
T
>
(
*
std
::
any_cast
<
U
>
(
&
operand
)
)
.
3)
Devuelve
static_cast
<
T
>
(
std
::
move
(
*
std
::
any_cast
<
U
>
(
&
operand
)
)
)
.
4,5)
Si
operand
no es un puntero nulo, y el
typeid
del
T
solicitado coincide con el del contenido de
operand
, un puntero al valor contenido en operand, de lo contrario un puntero nulo.
Excepciones
1-3)
Lanza
std::bad_any_cast
si el
typeid
del
T
solicitado no coincide con el del contenido de
operand
.
Ejemplo
Ejecutar este código
#include <any> #include <iostream> #include <string> #include <type_traits> #include <utility> int main() { // Ejemplo simple auto a1 = std::any(12); std::cout << "1) a1 es int: " << std::any_cast<int>(a1) << '\n'; try { auto s = std::any_cast<std::string>(a1); // lanza excepción } catch (const std::bad_any_cast& e) { std::cout << "2) " << e.what() << '\n'; } // Ejemplo con puntero if (int* i = std::any_cast<int>(&a1)) std::cout << "3) a1 es int: " << *i << '\n'; else if (std::string* s = std::any_cast<std::string>(&a1)) std::cout << "3) a1 es std::string: " << *s << '\n'; else std::cout << "3) a1 es de otro tipo o no está establecido\n"; // Ejemplo avanzado a1 = std::string("hello"); auto& ra = std::any_cast<std::string&>(a1); // referencia ra[1] = 'o'; std::cout << "4) a1 es string: " << std::any_cast<const std::string&>(a1) << '\n'; // referencia constante auto s1 = std::any_cast<std::string&&>(std::move(a1)); // referencia a valor derecho // Nota: "s1" es un std::string construido por movimiento: static_assert(std::is_same_v<decltype(s1), std::string>); // Nota: el std::string en "a1" queda en un estado válido pero no especificado std::cout << "5) a1.size(): " << std::any_cast<std::string>(&a1)->size() // puntero << '\n' << "6) s1: " << s1 << '\n'; }
Salida posible:
1) a1 es int: 12 2) bad any_cast 3) a1 es int: 12 4) a1 es string: hollo 5) a1.size(): 0 6) s1: hollo
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 3305 | C++17 |
el comportamiento de las sobrecargas
(
4,5
)
era poco claro si
T
es
void
|
el programa está mal formado en este caso |