c - 如果某些限制指针指向同一个对象，为什么编译器不生成警告或错误？

Question

如果我们有一个函数:

void func(int *restrict a, int *restrict b, int *restrict c) {
    *c = *a + *b;
}

原则上，这段代码可能会导致一些错误:

int aa = 1;
func(&aa, &aa, &aa);

因为在 func 中，*a *b *c 将是同一个对象。但是为什么这段代码可以编译成功呢？

Answer 1

restrict 基本上是程序员对编译器的 promise ，指针是唯一用于访问它指向的对象(在指针范围内)的指针。

编译器(通常)不会检查该 promise - 它将责任留给程序员。如果程序员弄错了，未定义的行为将受到惩罚。