GCC/Clang是否应优化restrict限定指针数组的冗余加载？

你没有误解restrict的语义，这个场景下编译器未执行预期优化，核心原因是数组参数退化后的嵌套restrict指针分析优化难度更高，当前GCC/Clang的-O3优化器暂未覆盖该场景。

一、先明确数组参数的退化规则与restrict语义 #

在C语言中，函数参数里的数组类型会自动退化为指针类型：你写的int* restrict a[2]，实际会被编译器处理为int* restrict *a（即指向restrict限定的int*的指针）。

你的理解完全正确：数组的每个元素（a[0]、a[1]）都是int* restrict指针，符合restrict的语义约束——在函数执行期间，a[0]指向的对象只能通过a[0]（或基于它的指针）访问，a[1]指向的对象同理，两者的访问域不会重叠，因此*a[1] = 11绝对不会修改a[0]指向的对象。

二、为什么函数g能优化而f不能？ #

• 独立restrict参数的优化路径更直接：对于g中的两个独立参数p和q，编译器可以轻松跟踪到它们是互不干扰的restrict指针，直接判定*q = 11不会影响*p，因此可以直接返回常量10。
• 数组退化后的restrict分析成本更高：对于f中退化后的指针a，编译器需要额外做一层嵌套分析：遍历数组元素中的每个restrict指针，逐一确认它们的访问域无重叠。这种分析需要更复杂的数据流跟踪逻辑，尤其是当数组长度不固定或更大时，优化的时间成本会显著上升。当前GCC和Clang的-O3优化器尚未实现针对这种嵌套restrict指针数组场景的优化，因此会选择保守地重新加载*a[0]的值。

验证：手动拆分后编译器会执行优化 #

如果把数组元素赋值给局部restrict指针，编译器就能轻松识别并执行优化：

int f(int* restrict a[2]) {
    int* restrict p = a[0];
    int* restrict q = a[1];
    *p = 10;
    *q = 11;
    return *p;
}

此时GCC和Clang在-O3下都会生成直接返回10的汇编代码。

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