考虑以下函数:

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/

10-10 21:26