std:: any_cast
From 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 acceso seguro de tipos al objeto contenido.
Sea
U
igual a
std::
remove_cv_t
<
std::
remove_reference_t
<
T
>>
.
Contenidos |
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 |