Const приведение к не указателю не ссылочного типа

Question

С [expr.const.cast] / 3 :

Для двух аналогичных типов T1 и T2 значение типа T1 может быть явно преобразовано в тип T2 использование const_cast, если, учитывая cv-разложения обоих типов, каждый P _i ¹ совпадает с P _i ² для всех i . Результат const_cast ссылается на исходную сущность.

Похоже, что const приведен к не указателю не ссылочного типа. Например, следующая функция

void f(int a)
{
    const_cast<int>(a);
}

должна быть правильно сформирована, поскольку int и int, безусловно, являются похожими типами и не имеют P _i. в их cv-разложениях (таким образом, утверждение, что «каждый P _i ¹ совпадает с P _i ² для всех i"должно быть истинным).

Однако оба G CC и Clang отклоняют приведенный выше код (см. Проводник компилятора ). Сообщения об ошибках:

Clang:

<source>: In function 'void f(int)':
<source>:3:22: error: invalid use of const_cast with type 'int', which is not a pointer, reference, nor a pointer-to-data-member type
    3 |     const_cast<int>(a);
      |                      ^

G CC:

<source>: In function 'void f(int)':
<source>:3:5: error: invalid use of 'const_cast' with type 'int', which is not a pointer, reference, nor a pointer-to-data-member type
    3 |     const_cast<int>(a);
      |     ^~~~~~~~~~~~~~~~~~

Я что-то упустил или это ошибка компилятора?

ОБНОВЛЕНИЕ : это тоже не работает:

void f()
{
    const_cast<int>(int{});
}

Answer 1

В C ++ 17 типы не похожи , поэтому цитируемый текст не применяется. И поэтому это const_cast недопустимо, поскольку const_cast не допускается, если явно не разрешено.

C ++ 17 [conv.qual] / 1:

A cv-разложение типа T представляет собой последовательность cv _i и P _i , такую ​​что T is

cv ₀ P ₀ cv ₁ P ₁ ··· cv _{n- 1} P _n-1 cv _n U ” для n> 0 ,

, где каждый cv _i является набором cv-квалификаторов (6.9.3), и каждый P _i является «указателем на» (11.3.1), «указателем на члена класса C _i типа »(11.3.3),« массив N _i »или« массив неизвестных границ »(11.3.4). [...]

, а затем

Два типа T ₁ и T ₂ похожи, если они имеют cv -разложения с одинаковыми n , так что соответствующие компоненты P _i одинаковы, а типы, обозначенные U, одинаковы.

Требование n> 0 означает, что должен быть cv ₀ P ₀ , то есть как минимум один указатель в типе.

---

последние изменения в C ++ 20 n> 0 до n ≥ 0 , в результате выпуск 2051 . Но не меняет спецификацию const_cast. Я не могу сказать, является ли это преднамеренным или упущением.

Так что, возможно, C ++ 20 сделает ваши выражения const_cast четко определенными, и компиляторам придется наверстать упущенное.