c++ - 通过这样的 const 修改非常量指针是否合法？

考虑以下函数:

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

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

让我有点担心的是，如果你能做到这一点，优化器在使用 const 时会变得更难。考虑一个更复杂的例子:

// 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 的人感到惊讶。

关于c++ - 通过这样的 const 修改非常量指针是否合法？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/20881709/