7 Standard conversions [conv]

cv-decomposition ТипаT представляет собой последовательность ,$c{v}_i$ и$P_i$ таким образом, чтоT является «$c{v}_0$$P_0$$c{v}_1$$P_1$⋯$c{v}_{n-1}$$P_{n-1}$$c{v}_n$U» для$n>0$, где каждый$c{v}_i$ представляет собой наборcv-qualifiers, и каждый$P_i$ представляет “pointer to”, “pointer to member of class $C_i$ of type”«массив$N_i$», или «array of unknown bound из». Если$P_i$ обозначает массив, cv-квалификаторы$c{v}_{i+1}$ для типа элемента также принимаются как cv-квалификаторы$c{v}_i$ массива. [  Example: Тип, обозначенный символом, type-idconst int ** имеет два cv-разложенияU : «int» и «указатель наconst int». ] Набор cv-квалификаторов после первого в самом длинном cv-разложении , то есть, называется of . — end example nT$c{v}_1,c{v}_2,\dots ,c{v}_n$cv-qualification signature T

Два типа${\text{T}}_1$ и${\text{T}}_2$ есть,similar если они имеют cv-разложения с одинаковымиn , так что соответствующие$P_i$ компоненты одинаковы и типы, обозначенныеU одинаковыми.

Выражение prvalue типа${\text{T}}_1$ может быть преобразовано в тип,${\text{T}}_2$ если выполняются следующие условия, где$c{v}_i^j$ обозначает cv-квалификаторы в сигнатуре cv-qualification${\text{T}}_j$:60

• (3.1)

  ${\text{T}}_1$ и${\text{T}}_2$ похожи.

• (3.2)

  Для каждого$i>0$, еслиconst находится в,${cv}_i^1$ тоconst есть в${cv}_i^2$, и аналогично дляvolatile.

• (3.3)

  Если символы${cv}_i^1$ и${cv}_i^2$ разные, тоconst находится в каждом${cv}_k^2$ for$0<k<i$.

[  Note: Если программа могла назначить указатель типаT** указателю типаconstT** (то есть, если была разрешена строка № 1 ниже), программа могла непреднамеренно изменитьconst объект (как это делается в строке № 2). Например,

int main() {
  const char c = 'c';
  char* pc;
  const char** pcc = &pc;       // #1: not allowed
  *pcc = &c;
  *pc = 'C';                    // #2: modifies a const object
}

 — end note ]

[  Note: Prvalue типа «указатель наcv1T» может быть преобразовано в prvalue типа «указатель наcv2T», если «cv2T» более квалифицировано cv, чем «cv1 T». Prvalue типа «указатель на членX типаcv1 T» может быть преобразовано в prvalue типа «указатель на членX типаcv2T», если «cv2 T» более квалифицировано cv, чем «cv1T». ] — end note 

[  Note: Типы функций (включая те, которые используются в указателях на типы функций-членов) никогда не квалифицируются cv ([dcl.fct]). ]  — end note