关于GCC __restrict__指针别名规则的疑问及代码场景分析

__restrict__是GCC支持的C99扩展特性，不属于标准C++。核心疑问是：将__restrict__指针传递给其他函数（无论该函数对其进行读或写操作）是否一定会违反restrict别名规则，还是存在更复杂的判定逻辑？

参考C99 restrict规则 #

• 若受限指针P所在块执行期间，通过P可访问的对象被修改，则该块内对该对象的所有访问必须通过P进行，否则行为未定义；
• 将一个受限指针赋值给另一个受限指针通常是未定义行为，但从外层块指针赋值给内层块指针（包括调用函数时传递受限指针参数）除外。

代码场景逐一分析 #

先看完整代码示例：

#include <cstring>
#include <iostream>

class Foo {
public:
    void func1(char* __restrict__ ptr1) {
        // 1. 将ptr1传递给func2是否违反规则？
        func2(ptr1);

        // 调用写操作的func3
        func3(ptr1);

        ptr1 += 3;

        // 4. 这里的读取是否一定能看到func2的修改？
        std::cout << ptr1 << std::endl;

        // 3. 修改func3写过的重叠区域
        std::memcpy(ptr1, " overlap\0", 9);
    }
    void func2(char* const __restrict__ ptr2) { std::cout << ptr2 << std::endl; }
    void func3(char* const __restrict__ ptr3) {
        // 2. 在func3中写ptr3是否违反func1中ptr1的规则？
        std::memcpy(ptr3, "after\0", 6);
    }
};

int main() {
    char buf[100];
    std::memcpy(buf, "before\0", 7);
    std::cout << buf << std::endl;
    Foo foo;
    foo.func1(buf);
    std::cout << buf << std::endl;
    return 0;
}

场景1：将ptr1传递给func2 #

完全不违反规则。根据第二条规则，外层作用域（func1）的受限指针传递给内层作用域（func2）是明确允许的例外情况。而且func2只做读取操作，没有修改指针指向的对象，不会触发第一条规则中“对象被修改时必须通过P访问”的约束。

场景2：在func3中写ptr3 #

不违反规则。func3的ptr3是从func1的ptr1传递来的内层受限指针，符合规则第二条的例外。从func1的视角看，修改操作是通过ptr1的传递路径完成的，本质上属于“通过P（ptr1）访问对象”的合法方式，编译器可以识别这种关联，不会产生未定义行为。

场景3：func1中用memcpy修改ptr1指向的重叠区域 #

不违反规则。这个修改操作直接通过ptr1进行，完全符合第一条规则的要求——对象被修改时，所有访问都通过受限指针P（ptr1）完成，没有其他别名指针参与，所以是合法的。

场景4：读取ptr1是否能看到func2的修改？ #

首先要明确：当前代码里func2只是读取ptr2指向的对象，并没有做任何修改，所以这里的读取不会看到“func2的修改”（因为根本没修改）。如果假设func2通过ptr2修改了对象，那么可以明确：func1中通过ptr1读取时，一定能看到这个修改。因为修改是通过合法的受限指针传递路径完成的，restrict的约束是禁止其他无关别名指针的访问/修改，而不是限制同一指针传递后的操作可见性，编译器不会因为restrict的存在优化掉这个修改的可见性。

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