атрибуты функции pure/const в разных компиляторах

Question

чистый - это атрибут функции, который говорит о том, что функция не модифицирует глобальную память.
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)); } 

В этом примере компилятор может оптимизировать функцию высчитывает к:

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 calculate(float x, unsigned int C) { return C ? sigmoid(x) * C : 0.0f; } 

Как я могу отметить fu таким образом, для разных компиляторов, т. е. 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 стиля, и она работала.)
• ICC: seems to adopt the GCC attributes (К сожалению, только сообщение форума.)
• MSVC: Кажется, не поддерживать его. (discussion)

В целом кажется, что почти все компиляторы поддерживают атрибуты GCC. MSVC до сих пор является единственным компилятором, который их не поддерживает (и который также не имеет альтернативы).