c - 解释一下为什么代码编译成功？

Question

#include<stdio.h>

void main()
{
    int a=5;
    int *__restrict p1=&a,*__restrict p2=&a;
    printf("%d\n",*p2);
}

为什么这段代码在 gcc 中编译时没有任何错误，尽管通过 limit 限定的指针是访问它所指向的对象的唯一方法？

Answer 1

restrict 向编译器暗示没有其他指针可以访问该内存。这并不意味着编译器应该检查是否存在另一个指针，而是相反:编译器实际上并不需要检查它，因为你告诉它不存在。