Question

我无法理解restrict在调用具有已限制变量的函数方面的含义。

restrict关键字是程序员给出的意图声明编译器。它表示对于指针的生命周期，只有它或一个直接从它派生的值（如指针+ 1）将用于访问它指向的对象。

我有这三个示例函数：

void a(int const *p1, int const *p2) {
    ...
}

void b(int *restrict p1, int *restrict p2) {
    ...
}

void c(int *p1, int *p2) {
    ...
}

我会从函数中调用它们

foo(int *restrict p1, int *restrict p2) {
    a(p1, p2);
    b(p1, p2);
    c(p1, p1+1);
}

其中哪一个会保留函数restrict声明的foo承诺？

这三个案例将是：

函数a不会修改任何内容，因此肯定会保留。
b的参数是如何“直接从foo的指针”中导出的？如果我修改foo中的p1或p2，我是否会在b声明中作出承诺？
如果不以任何方式限制参数，情况是否会从前一个方案中的c发生变化，我在c编辑了例如p2？

Answer 1

以下是您的承诺：

void foo(int *restrict p1, int *restrict p2) {
    // a() can't modify p1[...] or p2[...]
    a(p1, p2);
    // b() CAN modify p1[...] or p2[...]
    // Note that you are still making this promise if you don't use
    // "restrict" in the declaration of b()
    b(p1, p2);
    // c() CAN modify p1[...] but not p2[...]
    c(p1, p1+1);
}

除非你知道这些功能的作用以及它们的调用方式，否则你无法确定你所做的承诺是否正确。

例如，这是错误的：

int global;
void a(int const *p1, int const *p2) {
    // Since p1 == &global, we can break the promise here
    // by accessing *p1 through the name "global"...
    // Even though this function is perfectly okay by itself!
    global = 5;
}
void foo(int *restrict p1, int *restrict p2) {
    // We have a promise that a() won't modify p1[...]
    // BECAUSE: "restrict" promises that all p1 modifications
    // go through p1, since p1 is passed "const" a() is not
    // supposed to modify *p1, but p1 = &global, and a() modifies
    // global... BOOM!
    // Even though this function is perfectly okay by itself...
    a(p1, p2);
}
int main() {
    int y;
    // Illegal!  Once you pass &global to foo(), BOOM!
    foo(&global, &y);
}

这就是restrict有点棘手的原因。您无法单独根据功能签名来判断它是否正确。

调用具有当前范围内已受限制的受限参数的函数

1 个答案: