Conversión reinterpret_cast

Convierte entre distintos tipos de reinterpretar el patrón de bits subyacente .

Sintaxis


`reinterpret_cast <` new_type `> (` expression `)`

Devuelve un valor de tipo new_type .

Explicación

A diferencia de static_cast, pero como const_cast, la expresión reinterpret_cast no compila todas las instrucciones de la CPU. Es puramente una directiva del compilador que indica al compilador que trate la secuencia de bits (representación de objetos) de expression como si tuviera el tipo new_type .

Sólo las siguientes conversiones se puede hacer con reintepret_cast, excepto cuando tales conversiones sería desechado constness''' o volatilidad .

Original:
Only the following conversions can be done with reintepret_cast, except when such conversions would cast away constness or volatility.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

1)

Una expresión de enumeración integral, puntero, o puntero a miembro tipo se puede convertir a su propio tipo. El valor resultante es el mismo que el valor de expression. (desde C++11)

2)

Cualquier puntero se puede convertir en cualquier tipo integral lo suficientemente grande como para mantener el valor del puntero (por ejemplo, a std::uintptr_t)

3)

Un valor de cualquier tipo integral o de enumeración se puede convertir en un tipo de puntero. Un puntero convertir en un entero de tamaño suficiente y de nuevo al tipo de puntero mismo está garantizado que tenga su valor original, de lo contrario el puntero resultante no puede dejar de hacer referencia de forma segura. El NULL puntero nulo constante o cero entero no está garantizado para dar el valor de puntero nulo del tipo de destino; static_cast o

conversión implícita

se debe utilizar para este propósito .

4)

Cualquier valor de std::nullptr_t tipo, incluyendo nullptr se puede convertir en cualquier tipo integral, como si fuera (void*)0, pero ningún valor, ni siquiera nullptr se puede convertir en std::nullptr_t: static_cast debe utilizarse para ese propósito. (desde C++11)

5)

Cualquier puntero al objeto de T1 tipo se puede convertir a puntero a objeto de otro tipo T2. Si el requisito T2 de alineación no es más estricta que T1, la conversión del puntero resultante de nuevo a sus rendimientos de tipo de original del valor original, de lo contrario el puntero resultante no puede dejar de hacer referencia de forma segura. En cualquier caso, el puntero resultante sólo puede dejar de hacer referencia de manera segura si es permitido por las reglas de tipo' aliasing (ver más abajo)
Original:
Any pointer to object of type T1 can be converted to pointer to object of another type T2. If T2's alignment requirement is not stricter than T1's, conversion of the resulting pointer back to its original type yields the original value, otherwise the resulting pointer cannot be dereferenced safely. In any case, the resulting pointer may only be dereferenced safely if allowed by the type aliasing rules (see below)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

6)

Una expresión lvalue de T1 tipo se puede convertir para hacer referencia a otro tipo T2. El resultado es un valor-o refiriéndose al mismo objeto que el original lvalue, pero con un tipo diferente xValue. Sin temporal se crea ninguna copia se hace, ningún constructor o funciones de conversión son llamados. La referencia de resultado sólo se puede acceder con seguridad si es permitido por las reglas de tipo' aliasing (ver más abajo)
Original:
An lvalue expression of type T1 can be converted to reference to another type T2. The result is an lvalue or xvalue referring to the same object as the original lvalue, but with a different type. No temporary is created, no copy is made, no constructors or conversion functions are called. The resulting reference can only be accessed safely if allowed by the type aliasing rules (see below)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

7)

Cualquier puntero a la función se puede convertir en un puntero a un tipo de función diferente. Llamar a la función a través de un puntero a un tipo diferente función no está definida, pero la conversión de puntero de nuevo a tal indicador al tipo de función original se obtiene el puntero a la función original .

8)

En algunas implementaciones (en particular, en cualquier sistema POSIX compatible), un puntero de función se pueden convertir a un puntero de objeto o viceversa. Si la aplicación admite la conversión en ambas direcciones, la conversión al tipo original se obtiene el valor original, de lo contrario el puntero resultante no puede dejar de hacer referencia o llamados de forma segura .

9)

El valor de puntero nulo de cualquier tipo de puntero se puede convertir en cualquier otro tipo de puntero, lo que resulta en el valor de puntero nulo de ese tipo. Tenga en cuenta que la nullptr puntero nulo constante o cualquier otro valor de std::nullptr_t tipo no se puede convertir a un puntero con reinterpret_cast: conversión implícita o static_cast se debe utilizar para este propósito .

10)

Un puntero a la función miembro rvalue se puede convertir a puntero a una función miembro diferente de un tipo diferente. Conversión al tipo original produce el valor original, de lo contrario el puntero resultante no puede ser utilizado con seguridad .

11)

Un puntero a objeto rvalue miembro de alguna T1 clase puede convertirse en un puntero a otro objeto miembro de otra clase T2. Si la alineación T2 no es más estricta que T1, la conversión a los rendimientos de tipo de original del valor original, de lo contrario el puntero resultante no puede ser utilizado con seguridad .

Como con todas las expresiones de conversión, el resultado es:

Un l-valor si tipo-de-destino es un tipo referencia a l-valor o un tipo referencia r-valor a función (desde C++11);

Un x-valor se tipo-de-destino es un tipo referencia r-valor a tipo objeto;

(desde C++11)

Un pr-valor en caso contrario.

Palabras clave

reinterpret_cast

Alias de tipos

Cuando se intenta leer o modificar el valor almacenado de un objeto de tipo DynamicType a través de un glvalue de tipo AliasedType, el comportamiento está indefinido a menos que uno de los siguientes sea verdadero:

AliasedType y DynamicType son similares.
AliasedType es la la variante (posiblemente calificada-cv) con signo o sin signo de DynamicType.
AliasedType es std::byte (desde C++17), char, o unsigned char: esto permite el examen de la representación de objeto de cualquier objeto como un array de bytes.

Informalmente, dos tipos son similares si, ignorando la calificación-cv de nivel superior:

son del mismo tipo; o
ambos son punteros, y los tipos apuntados son similares; o
ambos son punteros a miembro de la misma clase, y los tipos de los miembros a los que se apunta son similares; o

ambos son arrays del mismo tamaño o ambos arrays de límite desconocido, y los tipos del elemento de los arrays son similares.	(hasta C++20)
ambos son arrays del mismo tamaño o al menos uno de ellos es un array de límite desconocido, y los tipos de los elementos de los arrays son similares.	(desde C++20)

Por ejemplo:

const int * volatile * y int * * const son similares;
const int (* volatile S::* const)[20] y int (* const S::* volatile)[20] son similares;
int (* const *)(int *) y int (* volatile *)(int *) son similares;
int (S::*)() const y int (S::*)() no son similares;
int (*)(int *) y int (*)(const int *) no son similares;
const int (*)(int *) y int (*)(int *) no son similares;
int (*)(int * const) y int (*)(int *) son similares (son del mismo tipo);
std::pair<int, int> y std::pair<const int, int> no son similares.

Esta regla habilita el análisis de alias basado en tipo, en el que un compilador supone que el valor leído a través de un glvalue de un tipo no se modifica por una escritura a un glvalue de un tipo diferente (sujeto a las excepciones mencionadas anteriormente).

Observa que varios compiladores de C++ relajan esta regla como una extensión no estándar del lenguaje para permitir el acceso al tipo equivocado a través del miembro inactivo de una unión (tal acceso no está indefinido en C).

Ejemplo

Muestra algunos usos de reinterpret_cast:

Ejecuta este código

#include <cstdint>
#include <cassert>
#include <iostream>
int f() { return 42; }
int main()
{
    int i = 7;

    // pointer to integer and back
    uintptr_t v1 = reinterpret_cast<uintptr_t>(&i); // static_cast is an error
    std::cout << "The value of &i is 0x" << std::hex << v1 << '\n';
    int* p1 = reinterpret_cast<int*>(v1);
    assert(p1 == &i);

    // pointer to function to another and back
    void(*fp1)() = reinterpret_cast<void(*)()>(f);
    // fp1(); undefined behavior
    int(*fp2)() = reinterpret_cast<int(*)()>(fp1);
    std::cout << std::dec << fp2() << '\n'; // safe

    // type aliasing through pointer
    char* p2 = reinterpret_cast<char*>(&i);
    if(p2[0] == '\x7')
        std::cout << "This system is little-endian\n";
    else
        std::cout << "This system is big-endian\n";

    // type aliasing through reference
    reinterpret_cast<unsigned int&>(i) = 42;
    std::cout << i << '\n';
}

Salida:

The value of &i is 0x7fff352c3580
42
This system is little-endian
42

Ver también

const_cast conversión	agrega o quita const Original: adds or removes const The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. [editar]
static_cast conversión	realiza conversiones básicas Original: performs basic conversions The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. [editar]
dynamic_cast conversión	realiza conversiones marcadas polimórficos Original: performs checked polymorphic conversions The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. [editar]

Apoyo de compiladores
Implementaciones independientes y albergadas
Lenguaje
Biblioteca estándar
Encabezados de la biblioteca estándar
Requisitos denominados
Macros de prueba de característica (C++20)
Biblioteca de apoyo del lenguaje
Biblioteca de conceptos (C++20)
Biblioteca de diagnósticos
Biblioteca de gestión de memoria
Biblioteca de metaprogramación (C++11)
Biblioteca de servicios generales
Biblioteca de contenedores
Biblioteca de iteradores
Biblioteca de rangos (C++20)
Biblioteca de algoritmos
Biblioteca de cadenas
Biblioteca de procesamiento de texto
Biblioteca numérica
Biblioteca de fecha y hora
Biblioteca de entrada/salida
Biblioteca del sistema de archivos (C++17)
Biblioteca de apoyo de concurrencia (C++11)
Biblioteca de apoyo de ejecución (C++26)
Especificaciones técnicas
Índice de símbolos
Bibliotecas externas

cppreference.com

Buscar

Espacios de nombres

Variantes

Vistas

Acciones