gcc'de saf bir işlev nasıl bildirilir ve tanımlanır?

Question

GCC, gerçek saf işlevler için const'ın kullanıldığı (idempotent functions which are also side-effect free için saf olan) saf ve const özniteliklerine sahiptir.

Önyükleme özelliğini kullanarak bir işlevi nasıl açıklarım ve nasıl tanımlarım?

Düzenleme: Saf öznitelikle bildirilenleri değil, öznitelik öznitelikleriyle bildirilen gerçek saf işlevlerle ilgileniyorum.

Answer 1

Örnek: __attribute__ ((<attribute-name>)) veya __attribute__ ((<attribute-name> (<attribute-options>))): Tüm özellikler için

// Declaration: 
int square (int x) __attribute__ ((const)); 
// Definition: 
int __attribute__ ((const)) square (int x) 
{ 
    return x*x; 
} 

---

sözdizimi hemen hemen aynıdır. Bağlan belgelerin alıntılanması:

__attribute__ anahtar kelimesi, bir bildirim yaparken özel öznitelikleri belirtmenize izin verir. Bu anahtar kelimeyi çift parantez içinde bir özellik belirtimi takip eder.

pure içinde bazı diğer özellikler için bağlantı veren belgelerinde örneği vardır:

int square (int) __attribute__ ((pure)); 

yüzden tek const kullanmak, sözdizimi-bilge ihtiyaç pure değiştirmektir const için:

int square (int) __attribute__ ((const)); 

olarak Açıklamalarda belirttiği:

int square (int) __attribute__ ((const)) { ... } // doesn't work 
int __attribute__ ((const)) square (int) { ... } // does work 

ama const ve pure nitelikleri hemen hemen sadece yararlıdır: Bir tanımında kullandığınız eğer, o zaman farklı bir konumda __attribute__ ((const)) koymak gerekir dış beyanlara uygulanırlarsa, bu bir sorun olmamalıdır. Tanım görünürse, GCC, genellikle, sizin yardımınız olmadan fonksiyonun const/pure olarak değerlendirilip değerlendirilemeyeceğini belirleyebilir.

Answer 2

bu this article göre, sözdizimi @hvd dediklerinde bir eşleşir:

int square (int) __attribute__ ((pure)); 

Ancak, ben şu örneği derleme yaparken gcc küresel durumunu inceleyerek değil özelliğini zorlamaz gibi görünüyor.

#include <stdio.h> 

int square (int) __attribute__ ((pure)); 

int outerX = 7; 
int square(int x) { 
    return outerX * x; 
} 

int main(){ 
    printf("%d\n", square(5)); 
    return 0; 
} 

aşağıdaki baskılar hiçbir hata ve kod çalışır ve 35 üretir. Biz işlevi içinde küresel durumunu mutasyon geçirip çünkü küresel halde neden olduğu bir değişimin her çağrıda farklı bir değer dönerseniz

gcc -Wall -Werror -pedantic -O3 Pure.c 


gcc --version 
gcc (Ubuntu/Linaro 4.8.1-10ubuntu9) 4.8.1 

Daha merakla, gcc da önemsemiyor.

#include <stdio.h> 

int square (int) __attribute__ ((pure)); 

int outerX = 7; 
int square(int x) { 
    outerX++; 
    return outerX * x; 
} 

int main(){ 
    printf("%d\n", square(5)); 
    printf("%d\n", square(5)); 
    printf("%d\n", square(5)); 
    return 0; 
} 

Çıktı:

40 
45 
50 

Answer 3

C++ 11 ile başlayarak, bu öznitelikleri belirtmek için attribute specifier sequence kullanabilirsiniz. Örneğin:

[[ gnu::const ]] 
int square (int x) 
{ 
    return x * x; 
} 

Ayrıca C++ 17 ile başlayan tüm bir derleyici bilinmeyen bir hata neden olmadan göz ardı edilir bağlıyor. Bu nedenle yukarıdaki kod farklı derleyiciler ve platformlar arasında taşınabilir hale gelir.