Учитывая, что int ** p1 и const int ** p2 p1 == p2 хорошо сформированы?

Ответ 1

До С++ 14 этот случай был плохо сформирован, и более общий случай с некоторыми исключениями также был плохо сформирован. Это описано в отчет о дефекте 1512: сравнение указателей и конверсии квалификации, в котором говорится:

В соответствии с пунктом 5.9 [expr.rel], описывающим указатель сравнения,

Преобразования указателя (4.10 [conv.ptr]) и преобразования квалификации (4.4 [conv.qual]) выполняются на операндах указателя (или на   операнд указателя и константа нулевого указателя, или на два нулевых указателя   константы, по крайней мере один из которых не является неотъемлемым), чтобы привести их к   их составной тип указателя.

Это, как представляется, делает следующий пример плохо сформированным,

bool foo(int** x, const int** y) {
   return x < y;  // valid ?
}

потому что int ** не может быть преобразован в const int **, в соответствии с правила 4.4 [conv.qual], пункт 4. Это кажется слишком строгим для сравнение указателей и текущие реализации принимают пример.

В отчете о дефектах указывается, хотя это было плохо сформировано, реализации приняли такие сравнения. Этот clang commit указывает, что он рассматривался как расширение и указывает, что оба gcc и EDG также рассматривают это как расширение, по-видимому, это также случай для Visual Studio.

Это было разрешено в стандарте N3624: Core Issue 1512: Сравнение указателей и конверсий квалификации, в котором говорится:

В настоящем документе представлены необходимые изменения рабочего проекта для решения основных проблем 583 и 1512. В частности, он делает

[...]

и

void g(int **p1, const int**p2)
{
   if (p1 == p2) { ... }
}

хорошо сформированы.

Также обратите внимание, что в встреча была принята, было отмечено, что эта только что кодифицированная существующая практика.

Среди других изменений в стандарте этот абзац был добавлен в конец раздела 5 [expr], который включает новый термин cv-комбинированный тип:

Cv-комбинированный тип двух типов T1 и T2 является типом T3, подобным T1 чья cv-квалификационная сигнатура (4.4) равна:

• для каждого j > 0, cv3, j является объединением cv1, j и cv2, j;
• если полученный cv3, j отличается от cv1, j или cv2, j, то const добавляется к каждому cv3, k для 0 < k < к.

[Примечание: для аналогичных типов T1 и T2, эта конструкция гарантирует, что обе они могут быть преобразованы в T3. -end note] Тип составного указателя двух операндов p1 и p2 имеющие типы T1 и T2 соответственно, где по меньшей мере один является указателем или указатель на тип члена или std:: nullptr_t:

• если оба p1 и p2 являются константами нулевого указателя, std:: nullptr_t;
• если p1 или p2 - константа нулевого указателя, T2 или T1 соответственно;
• если T1 или T2 является "указателем на cv1 void", а другим типом является "указатель на cv2 T", "указатель на cv12 void", где cv12 является объединением cv1 и cv2;
• если T1 является "указателем на cv1 C1", а T2 является "указателем на cv2 C2", где C1 ссылается на C2 или C2, ссылается на C1 (8.5.3), cv-комбинированный тип T1 и T2 или cv-комбинированный тип T2 и T1, соответственно;
• если T1 является "указателем на член C1 типа cv1 U1", а T2 является "указателем на элемент C2 типа cv2 U2", где C1 является ссылкой, связанным с C2 или C2 является ссылкой, связанной с C1 (8.5.3), cv-комбинированным типом T2 и T1 или cv-комбинированный тип T1 и T2 соответственно;
• если T1 и T2 похожи на многоуровневый смешанный указатель и указатель на типы членов (4.4), cv-комбинированный тип T1 и T2;
• В противном случае программа, которая требует определения типа составного указателя, плохо сформирована.

[Пример:

    typedef void *p;
    typedef const int *q;
    typedef int **pi;
    typedef const int **pci;

Тип составного указателя p и q является "указателем на const void"; Тип составного указателя pi и pci - это "указатель на const-указатель на const int". -end example]