C与C++: restrict关键字及其在编译器优化中的作用

什么是 C 中的 `restrict`？

restrict 是 C99 引入的指针类型限定符。它告诉编译器，该指针在其生命周期内是访问其所指内存的唯一方式。

这使得编译器可以安全地进行优化，因为它可以假设没有指针别名 —— 即没有其他指针访问相同的内存。

语法示例：

void copy(int *restrict dst, const int *restrict src, size_t n);

优点：

启用更激进的编译器优化
提升在循环和内存密集型操作中的性能
明确表达开发者对指针用途的意图

没有使用 `restrict` 时：

void copy(int *dst, const int *src, size_t n);

没有 restrict，编译器必须假设 dst 和 src 可能指向重叠的内存，限制了优化空间。

注意事项：

restrict 仅在 C99 及以上版本中有效
只适用于指针类型
错误使用会导致未定义行为

C++ 中有 `restrict` 吗？

C++ 并不包含 restrict 这一标准关键字。不过，可以通过其他方式实现类似效果。

1. 编译器扩展

大多数主流编译器支持非标准的替代写法，例如：

void foo(int* __restrict__ a, int* __restrict__ b);

GCC/Clang：__restrict__
MSVC：__restrict

注意：这些方式不具可移植性。

2. 使用现代 C++ 提供的更安全语义

现代 C++ 鼓励使用更安全、更清晰的方式，如：

使用引用而非原始指针
使用 std::span（C++20）明确表达内存范围

void add(std::span<int> dst, std::span<const int> src);

虽然这不能从底层强制无别名，但能提高代码意图的清晰度，有助于规避别名相关的问题。

总结对比表

功能	C语言	C++
`restrict` 支持	标准（C99+）	非标准
优化收益	支持	支持（需扩展）
更安全的替代方案	无	`std::span`、引用

总结

在 C 中，当你能确保没有内存别名并且关心性能时，应当使用 restrict。在 C++ 中，优先使用更现代的语义（如引用、std::span），必要时也可以谨慎使用编译器扩展版本的 __restrict__。

C/C++编程

英文：C vs C++: Understanding the restrict Keyword and its Role in Optimization

本文一共 460 个汉字, 你数一下对不对.

C与C++: restrict关键字及其在编译器优化中的作用. (AMP 移动加速版本)
上一篇: 深入理解ROS中的Topics, Services和Actions(含示例)
下一篇: 刹车片多久需要更换? 不及时更换有什么后果?

赞赏我的几个理由.

¥ 打赏支持

扫描二维码，分享本文到微信朋友圈

小赖子的英国生活和资讯

C与C++: restrict关键字及其在编译器优化中的作用

什么是 C 中的 `restrict`？

语法示例：

优点：

没有使用 `restrict` 时：

注意事项：

C++ 中有 `restrict` 吗？

1. 编译器扩展

2. 使用现代 C++ 提供的更安全语义

总结对比表

总结

C/C++编程

评论

什么是 C 中的 restrict？

语法示例：

优点：

没有使用 restrict 时：

注意事项：

C++ 中有 restrict 吗？

1. 编译器扩展

2. 使用现代 C++ 提供的更安全语义

总结对比表

总结

C/C++编程

相关文章：

评论

什么是 C 中的 `restrict`？

没有使用 `restrict` 时：

C++ 中有 `restrict` 吗？