C99 restrict关键字语法及使用假设正确性求证

首先直接回应你的假设判断：

• a是指向int的restrict指针：正确。int *restrict a的写法明确表示a是一个指向int类型的restrict限定指针，等价于int restrict *a（限定符可放在类型与*之间，不改变语义）。
• b定义非法，因缺少*，不是指针类型：错误。int restrict *b是合法语法，它和int *restrict b完全等价，都是定义一个指向int的restrict指针。restrict是指针限定符，只要它和*关联（无论在*前还是后），就会修饰对应的指针。
• A是指向restrict指针的restrict指针：正确。int * restrict * restrict A中，第一个restrict修饰的是中间的指针（即A指向的那个指针是restrict限定的），第二个restrict修饰的是A本身，所以A是一个双重restrict限定的指针：自身是restrict指针，指向的也是restrict指针。
• B是指向restrict指针的普通指针：正确。int * restrict * B里只有中间的restrict，仅修饰B指向的指针，B自身是普通指针。
• C是指向普通指针的restrict指针：正确。int * * restrict C中的restrict仅修饰C自身，C指向的是普通的int指针。

接下来回答赋值相关的问题：
将非restrict指针p_p_nb赋值给int * restrict * restrict A不属于未定义行为，语法上完全合法。restrict的约束不是针对赋值操作本身，而是针对指针的访问行为：它是程序员向编译器做出的承诺——在该restrict指针的生命周期内，通过它访问的对象，不会被其他非restrict指针（或不同的restrict指针）修改或访问。

编译器（比如GCC）不会主动检查你是否遵守这个承诺，它只会根据restrict的提示进行优化。如果后续代码违反了这个承诺（比如同时通过A和p_p_nb修改同一个指针指向的对象），才会触发未定义行为，这时候编译器不会报错，后果由开发者自行承担。

内容的提问来源于stack exchange，提问作者user26341416