std::has_unique_object_representations

template< class T >
struct has_unique_object_representations;

std::has_unique_object_representations — это унарный типовой признак.

Если T является тривиально копируемым типом и любые два объекта типа T с одинаковым значением имеют одинаковое представление объекта, предоставляет константу-член value, равную true. Для любого другого типа value равно false.

Для целей этого типового признака два массива имеют одинаковое значение, если их элементы имеют одинаковые значения; два класса, не являющиеся объединениями, имеют одинаковое значение, если их непосредственные подобъекты имеют одинаковые значения; два объединения имеют одинаковое значение, если у них один и тот же активный член и значение этого члена одинаково.

Для скалярных типов, удовлетворяющих этому типовому признаку, поведение определяется реализацией, однако беззнаковые(до C++20) целочисленные типы, не использующие биты-заполнители, гарантированно имеют уникальные представления объектов.

Если std::remove_all_extents_t<T> является неполным типом, отличным от (возможно, cv-квалифицированного) void, поведение не определено.

Если программа добавляет специализации для std::has_unique_object_representations или std::has_unique_object_representations_v, поведение не определено.

Параметры шаблона

Вспомогательный шаблон переменной

template< class T >
constexpr bool has_unique_object_representations_v =
    has_unique_object_representations<T>::value;

Примечания

Этот типовой признак был введён, чтобы можно было определить, можно ли корректно хешировать тип, хешируя его представление объекта как массив байтов.

Пример

#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
}

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

См. также