我理解restrict的用处，
void foo(size_t n, double * restrict a, double * restrict b)
然而，查看printf个手册页，我们发现:
int fprintf(FILE *restrict stream,
const char *restrict format, ...);
这两个指针都被标记为restricted，但是它们指向不同的类型，所以在我的理解中，它们无论如何都不能是别名(除非FILE是char的类型定义符)，所以restrict不提供任何更多信息.
我是正确的，还是手册页显示了一个有效的用法？
两个指针都标记为
restricted，但是它们指向 不同的类型，所以在我的理解中，它们无论如何都不可能是别名 (除非FILE是char的typedef)，所以restrict不提供任何 更多信息我说得对吗？还是手册页显示了一个有效的用法？
你说得不对.
首先，指针值可以转换为不同的指针类型，因此不能仅根据类型假设无别名，至少在函数调用接口上不能.原则上，该函数可以将FILE *转换为char *，并使用结果访问指向的任何数据. 这甚至不需要违反严格的别名规则，但根据细节，它违反了restrict限制.
但在这方面更合理的问题是，如果FILE是一种 struct 类型(通常是这样)，并且对此函数的调用的第二个参数指向指向FILE的 struct 的a member.对该成员的修改可能会违反restrict的资格.
此外，您忽略了fprintf()接受任意数量的附加参数，并且原则上它可以访问外部对象.restrict强加的非混叠要求不是关于符合restrict条件的指针对.它们是关于相对于修改对象的任何其他方式的个人restrict限定的指针.
最后，即使我们可以从函数签名中得出结论(与实际情况相反)，没有相关的别名是可能的，这也不会使restrict的使用无效.这只会是多余的.