c++ - 在使用单射函数索引数组时优化 g++

Question

我有一个 for 循环，其中每个步骤 i 处理一个数组元素 p[f(i)]，其中 f(i) 是从 1...n 到 1 的单射(一对一)映射...米(米> n)。因此循环中没有数据耦合，可以使用所有编译器优化技术，例如流水线。但是我怎样才能将 f(i) 的单射性告知 g++？或者我什至需要(g++ 能解决这个问题)吗？

Answer 1

假设 f 不依赖于任何全局状态并且不产生副作用，您可以用 const attribute 标记它:

int f(int i) __attribute__((const));

如果 f 确实依赖全局状态，但仍然具有它是其输入和全局状态的纯函数的属性(并且不产生副作用)，您可以使用稍微弱一些的 pure attribute 。

这些属性让 gcc 进行了比其他方式更多的优化，尽管我不知道这些是否对您的情况有帮助。查看生成的汇编代码，看看它们是否有帮助。