Bugün saf işlev hakkında okuyordum, kullanımıyla karıştırıldım:

Aynı girdi kümesi için aynı değer kümesini döndüren ve gözlemlenebilir herhangi bir yan etkisi olmayan bir işlevin saf olduğu söylenir.

örneğin strlen()saf bir işlev iken rand()saf olmayan bir işlevdir .

__attribute__ ((pure)) int fun(int i)
{
    return i*i;
}

int main()
{
    int i=10;
    printf("%d",fun(i));//outputs 100
    return 0;
}

http://ideone.com/33XJU

Yukarıdaki program, purebildirim yokluğunda olduğu gibi davranır .

Bir işlevi pure[çıktıda değişiklik yoksa] olarak bildirmenin faydaları nelerdir ?

pure derleyicinin işlev hakkında belirli optimizasyonlar yapabileceğini bilmesini sağlar: aşağıdaki gibi bir kod hayal edin:

for (int i = 0; i < 1000; i++)
{
    printf("%d", fun(10));
}

Saf bir işlevle, derleyici fun(10)1000 kez değil, yalnızca bir kez değerlendirmesi gerektiğini bilebilir . Karmaşık bir işlev için bu büyük bir kazançtır.

Bir işlevin 'saf' olduğunu söylediğinizde, dışarıdan görünür yan etkilerinin olmadığını garanti etmiş olursunuz (ve bir yorumun dediği gibi, eğer yalan söylerseniz, kötü şeyler olabilir). Bir fonksiyonun 'saf' olduğunu bilmek, bu bilgiyi belirli optimizasyonları yapmak için kullanabilen derleyici için faydalara sahiptir.

İşte budur GCC belgeleri hakkında söylediği pureözniteliği:

saf

Birçok fonksiyonun dönüş değeri dışında hiçbir etkisi yoktur ve bunların dönüş değeri sadece parametrelere ve / veya global değişkenlere bağlıdır. Böyle bir fonksiyon, bir aritmetik operatörün yapacağı gibi, ortak alt ifade eliminasyonuna ve döngü optimizasyonuna tabi olabilir. Bu işlevler, pure niteliği ile bildirilmelidir. Örneğin,

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

Philip'in cevabı zaten bir fonksiyonun 'saf' olduğunu bilmenin döngü optimizasyonlarına nasıl yardımcı olabileceğini gösteriyor.

Aşağıda, genel alt ifade eliminasyonu için bir tane verilmiştir (verilen foosaftır):

a = foo (99) * x + y;
b = foo (99) * x + z;

Olabilir:

_tmp = foo (99) * x;
a = _tmp + y;
b = _tmp + z;

Olası çalışma zamanı avantajlarına ek olarak, saf bir işlevin kodu okurken akıl yürütmesi çok daha kolaydır. Ayrıca, dönüş değerinin yalnızca parametrelerin değerlerine bağlı olduğunu bildiğiniz için saf bir işlevi test etmek çok daha kolaydır.

Saf olmayan bir işlev

int foo(int x, int y) // possible side-effects

saf bir işlevin uzantısı gibidir

int bar(int x, int y) // guaranteed no side-effects

Burada, açık fonksiyon argümanlarının yanı sıra x, y, evrenin geri kalanı (veya bilgisayarınızın iletişim kurabileceği herhangi bir şey) örtük bir potansiyel girdi olarak var. Benzer şekilde, açık tamsayı dönüş değerinin yanı sıra, bilgisayarınızın yazabileceği her şey, dolaylı olarak dönüş değerinin bir parçasıdır.

Saf bir işlev hakkında akıl yürütmenin neden saf olmayan bir işlevden çok daha kolay olduğu açık olmalıdır.

Bir eklenti olarak, C ++ 11'in bazı şeyleri constexpr anahtar sözcüğünü kullanarak kodladığını belirtmek isterim. Misal:

#include <iostream>
#include <cstring>

constexpr unsigned static_strlen(const char * str, unsigned offset = 0) {
        return (*str == '\0') ? offset : static_strlen(str + 1, offset + 1);
}

constexpr const char * str = "asdfjkl;";

constexpr unsigned len = static_strlen(str); //MUST be evaluated at compile time
//so, for example, this: int arr[len]; is legal, as len is a constant.

int main() {
    std::cout << len << std::endl << std::strlen(str) << std::endl;
    return 0;
}

Constexpr kullanımındaki kısıtlamalar, işlevin kanıtlanabilir şekilde saf olmasını sağlar. Bu şekilde, derleyici daha agresif bir şekilde optimize edebilir (sadece kuyruk özyinelemesini kullandığınızdan emin olun, lütfen!) Ve işlevi çalışma zamanı yerine derleme zamanında değerlendirebilir.

Öyleyse, sorunuza cevap vermek gerekirse, eğer C ++ kullanıyorsanız (C dediniz biliyorum ama bunlar birbiriyle ilişkili), doğru tarzda saf bir işlev yazmak, derleyicinin işlevle her türlü harika şeyi yapmasına olanak tanır: -)

Genel olarak, Pure işlevlerinin, derleyicinin yararlanabileceği, saf olmayan işlevlere göre 3 avantajı vardır:

Önbelleğe almak

Diyelim ki saf işleve sahipsin f 100000 kez çağrılan var, çünkü bu deterministik ve sadece parametrelerine bağlı olduğundan, derleyici değerini bir kez hesaplayabilir ve gerektiğinde kullanabilir.

Paralellik

Saf fonksiyonlar herhangi bir paylaşılan hafızayı okumaz veya bu hafızaya yazmaz ve bu nedenle herhangi bir beklenmedik sonuç olmaksızın ayrı iş parçacıkları içinde çalışabilir.

Referansla Geçme

Bir işlev f(struct t)argümanını tdeğere göre alır ve diğer yandan, derleyici , değerinin değişmeyeceğini ve performans kazanımlarına sahip olmayacağını garanti ederken, saf olarak ilan edilip edilmediğine treferansla geçebilir .ft

Derleme zamanına ek olarak, saf fonksiyonlar oldukça kolay bir şekilde test edilebilir: sadece çağırın.

DB'lere / dosya sistemine nesneler veya sahte bağlantılar oluşturmaya gerek yok.