限定符丢失转换 C++

Question

删除注释标记后，以下代码在 MSVC2015 和 clang 中均无法编译，但可以按原样编译。

int main()
{
    static_assert( alignof( int * ) == alignof( int * * ), "nope" );

    const int * * a = nullptr;
    //const int * * * b = reinterpret_cast< const int * * * >( a );
    auto c = static_cast< const int * * * >( static_cast< void * >( a ) );
    return 0;
}

这个问题与previously asked one 不同，因为没有整体const 限定符被抛弃。

根据标准[expr.reinterpret.cast]/7

对象指针可以显式转换为不同类型的对象指针。当对象指针类型的prvaluev转换为对象指针类型“pointer to cv T”时，结果为static_cast<cv T*>(static_cast<cv void*>(v))。

在这种情况下，目标“指向cv T”的指针是const int * * *，这使得T = const int * * 没有cv 限定符。因此，结果应该是static_cast<T*>(static_cast<void*>(v))。

T 的对齐存在一些限制，但与静态断言中所示的此处无关。由于reinterpret_cast< const int * * * >( a ) 的结果实际上可以使用中间步骤计算，因此如果未注释，注释代码应该可以编译。

我的推理错误在哪里（如果有的话）？

Answer 1

N3690 5.2.11/8：

以下规则定义了称为抛弃常量的过程。在这些规则中，Tn 和 Xn 代表类型。对于两种指针类型：

X1 是T1 cv_1,1* ... cv_{1, N}* 其中T1 不是指针类型

X2 是T2 cv_2,1* ... cv_{2, M}* 其中T2 不是指针类型

K 为 min(N,M)

如果对于非指针类型 T 不存在来自以下的隐式转换（第 4 条），则从 X1 转换为 X2 会放弃常量：

T cv_1,(N-K+1)* cv_1,(N-K+2)* ... cv1,N*

到

T cv_2,(M-K+1)* cv_2,(M-K+2)* ... cv2,M*

在您的示例中，X1 是 const int**，所以 N 是 2，T1 是 int，cv_{1,1 为const，cv1,2 为空。 X2 是 const int***，所以 M 是 3，T2 是 int，cv2,1 是 const , cv2,2 和 cv2,3 为空。 K 为 2。是否存在从}

的隐式转换

T cv_1,1* cv_1,2* = @ 987654357@

到

T cv_2,2* cv_2,3* = @ 987654361@?

没有；因此，你的演员抛弃了 constness。

当然我们有 5.2.10/2：

reinterpret_cast 运算符不应抛弃 constness (5.2.11)。