Bu C işlevi her zaman yanlış döndürmelidir, ancak

Uzun zaman önce bir forumdaki ilginç bir soruyu tökezledim ve cevabı bilmek istiyorum.

Aşağıdaki C işlevini göz önünde bulundurun:

f1.c

#include <stdbool.h>

bool f1()
{
    int var1 = 1000;
    int var2 = 2000;
    int var3 = var1 + var2;
    return (var3 == 0) ? true : false;
}

O falsezamandan beri bu her zaman dönmelidir var3 == 3000. mainFonksiyonu aşağıdaki gibidir:

main.c

#include <stdio.h>
#include <stdbool.h>

int main()
{
    printf( f1() == true ? "true\n" : "false\n");
    if( f1() )
    {
        printf("executed\n");
    }
    return 0;
}

Yana f1()hep dönmelidir false, tek bir program yalnızca bir yazdırma beklenebilir false ekranına. Ancak derledikten ve çalıştırdıktan sonra, yürütüldü :

$ gcc main.c f1.c -o test
$ ./test
false
executed

Neden? Bu kod bir tür tanımsız davranışa sahip mi?

Not: ile derledim gcc (Ubuntu 4.9.2-10ubuntu13) 4.9.2.

Diğer yanıtlarda belirtildiği gibi, sorun gccderleyici seçenekleri ayarlanmamış olarak kullanmanızdır. Bunu yaparsanız, varsayılan olarak 1990'dan eski C90 standardının geri çekilmiş eski standart dışı bir uygulaması olan "gnu90" adı verilir.

Eski C90 standardında C dilinde büyük bir kusur vardı: bir işlevi kullanmadan önce bir prototip bildirmediyseniz, varsayılan olarak int func ()(burada ( )"herhangi bir parametreyi kabul et" anlamına gelir). Bu, işlevin çağırma kuralını funcdeğiştirir, ancak gerçek işlev tanımını değiştirmez. Boyutu boolve intfarklı olduğu için, kod çağrıldığında işlev tanımsız davranış başlatır.

Bu tehlikeli saçmalık davranışı, 1999 yılında C99 standardının yayınlanmasıyla düzeltildi. Örtük işlev bildirimleri yasaklandı.

Ne yazık ki, 5.xx sürümüne kadar olan GCC varsayılan olarak eski C standardını kullanıyor. Muhtemelen kodunuzu standart C'den başka bir şey olarak derlemek istemeniz için hiçbir neden yoktur. Bu nedenle, GCC'ye kodunuzu 25 yaşın üzerindeki standart olmayan GNU bok yerine modern C kodu olarak derlemesi gerektiğini açıkça söylemelisiniz. .

Programınızı her zaman şu şekilde derleyerek sorunu giderin:

gcc -std=c11 -pedantic-errors -Wall -Wextra

• -std=c11 (mevcut) C standardına (gayri resmi olarak C11 olarak bilinir) derleme için gönülsüz bir girişimde bulunmasını söyler.
• -pedantic-errors bunu ciddiyetle yukarıdakilere yapmasını söyler ve C standardını ihlal eden yanlış kod yazdığınızda derleyici hataları verir.
• -Wall bana iyi olabilecek bazı ekstra uyarılar vermek anlamına gelir.
• -Wextra bana başka iyi uyarılar vermek anlamına geliyor.

f1()Main.c için bildirilmiş bir prototipiniz yoktur , bu nedenle örtük olarak tanımlanır int f1(), yani bilinmeyen sayıda argüman alan ve bir döndüren bir işlevdir int.

Eğer intve boolfarklı boyutlara sahip, bu sonuçlanacaktır tanımsız davranış . Örneğin, makinemde int4 bayt ve boolbir bayt. İşlev geri dönmek üzere tanımlandığından , geri döndüğünde boolyığına bir bayt koyar. Ancak, örtükint olarak main.c'den döndüğü bildirildiğinden , çağıran işlev yığından 4 bayt okumaya çalışır.

Gcc'deki varsayılan derleyici seçenekleri bunu yaptığını size söylemez. Ancak derleme -Wall -Wextrayaparsanız, bunu elde edersiniz:

main.c: In function ‘main’:
main.c:6: warning: implicit declaration of function ‘f1’

Bunu düzeltmek için f1, önce main.c için bir bildirim ekleyin main:

bool f1(void);

Bağımsız değişken listesinin açık olarak ayarlandığını voidve derleyiciye, bilinmeyen sayıda bağımsız değişken anlamına gelen boş bir parametre listesinin aksine işlevin hiçbir bağımsız değişken almadığını bildirir. f1F1.c'deki tanım da bunu yansıtacak şekilde değiştirilmelidir.

Lundin'in mükemmel cevabında belirtilen boyut uyumsuzluğunun gerçekte nerede olduğunu görmek ilginç olduğunu düşünüyorum.

Derleme --save-tempsyaparsanız, bakabileceğiniz montaj dosyaları alırsınız. İşte parçası f1()yapar == 0karşılaştırma ve değerini döndürür:

cmpl    $0, -4(%rbp)
sete    %al

Geri dönen kısmı sete %al. C'nin x 86 çağrı sözleşmeler, geri dönüş 4 bayt veya daha küçük (buna değerleri intve boolkayıt listesi vasıtasıyla döndürülür) %eax. %alen düşük baytıdır %eax. Böylece, üst 3 bayt %eaxkontrolsüz bir durumda bırakılır.

Şimdi main():

call    f1
testl   %eax, %eax
je  .L2

İster bu kontroller bütün bir %eaxo int test düşünür, çünkü sıfırdır.

Açık bir işlev bildirimi eklemek aşağıdakilere değişir main():

call    f1
testb   %al, %al
je  .L2

bizim istediğimiz bu.

Lütfen bunun gibi bir komutla derleyin:

gcc -Wall -Wextra -Werror -std=gnu99 -o main.exe main.c

Çıktı:

main.c: In function 'main':
main.c:14:5: error: implicit declaration of function 'f1' [-Werror=impl
icit-function-declaration]
     printf( f1() == true ? "true\n" : "false\n");
     ^
cc1.exe: all warnings being treated as errors

Böyle bir mesajla, düzeltmek için ne yapacağınızı bilmelisiniz.

Düzenleme: (Şimdi silindi) bir yorum okuduktan sonra, bayraklar olmadan kodunuzu derlemeye çalıştım. Peki, bu beni derleyici hataları yerine derleyici uyarıları olmadan bağlayıcı hatalara götürdü. Ve bu bağlayıcı hataların anlaşılması daha zordur, bu yüzden -std-gnu99gerekli olmasa bile , en azından -Wall -Werrorkıçınızda çok fazla acı kurtaracak şekilde kullanmaya çalışın .