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

可以将对象指针显式转换为不同类型的对象指针。当对象指针类型的prvalue v转换为对象指针类型“指向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：

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

X1是T1 cv _1,1 * ... cv _{1， N} *其中T1不是指针类型

X2是T2 cv _2,1 * ... cv _{2， M} *其中T2不是指针类型

K 是min（ N ， M ）

从X1转换为X2会抛弃constness，如果对于非指针类型T，则不存在隐式转换（第4条）：

T cv _{1，（ N - K +1）} {{1} } cv _{1，（ N - K +2）} * ... cv _{1， N} *

到

* cv _{2，（ M - K +1）} {{1} } cv _{2，（ M - K +2）} T ... cv _{2， M} *

在您的示例中，*为*，因此 N 为2，X1为const int**， cv _1,1为T1， cv _1,2为空。 int为const，因此 M 为3，X2为const int***， cv _2,1是T2， cv _2,2和 cv _2,3是空。 K 是2.是否存在来自

的隐式转换

int cv _1,1 const cv _1,2 { {1}} = T

到

* cv _2,2 * cv _2,3 { {1}} = T const**？

没有;所以你的演员会抛弃常数。

当然我们有5.2.10 / 2：

T运算符不得抛弃constness（5.2.11）。

限定符丢失转换C ++

1 个答案: