const 强制转换为非指针非引用类型

Question

来自[expr.const.cast]/3：

对于两个相似的类型 T1 和 T2，类型 T1 的纯右值可能是 如果使用 const_cast 显式转换为 T2 类型， 考虑到这两种类型的 cv 分解，每个 P_i¹ 是 与所有 i 的 P_i² 相同。 const_cast 的结果是指 原始实体。

似乎允许将 const 强制转换为非指针非引用类型。比如下面这个函数

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

应该是格式正确的，因为int 和int 肯定是相似的类型并且在他们的简历中没有P_i -分解（因此“每个 P_i¹ 与 P em>_i² for all i" 应该为真）。

但是，GCC 和 Clang 都拒绝上面的代码（请参阅Compiler Explorer）。错误消息是

叮当声：

<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);
      |                      ^

海合会：

<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:

T 类型的 cv-decomposition 是 cv_i 和 P_i 这样T 就是

“cv₀ P₀ cv₁ P₁ ··· cv_n-1 P_n-1 cv_nU” for 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₂ 是相似的，如果它们具有相同的 n 的 cv 分解，使得对应的 P _i 组件相同，U 表示的类型相同。

要求n>0表示必须有cv₀ P₀，即类型中至少有一个指针。 p>

---

由于Issue 2051，最新的 C++20 草案将 n > 0 更改为 n ≥ 0。但对const_cast 的规范没有任何改变。我不能说这是故意还是疏忽。

因此，C++20 可能会使您的 const_cast 表达式定义良好，编译器将不得不迎头赶上。