__attribute __ ((const)) vs __attribute __ ((saf)) GNU C içinde

Question

GNU C'deki __attribute__((const)) ve __attribute__((pure)) arasındaki fark nedir?

__attribute__((const)) int f() { 
    /* ... */ 
    return 4; 
} 

vs (gcc dayanmaktadır) documentation for the ARM compiler itibaren

__attribute__((pure)) int f() { 
    /* ... */ 
    return 4; 
} 

Answer 1

:

__attribute__((pure)) işlev davranışları
Birçok işlevleri değer döndürmek için dışında hiçbir etkileri vardır ve onların dönüş değeri sadece parametrelere ve global değişkenlere bağlıdır. Bu tür işlevler veri akışı analizine tabi olabilir ve ortadan kaldırılabilir.

__attribute__((const)) işlev davranışları
Birçok fonksiyonlar kendilerine geçirilen yalnızca argümanları incelemek ve dönüş değeri dışında hiçbir etkileri vardır. Bu, global belleğin okunmasına izin verilmediği için, __attribute__((pure))'dan çok daha sıkı bir sınıftır. Bir fonksiyonun sadece argümanlarında çalıştığı biliniyorsa, ortak alt-ifade eleme ve döngü optimizasyonlarına tabi olabilir.

Yani, TL; DR: __attribute__((const))__attribute__((pure)) olarak değil, küresel değişkenlere erişimi olmayan aynıdır. argümanları ve global değişkenler durumuna bağlıdır

Answer 2

fark GCC manuals

__attribute__ ((pure)) açıklanmıştır fonksiyonu hiçbir yan etkisi olduğu anlamına gelir ve değer geri döndü. Bu nedenle, optimize edicinin argümanları aynı ise ve çağrıların arasında değişmeyen hallerin değişmesi durumunda, bazı çağrıları elemek güvenlidir. bağımsız değişkenler herhangi ardından işaretçiler duruma gelmiş olmamalıdır işaretçiler ise

__attribute__ ((const)) dönüş değeri sadece bağımsız değişkenlerin bir fonksiyonu olan, ve anlamına gelir.

A const işlevi her zaman pure'dir. const fonksiyonların

Örnekler <math.h> matematiksel fonksiyonlar şöyle olacaktır: (onlar yuvarlama modları tabi olabilir rağmen) vb sqrt, exp. pure ancak const olmayan fonksiyonların

örnekleri strlen gibi fonksiyonları olacaktır - geçirilen işaretçi dereferences olarak