std:: has_unique_object_representations

std::has_unique_object_representations ist ein UnaryTypeTrait .

Falls T trivial kopierbar ist und falls zwei beliebige Objekte vom Typ T mit demselben Wert dieselbe Objektdarstellung haben, liefert die Memberkonstante value den Wert true . Für jeden anderen Typ ist value false .

Für den Zweck dieses Merkmals haben zwei Arrays denselben Wert, wenn ihre Elemente dieselben Werte haben, zwei Nicht-Union-Klassen haben denselben Wert, wenn ihre direkten Unterobjekte denselben Wert haben, und zwei Unions haben denselben Wert, wenn sie dasselbe aktive Mitglied haben und der Wert dieses Mitglieds derselbe ist.

Es ist implementierungsdefiniert, welche skalaren Typen dieses Merkmal erfüllen, aber unsigned (bis C++20) Integer-Typen, die keine Padding-Bits verwenden, haben garantiert eindeutige Objektdarstellungen.

Wenn std:: remove_all_extents_t < T > ein unvollständiger Typ ist, außer (möglicherweise cv-qualifiziertem) void , ist das Verhalten undefiniert.

Wenn das Programm Spezialisierungen für std::has_unique_object_representations oder std::has_unique_object_representations_v hinzufügt, ist das Verhalten undefiniert.

Template-Parameter

Hilfsvariablen-Template

Hinweise

Dieses Merkmal wurde eingeführt, um feststellen zu können, ob ein Typ korrekt gehasht werden kann, indem seine Objektdarstellung als Byte-Array gehasht wird.

Beispiel

#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()
{
    // Jeder Wert eines chars entspricht genau einer Objektdarstellung.
    static_assert(std::has_unique_object_representations_v<char>);
    // Für IEC 559 Floats schlägt die Assertion fehl, weil der Wert NaN
    // mehrere Objektdarstellungen hat.
    static_assert(!std::has_unique_object_representations_v<float>);
    // Sollte in jeder sinnvollen Implementierung erfolgreich sein, weil unpadded
    // typischerweise nicht gepadded ist und std::uint32_t keine Padding-Bits enthalten kann.
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // Scheitert in den meisten Implementierungen, weil Padding-Bits
    // zwischen den Datenelementen c und st eingefügt werden, um st auf 16 Bits auszurichten.
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
    // Bemerkenswerte architektonische Abweichung:
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch