c++ - 当原始数据为常量时，修改指针指向的位置是否是 UB？

Question

当指针的数据是 const 时，更改指针指向的位置是否是未定义的行为？示例:

const char* p = "foo";
p = "boo";

我相信这不是 UB，因为指针本身不是 const 并且我没有修改 "foo" 对象。

额外的问题:改变一个常量指针的非常量数据？会是UB吗？示例:

char* const p = "foo";
(*(char**)&p) = (char*)malloc(strlen(p));

Answer 1

I believe that this is not UB, because the pointer itself is not const and I'm not modifying the "foo" object.

这是正确的。该指针不是 const，因此您可以根据需要将其更改为指向其他内容。在这种情况下，它不会导致内存泄漏，但请记住，如果指针指向使用 new 分配的数据，并且它是指向该数据的唯一指针，那么您需要调用 delete 在重新分配指针之前，否则你会发生内存泄漏。

Extra question: and removing the constness of pointer? Would be UB?

如果您尝试修改从中删除了 const 的 const 对象，这只是 UB，在本例中您就是这样做的。只删除 const 是可以的，有时也需要，但您永远不能修改对象，除非它不是 const 开始的。例如，以下是合法的，因为 foo 不是 const。

int foo = 42;

void bar(int const& baz) { const_cast<int&>(baz) = 21; }

int main()
{
    bar(foo);
}

另一方面

const int foo = 42;

void bar(int const& baz) { const_cast<int&>(baz) = 21; }

int main()
{
    bar(foo);
}

不合法，因为 foo 是 const