23 General utilities library [utilities]

Категории основных типов соответствуют описаниям, приведенным в разделе[basic.types] стандарта C ++.

Для любого данного типаTрезультат применения одного из этих шаблонов к T и кcvT должен дать одинаковый результат.

[  Note: Для любого данного типаTровно одна из категорий первичного типа имеетvalue член, оцениваемый какtrue. ] — end note 

Эти шаблоны предоставляют удобные композиции категорий первичного типа, соответствующие описаниям, приведенным в разделе[basic.types].

Для любого данного типаTрезультат применения одного из этих шаблонов к T и кcvT должен дать одинаковый результат.

Эти шаблоны предоставляют доступ к некоторым наиболее важным свойствам типов.

Не указано, определяет ли библиотека какие-либо полные или частичные специализации любого из этих шаблонов.

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

В целях определения шаблонов в этом подпункте выражение вызова функцииdeclval<T>() для любого типаT рассматривается как тривиальный вызов функции ([basic.types],[special]), который не являетсяodr-use элементом ofdeclval в контексте соответствующего определения, несмотря на ограничения[declval].

[ Example:

is_const_v<const volatile int>     // true
is_const_v<const int*>             // false
is_const_v<const int&>             // false
is_const_v<int[3]>                 // false
is_const_v<const int[3]>           // true

 — end example ]

[ Example:

remove_const_t<const volatile int>  // volatile int
remove_const_t<const int* const>    // const int*
remove_const_t<const int&>          // const int&
remove_const_t<const int[3]>        // int[3]

 — end example ]

[ Example:

// Given:
struct P final { };
union U1 { };
union U2 final { };

// the following assertions hold:
static_assert(!is_final_v<int>);
static_assert(is_final_v<P>);
static_assert(!is_final_v<U1>);
static_assert(is_final_v<U2>);

 — end example ]

Условие предиката для специализации шаблона is_­constructible<T, Args...> должно выполняться тогда и только тогда, когда следующее определение переменной будет правильно сформировано для некоторой придуманной переменнойt:

T t(declval<Args>()...);

[  Note: Эти токены никогда не интерпретируются как объявление функции. ] Проверка доступа выполняется, как если бы в контексте, не связанном ни с одним из файлов . Учитывается только действительность непосредственного контекста инициализации переменной. [ Оценка инициализации может привести к побочным эффектам, таким как создание экземпляров специализаций шаблонов классов и специализаций шаблонов функций, создание неявно определенных функций и т. Д. Такие побочные эффекты не относятся к «непосредственному контексту» и могут привести к неправильному формированию программы. ] — end note TArgs Note:  — end note 

Условие предиката для специализации шаблона has_­unique_­object_­representations<T> должно выполняться тогда и только тогда, когда:

• (9.1)

  T легко копируется, и

• (9.2)

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

Набор скалярных типов, для которых выполняется это условие, определяется реализацией. [  Note: Если тип имеет биты заполнения, условие не выполняется; в противном случае условие выполняется для целочисленных типов без знака. ] — end note