Почему преобразование из char *** в char * const ** недействительно?

Согласно N4606, 4.5 [conv.qual], пункт 3, читает

Выражение prvalue типа T1 может быть преобразовано в тип T2, если выполняются следующие условия: cv i j обозначает cv-определители в cv-квалификационная сигнатура T j:

  • ...
  • Если переменные cv 1 i и cv 2 i, то const находится в каждый cv 2 k для 0 < k < я.

Заключительная марка выше указывает на то, что следующее преобразование не выполняется.

T1 : pointer to / pointer to /       pointer to / T
T2 : pointer to / pointer to / const pointer to / T

Чтобы добиться успеха, T2 должен быть pointer to / const pointer to / const pointer to / T. Является ли T2 достаточным только для того, чтобы быть более cv-квалифицированным, чем T1? Почему больше cv-квалификаторов в более низких размерах, необходимых для успешного преобразования?

Ответы

Ответ 1

Рассмотрим следующий код:

char str[] = "p1 should always point here.";
char* const p1 = str;
char** p2 = nullptr;
char*** p3 = &p2;

char str2[] = "Can we make p1 point to here?"
// p1 = str2; // does not work: const violation

// But:
char*const** p4=p3; // if it were allowed
*p4 = &p1; // no const violation, as *p4 is of type char*const*
**p3 = str2; // oops, changed p1!

Итак, если рассматриваемое преобразование разрешено, вы можете изменить постоянную переменную (p1) без какого-либо формального нарушения const.