std:: has_unique_object_representations

std::has_unique_object_representations es un UnaryTypeTrait .

Si T es trivially copyable y si dos objetos cualesquiera de tipo T con el mismo valor tienen la misma object representation , proporciona la constante miembro value igual a true . Para cualquier otro tipo, value es false .

Para el propósito de este rasgo, dos arreglos tienen el mismo valor si sus elementos tienen los mismos valores, dos clases no-union tienen el mismo valor si sus subobjetos directos tienen el mismo valor, y dos unions tienen el mismo valor si tienen el mismo miembro activo y el valor de ese miembro es el mismo.

Está definido por la implementación qué tipos escalares satisfacen este rasgo, pero unsigned (until C++20) los tipos enteros que no utilizan bits de relleno están garantizados de tener representaciones de objeto únicas.

Si std:: remove_all_extents_t < T > es un tipo incompleto distinto de void (posiblemente calificado con cv), el comportamiento es indefinido.

Si el programa añade especializaciones para std::has_unique_object_representations o std::has_unique_object_representations_v , el comportamiento es indefinido.

Parámetros de plantilla

Plantilla de variable auxiliar

Notas

Este rasgo fue introducido para hacer posible determinar si un tipo puede ser correctamente hasheado mediante el hashing de su representación de objeto como un arreglo de bytes.

Ejemplo

#include <cstdint>
#include <type_traits>
struct unpadded
{
    std::uint32_t a, b;
};
struct likely_padded
{
    std::uint8_t c;
    std::uint16_t st;
    std::uint32_t i;
};
int main()
{
    // Cada valor de un char corresponde exactamente a una representación de objeto.
    static_assert(std::has_unique_object_representations_v<char>);
    // Para floats IEC 559, la aserción falla porque el valor NaN tiene
    // múltiples representaciones de objeto.
    static_assert(!std::has_unique_object_representations_v<float>);
    // Debería tener éxito en cualquier implementación sensata porque unpadded
    // típicamente no tiene relleno, y std::uint32_t no puede contener bits de relleno.
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // Falla en la mayoría de implementaciones porque se insertan bits de relleno
    // entre los miembros de datos c y st para alinear st a 16 bits.
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
    // Notable divergencia arquitectónica:
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también