23 General utilities library [utilities]

[ Example:

// the following assertions hold:
assert((is_same_v<remove_extent_t<int>, int>));
assert((is_same_v<remove_extent_t<int[2]>, int>));
assert((is_same_v<remove_extent_t<int[2][3]>, int[3]>));
assert((is_same_v<remove_extent_t<int[][3]>, int[3]>));

 — end example ]

[ Example:

// the following assertions hold:
assert((is_same_v<remove_all_extents_t<int>, int>));
assert((is_same_v<remove_all_extents_t<int[2]>, int>));
assert((is_same_v<remove_all_extents_t<int[2][3]>, int>));
assert((is_same_v<remove_all_extents_t<int[][3]>, int>));

 — end example ]

[  Note: Типичная реализация определяется aligned_­storageкак:

template <size_t Len, size_t Alignment>
struct aligned_storage {
  typedef struct {
    alignas(Alignment) unsigned char __data[Len];
  } type;
};

 — end note ]

Это определяется реализация любого ли extended alignment поддерживаются.

Примечание A: Для common_­typeпризнака, применяемого к пакету параметровT типов, членtype должен быть либо определен, либо отсутствовать следующим образом:

• (3.1)

  Еслиsizeof...(T) равно нулю, не должно быть никакого членаtype.

• (3.2)

  Еслиsizeof...(T) это один, пустьT0 обозначает единственный тип, составляющий пачкуT. Член typedef-nametype должен обозначать тот же тип, если таковой имеется, что иcommon_­type_­t<T0, T0>; в противном случае член не будетtype.

• (3.3)

  Еслиsizeof...(T) равно двум, пусть первый и второй составляющие типыT обозначаются символамиT1 иT2, соответственно, и пустьD1 иD2 обозначают те же типы, чтоdecay_­t<T1> и иdecay_­t<T2>, соответственно.

  • (3.3.1)

    Еслиis_­same_­v<T1, D1> естьfalse или is_­same_­v<T2, D2> естьfalse, пустьC обозначает тот же тип, если есть, какcommon_­type_­t<D1, D2>.

  • (3.3.2)

    В противном случае позвольтеC обозначить тот же тип, если таковой имеется, как

    decay_t<decltype(false ? declval<D1>() : declval<D2>())>

    [  Note: Это не будет применяться, если есть специализацияcommon_­type<D1, D2>. ]  — end note 

  В любом случае член typedef-nametype должен обозначать тот же тип, если таковой имеется, какC. В противном случае член не будетtype.

• (3.4)

  Еслиsizeof...(T) больше двух, пустьT1,T2иR, соответственно, обозначают первый, второй и (пакет) остальных составляющих типовT. ПозвольтеC обозначить тот же тип, если таковой имеется, какcommon_­type_­t<T1, T2>. Если есть такой типC, член typedef-nametype должен обозначать тот же тип, если таковой имеется, какcommon_­type_­t<C, R...>. В противном случае член не будетtype.

Примечание Б. Несмотря на положения[meta.type.synop]и в соответствии с ними[namespace.std], программа может специализироватьсяcommon_­type<T1, T2> на типахT1 иT2 таких, которые is_­same_­v<T1, decay_­t<T1>> и is_­same_­v<T2, decay_­t<T2>> являются каждым из нихtrue. [  Note: Такие специализации необходимы, когда требуются только явные преобразования между аргументами шаблона. ] У такой специализации не обязательно должен быть член с именем , но если он есть, этот член должен быть доступным и однозначным cv-unqualified не ссылочным типом, в который каждый из типов и может быть явно преобразован. Кроме того, будет обозначать тот же тип, если таковой имеется . Нарушение правил данной заметки не требует диагностики. — end note typetypedef-nameCT1 T2 common_­type_­t<T1, T2> common_­type_­t<T2, T1>

[  Example: Учитывая эти определения:

using PF1 = bool  (&)();
using PF2 = short (*)(long);

struct S {
  operator PF2() const;
  double operator()(char, int&);
  void fn(long) const;
  char data;
};

using PMF = void (S::*)(long) const;
using PMD = char  S::*;

справедливы следующие утверждения:

static_assert(is_same_v<invoke_result_t<S, int>, short>);
static_assert(is_same_v<invoke_result_t<S&, unsigned char, int&>, double>);
static_assert(is_same_v<invoke_result_t<PF1>, bool>);
static_assert(is_same_v<invoke_result_t<PMF, unique_ptr<S>, int>, void>);
static_assert(is_same_v<invoke_result_t<PMD, S>, char&&>);
static_assert(is_same_v<invoke_result_t<PMD, const S*>, const char&>);

 — end example ]