通过这样的常量指针修改非常量指针是合法的

Is is legal to modify a nonconst pointer through a const one like this?

本文关键字：指针 常量 非常 修改      更新时间：2023-10-16

考虑以下函数：

void f(int const* p)
{
    *const_cast<int*>(id(p)) = 0;
}

假设f总是将int*作为参数，这是合法的事情吗？我不是在问这是否是一件好事，我只是想要一个严格正式的答案。

让我有点担心的是，如果你能做到这一点，优化器在利用常量方面会更加困难。考虑一个更复杂的例子：

// identity, always returns what it gets
uintptr_t id(uintptr_t p)
{
    static unsigned int const ar[5] {0x12345678, 0x87654321, 0x02468ACE, 0xECA86420, 0x88888888};
    for (size_t i = 0; i < 5; ++i)
        p ^= ar[2*i % 5];
    for (size_t i = 0; i < 5; ++i)
        p ^= ar[3*i % 5];
    return p;
}
void f(int const* p)
{
    uintptr_t q = id(reinterpret_cast<uintptr_t>(p));
    *reinterpret_cast<int*>(q) = 0;
}

这也合法吗？如果没有，将参数更改为int* p会使其合法吗？

如果指向的值实际上是非常量，这是合法的，这就是为什么我们首先要const_cast。如果值实际上是常量并且您抛弃了const，则未定义。

如果f总是被赋予一个int*那么为什么不直接宣布f采取一个非常量呢？或者，您可以提供重载：

void f(int const* a)
void f(int *a)

这样编译器将调用正确的版本，用户将看到您的意图是什么。调用第一个版本并让它更改值可能会让任何调用f的人感到惊讶。

相关文章：