c++ - 不同编译器中的纯/常量函数属性

Question

pure 是一个函数属性，表示函数不会修改任何全局内存。
const 是一个函数属性，表示函数不读取/修改任何全局内存。

根据这些信息，编译器可以进行一些额外的优化。

GCC 示例:

float sigmoid(float x) __attribute__ ((const));

float calculate(float x, unsigned int C) {
    float sum = 0;
    for(unsigned int i = 0; i < C; ++i)
        sum += sigmoid(x);
    return sum;
}

float sigmoid(float x) { return 1.0f / (1.0f - exp(-x)); }

在该示例中，编译器可以将函数 calculate 优化为:

float calculate(float x, unsigned int C) {
    float sum = 0;
    float temp = C ? sigmoid(x) : 0.0f;
    for(unsigned int i = 0; i < C; ++i)
        sum += temp;
    return sum;
}

或者如果你的编译器足够聪明(并且对 float 没有那么严格):

float calculate(float x, unsigned int C) { return C ? sigmoid(x) * C : 0.0f; }

如何为不同的编译器(即 GCC、Clang、ICC、MSVC 或其他)以这种方式标记函数？

Answer 1

• GCC:pure/const function attributes
• llvm-gcc: supports the GCC pure/const attributes
• Clang:seems to support it (我尝试了一个带有 GCC 样式属性的简单示例，并且成功了。)
• 国际商会:seems to adopt the GCC attributes (抱歉，只是一个论坛帖子。)
• MSVC:好像不支持。 ( discussion )

一般来说，似乎几乎所有的编译器都支持 GCC 属性。 MSVC 是迄今为止唯一不支持它们的编译器(也没有任何替代方案)。