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

Question

考虑以下函数:

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 是否合法？

Answer 1

如果指向的值实际上是非 const 是合法的，这就是我们首先得到 const_cast 的原因。如果该值实际上是常量并且您将 const 丢弃，则它是未定义的。

如果 f 总是被赋予一个 int* 那么为什么不声明 f 来接受一个非常量呢？或者你可以提供一个重载:

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

这样编译器就会调用正确的版本，用户就会明白你的意图。调用第一个版本并让它更改值可能会让任何调用 f 的人感到惊讶。