gpt4 book ai didi

c++ - 为什么不执行__restrict__修饰符?

转载 作者:行者123 更新时间:2023-12-01 15:06:35 27 4
gpt4 key购买 nike

如果一个函数参数带有const int &x注释,并且我尝试在函数主体中执行x++,则会收到编译时错误,以修改只读引用。但是,如果我像这样使用__restrict__修饰符:

void foo(int & __restrict__ a, int & __restrict__ b) {
if (a == 1)
b = 2;
if (a == 2)
b = 3;
}

int main() {
int x = 1;
foo(x, x); // should be illegal?
cout << x;
}

...我没有得到编译时错误。如果我未经优化地运行此代码,则输出为 3,但如果我使用 -O1或更高版本运行,则输出为 2。似乎检测到 x要传递两次将很简单并且很容易被禁止。为什么C++可以防止 const的错误使用,而不是 __restrict__的错误使用?

最佳答案

您正在向后看__restrict__
__restrict__是实现扩展,程序员可以使用它来传达意图,以最大程度地提高生成的代码质量和性能(“优化”)。

这不是检查,也不是对程序的附加约束。

它不是类型系统的一部分,因此也不是函数类型的一部分,因此不能在调用站点上强制执行(通常)。

就像其他一些扩展(例如__builtin_unreachable)一样,您可以用来告诉编译器一些信息。

在这种情况下,您要告诉它“我不是在通过任何其他指针来指代指针”。

您并不是在问它“请阻止我通过任何其他指针来引用指针对象”。

C和C++编译器已经在可能的地方执行了严格的“别名”检查。在自动别名检测无法正常工作(例如由于翻译单元边界)的情况下,__restrict__关键字是一种告诉您“我对此有把握”的方法。由于自动别名检测无法正常工作,因此无法实现__restrict__

而且,即使可能,这与修饰符的目的相反。

关于c++ - 为什么不执行__restrict__修饰符?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61352224/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com