不借助struct，如何用restrict表达指针部分重叠？为何我的写法无效？

先看结构体的例子：

struct a { int a; };
struct b { int b; struct a ba;};

对于接收struct a* a和struct b* b的函数，C的类型规则能明确：a->a和b->ba.a可能存在内存重叠，但b->b绝对不会和任何其他参数指针指向的内存重叠。比如下面这个函数：

int possibleOverlapOn2ndInt(struct a *a, struct b *b){
    b->b  = 0xbb; // 无别名，不会被其他指针修改
    b->ba.a  = 0xba; // 可能与a->a别名
    a->a  = 0xaa; // 可能与b->ba.a别名;
    return b->b /*0xbb*/ + b->ba.a;
}

编译器完全不需要在返回语句中重新加载b->b，直接用之前存储的常量0xbb替代就行，GCC和Clang都会做这个优化。

我想试试不用结构体，只靠restrict关键字能不能实现这种“部分内存可能重叠”的场景，于是写了这段代码：

int possibleOverlapOn2ndInt_(int a[1], int b[2]){ // 等价于 (int *a, int *b)
    int *restrict bp = &b[0];
    bp[0] = 0xbb; // 预期无别名
    b[1] = 0xba; // 可能与a[0]别名
    a[0] = 0xaa; // 可能与b[1]别名
    return bp[0] /*预期是0xbb?*/ + b[1];
}

但实际测试下来，restrict指针并没有起到预期的优化效果，问题出在用法上，还是编译器优化不足？

问题根源：restrict的约束范围与结构体的类型隔离 #

1. 你的restrict用法有误

你声明的局部restrict指针bp，只能约束“bp指向的内存（即b[0]）只能通过bp或其衍生指针修改”，但无法约束参数a和b之间的关系。编译器仍然会认为a可能直接指向b[0]——毕竟a是int*类型，完全合法指向数组b的任意元素。所以当你执行a[0] = 0xaa;时，编译器必须假设这可能修改了b[0]，返回时只能重新加载bp[0]，没法用之前的常量值优化。

2. 结构体的优化依赖类型系统隔离

结构体场景下的优化，本质是C类型系统提供的天然隔离：struct a*只能指向struct a类型的对象，而struct b的第一个成员是int，和struct a类型完全不同。编译器可以确定：a指针不可能指向b->b（除非用强制类型转换打破规则，但标准编译器会基于合法代码的类型规则做优化），所以b->b不会被a修改，可以安全地做常量替换。

3. 数组无法用restrict实现局部元素约束

restrict是针对指针指向的整个内存区域生效的，没法单独限定数组的某一个元素。如果给参数b加上restrict（int *restrict b），意味着b指向的所有数组元素（包括b[0]和b[1]）都只能通过b或其衍生指针修改，这又违背了你“b[1]可以和a重叠”的需求。

替代方案：拆分参数实现类似效果 #

如果一定要用非结构体的方式实现，可以把数组拆成两个独立指针参数，其中一个用restrict保证不被其他指针修改：

int possibleOverlapOn2ndInt_(int *a, int *restrict bp, int *b1){
    *bp = 0xbb;
    *b1 = 0xba;
    *a = 0xaa;
    return *bp + *b1;
}

调用时传入&b[0]和&b[1]即可，编译器会明确*bp不会被a或b1修改，从而做常量替换优化。但这种方式本质上和结构体的思路一致，都是把需要隔离的元素拆成独立的“成员”。

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