Namensräume
Varianten
Aktionen

std::has_unique_object_representations

Von cppreference.com
< cpp‎ | types
 
C++
 
Metaprogrammierungsbibliothek
Typmerkmale
Typkategorien
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Typeneigenschaften
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)(deprecated in C++26)
(C++11)
(C++11)
(C++11)(bis C++20*)
(C++11)(veraltet in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
has_unique_object_representations
(C++17)
Typmerkmalskonstanten
(C++11)(C++17)(C++11)(C++11)
Metafunktionen
(C++17)
(C++17)
(C++17)
Unterstützte Operationen
Beziehungen und Eigenschaftsabfragen
Typmodifikationen
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Typentransformationen
(C++11)(veraltet in C++23)
(C++11)(veraltet in C++23)
(C++11)
(C++20)
(C++11)(bis C++20*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
(C++14)
 
Definiert in der Kopfdatei <type_traits>
template< class T >
struct has_unique_object_representations;
 (seit C++17)

std::has_unique_object_representations ist ein UnaryTypeTrait.

Wenn T trivially copyable ist und wenn zwei Objekte vom Typ T mit demselben Wert dieselbe Objektrepräsentation haben, stellt es die Mitgliedskonstante value mit dem Wert true bereit. Für jeden anderen Typ ist value false.

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

Es ist implementierungsabhängig, welche Skalartypen diesen Trait erfüllen, aber vorzeichenlose(bis C++20) Integer-Typen, die keine Padding-Bits verwenden, haben garantiert eindeutige Objektrepräsentationen.

Wenn std::remove_all_extents_t<T> ein unvollständiger Typ außer (möglicherweise cv-qualifiziertem) void ist, 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.

Inhalt

[bearbeiten] Template-Parameter

T - ein zu prüfender Typ

[bearbeiten] Hilfsvariablen-Template

template< class T >

constexpr bool has_unique_object_representations_v =

    has_unique_object_representations<T>::value;
 (seit C++17)
[Bearbeiten]

Abgeleitet von std::integral_constant

Member-Konstanten

value
[static]
 true, wenn T eindeutige Objektrepräsentationen hat, ansonsten false
(öffentliche statische Member-Konstante)

Memberfunktionen

operator bool
 konvertiert das Objekt zu bool, gibt value zurück
(öffentliche Memberfunktion)
operator()
(C++14)
 gibt value zurück
(öffentliche Memberfunktion)

Membertypen

Typ Definition
value_type bool
type std::integral_constant<bool, value>

[bearbeiten] Hinweise

Dieser Trait wurde eingeführt, um feststellen zu können, ob ein Typ korrekt gehasht werden kann, indem seine Objektrepräsentation als Byte-Array gehasht wird.

Feature-Test-Makro Wert Std Feature
__cpp_lib_has_unique_object_representations 201606L (C++17) std::has_unique_object_representations

[bearbeiten] Beispiel

Führen Sie diesen Code aus
#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()
{
    // Every value of a char corresponds to exactly one object representation.
    static_assert(std::has_unique_object_representations_v<char>);
    // For IEC 559 floats, assertion passes because the value NaN has
    // multiple object representations.
    static_assert(!std::has_unique_object_representations_v<float>);
 
    // Should succeed in any sane implementation because unpadded
    // is typically not padded, and std::uint32_t cannot contain padding bits.
    static_assert(std::has_unique_object_representations_v<unpadded>);
    // Fails in most implementations because padding bits are inserted
    // between the data members c and st for the purpose of aligning st to 16 bits.
    static_assert(!std::has_unique_object_representations_v<likely_padded>);
 
    // Notable architectural divergence:
    static_assert(std::has_unique_object_representations_v<bool>);  // x86
 // static_assert(!std::has_unique_object_representations_v<bool>); // ARM
}

[bearbeiten] Fehlerberichte

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

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 4113 C++17 T könnte ein Array unbekannter Größe sein
selbst wenn sein Elementtyp unvollständig ist		 erforderte den Element
Typ vollständig

[bearbeiten] Siehe auch

(C++11)
 prüft, ob ein Typ ein Standardlayout-Typ ist
(Klassenvorlage) [bearbeiten]
(C++11)
 Hash-Funktionsobjekt
(Klassenvorlage) [edit]
Abgerufen von "https://cppreference.de/mwiki/index.php?title=cpp/types/has_unique_object_representations&oldid=180849"