纯函数的GCC优化

对于接受指针参数的纯函数,是否有明确定义GCC行为的地方?

这种行为与不接受指针参数的纯函数没有什么不同;它们可以读取程序中的任何内存,但不能写入内存或执行IO。

通过内联编写pure和const函数,您已经把事情弄糊涂了;如果调用站点的编译器可以使用函数体,那么它可以自行确定被调用函数执行的操作。当函数体不可见时,pure和const属性最有用,因为它将在单独的编译单元中定义。

__attribute__((__pure__)) int a();
__attribute__((__const__)) int b();
void c();

如果我们打电话 a 连续两次,在没有操作干预的情况下,我们可以将其折叠为一个调用,因为 保证只在读取时访问全局内存;即使另一个线程大约在同一时间写入全局内存,也没有办法 一 与该线程通信,以便编译器可以假设写入发生在两个调用之前或之后 :

int f() {
    int i = a();
    i += a();
    return i;  // optimized to "return a() * 2;"
}

如果我们打电话 c 通话之间 一 一 c

int g() {
    int i = a();
    c();
    i += a();
    return i;  // no optimization possible
}

然而,如果不是纯粹的 一 b ,我们可以将其折叠为一个调用,因为 b 无法读取任何 c

int h() {
    int i = b();
    c();
    i += b();
    return i;  // optimized to "c(); return b() * 2;"
}

“GCC作出的保证”。

pure 和 const 属性是 承诺 按GCC制造。

可以 纯净的 和 常数