使用指向非常量指针和指向相同地址的常量参数的指针的函数调用

我想编写一个函数，输入一个数据数组并使用指针输出另一个数据数组。

我想知道如果两者都结果是什么src and dst指向相同的地址，因为我知道编译器可以针对 const 进行优化。这是未定义的行为吗？ （我标记了 C 和 C++，因为我不确定它们之间的答案是否可能不同，并且我想了解两者。）

void f(const char *src, char *dst) {
    dst[2] = src[0];
    dst[1] = src[1];
    dst[0] = src[2];
}

int main() {
    char s[] = "123";
    f(s,s);
    printf("%s\n", s);
    return 0;
}

除了上述问题之外，如果我删除以下内容，这是否定义明确const在原始代码中？

虽然该行为确实是明确定义的 - 但它是not确实，编译器可以按照您的意思“优化 const”。

也就是说，编译器是not允许假设仅仅因为参数是const T* ptr，指向的内存ptr不会通过另一个指针改变。指针甚至不必相等。这const是一项义务，而不是保证 - 您（= 函数）有义务不通过该指针进行更改。

为了真正得到这个保证，你需要用restrict关键词。因此，如果编译这两个函数：

int foo(const int* x, int* y) {
    int result = *x;
    (*y)++;
    return result + *x;
}

int bar(const int* x, int* restrict y) {
    int result = *x;
    (*y)++;
    return result + *x;
}

the foo()函数必须读取两次x, while bar()只需要读一次：

foo:
        mov     eax, DWORD PTR [rdi]
        add     DWORD PTR [rsi], 1
        add     eax, DWORD PTR [rdi]  # second read
        ret
bar:
        mov     eax, DWORD PTR [rdi]
        add     DWORD PTR [rsi], 1
        add     eax, eax              # no second read
        ret

See this live on GodBolt https://godbolt.org/z/NnG9dP.

restrict仅是 C 中的一个关键字（自 C99 起）；不幸的是，到目前为止它还没有被引入到C++中（可怜的原因是在C++中引入它比较复杂）。然而，许多编译器确实支持它，因为__restrict.

底线：编译器在编译时必须支持您的“深奥”用例f()，并且不会有任何问题。

_{See this post https://stackoverflow.com/q/745870/1593077 regarding use cases for restrict.}