Parametresiz bir işlev (gerçek işlev tanımına kıyasla) neden derleniyor?

Ben sadece neden derleme konusunda kafam karıştı birinin C kodu rastlamak. Anlamadığım iki nokta var.

İlk olarak, işlev prototipinin gerçek işlev tanımına kıyasla hiçbir parametresi yoktur. İkinci olarak, işlev tanımındaki parametrenin bir türü yoktur.

#include <stdio.h>

int func();

int func(param)
{
    return param;
}

int main()
{
    int bla = func(10);    
    printf("%d", bla);
}

Bu neden işe yarıyor? Birkaç derleyicide test ettim ve iyi çalışıyor.

Diğer tüm cevaplar doğrudur, ancak sadece tamamlanması için

Bir işlev aşağıdaki şekilde bildirilir:

  return-type function-name(parameter-list,...) { body... }

return-type , işlevin döndürdüğü değişken türüdür. Bu bir dizi türü veya bir işlev türü olamaz. Verilmezse int kabul edilir. .

fonksiyon adı , .

parametre listesi , işlevin virgülle ayırdığı parametrelerin listesidir. Herhangi bir parametre verilmezse, işlev herhangi bir şey almaz ve boş bir parantez kümesiyle veya void anahtar sözcüğüyle tanımlanmalıdır. Parametre listesindeki bir değişkenin önünde hiçbir değişken türü yoksa, int kabul edilir . Diziler ve işlevler işlevlere aktarılmaz, ancak otomatik olarak işaretleyicilere dönüştürülür. Liste üç nokta (, ...) ile sonlandırılırsa, ayarlanmış sayıda parametre yoktur. Not: stdarg.h başlığı, üç nokta kullanılırken bağımsız değişkenlere erişmek için kullanılabilir.

Ve yine bütünlük uğruna. C11 teknik özellik 6: 11: 6'dan (sayfa: 179)

Boş parantez fonksiyonlu declarators kullanımı (değil prototip format parametresinin türü declarators) bir eskimiş bir özelliktir .

C'de func()istediğiniz sayıda argüman iletebileceğiniz anlamına gelir. Eğer herhangi bir argüman istemiyorsanız o zaman ilan etmelisiniz func(void). Belirtilmezse, işlevinize ilettiğiniz tür varsayılan olarak kullanılır int.

int func();C standardının olmadığı günlerden yani K&R C günlerinden (1989'dan önce ilk "ANSI C" standardının yayınlandığı yıl) eskimiş bir işlev beyanıdır .

Olduğunu unutmayın K & R C hiçbir prototipler ve anahtar kelime voidhenüz icat edilmedi. Tüm yapabileceğiniz derleyiciye bir işlevin dönüş türü hakkında bilgi vermekti . K&R C'deki boş parametre listesi, "belirtilmemiş ancak sabit" sayıda argüman anlamına gelir. Sabit, fonksiyonu her seferinde aynı sayıda argümanla çağırmanız gerektiği anlamına gelir ( numara ve türün her çağrı için değişebileceği gibi değişken bir fonksiyonun aksine printf).

Birçok derleyici bu yapıyı teşhis edecektir; özellikle gcc -Wstrict-prototypessize "fonksiyon bildirimi bir prototip değildir" diyecektir. bir prototipe (özellikle C ++ ile zehirliyseniz!), ama değil. Bu eski bir stil K&R C dönüş tipi bildirimi.

Temel kural: Asla boş bir parametre listesi bildirimini boş bırakmayın, int func(void)özel olarak kullanın . Bu, K&R dönüş türü bildirimini uygun bir C89 prototipine dönüştürür. Derleyiciler mutlu, geliştiriciler mutlu, statik dama mutlu. C ++ Wfond tarafından yanlış yönlendirilenler, yabancı dil becerilerini kullanmaya çalıştıklarında ekstra karakterler yazmaları gerektiğinden, yanabilirler :-)

• Boş parametre listesi "herhangi bir argüman" anlamına gelir, dolayısıyla tanım yanlış değildir.
• Eksik tipin olduğu varsayılır int.

Ben bu yapılandırılmış uyarı / hata düzeyinde olsa eksik geçen herhangi bir yapı düşünürdüm, bu gerçek kod için izin olmak bir anlamı yoktur.

Bu var K & R tarzı işlev bildirimi ve tanım. C99 Standardından (ISO / IEC 9899: TC3)

Bölüm 6.7.5.3 Fonksiyon Bildiricileri (prototipler dahil)

Tanımlayıcı listesi, yalnızca işlevin parametrelerinin tanımlayıcılarını bildirir. Bir işlev bildirimindeki, o işlevin tanımının bir parçası olan boş bir liste, işlevin parametresinin olmadığını belirtir. Bir işlev bildirimindeki, o işlevin tanımının bir parçası olmayan boş liste, parametrelerin sayısı veya türleri hakkında hiçbir bilgi sağlanmadığını belirtir. (Her iki işlev türü de "eski stil" ise, parametre türleri karşılaştırılmaz.)

Bölüm 6.11.6 Fonksiyon bildiricileri

Boş parantezli işlev bildiricilerin kullanımı (prototip biçimli parametre türü bildiriciler değil) eskimiş bir özelliktir.

Bölüm 6.11.7 İşlev tanımları

Fonksiyon tanımlarının ayrı parametre tanımlayıcıları ve bildirim listeleriyle (prototip formatı parametre tipi ve tanımlayıcıları değil) kullanılması eskimiş bir özelliktir.

Eski tarz K&R demek tarzı

Misal:

Beyan: int old_style();

Tanım:

int old_style(a, b)
    int a; 
    int b;
{
     /* something to do */
}

C int, işlev dönüş türü ve parametre listesinde herhangi bir tür belirtilmediğini varsayar . Sadece bu kural için garip şeyler takip etmek mümkündür.

İşlev tanımı şuna benzer.

int func(int param) { /* body */}

Eğer bir prototip yazıyorsanız

int func(int param);

Prototipte sadece parametre türünü belirleyebilirsiniz. Parametrelerin adı zorunlu değildir. Yani

int func(int);

Ayrıca parametre türünü belirtmezseniz ancak ad tür intolarak kabul edilirse .

int func(param);

Daha ileri giderseniz, takip etmek de işe yarar.

func();

Derleyici int func()yazdığınızı varsayar func(). Ama func()bir işlev gövdesi içine koymayın . Bu bir işlev çağrısı olacak

@Krishnabhadra'nın belirttiği gibi, diğer kullanıcılardan önceki tüm yanıtların doğru bir yorumu var ve sadece bazı noktaların daha ayrıntılı bir analizini yapmak istiyorum.

ANSI-C'de olduğu gibi Old-C'de " türlenmemiş resmi parametre ", 8bit MPU'da çalışma kaydınızın veya talimat derinliği kapasitesinin (gölge kayıtları veya talimat birikimli döngüsü) boyutlarını alın 16bit'te bir int16 olacaktır MPU ve benzeri bir int16 vb. Olacaksa, 64bit mimariler aşağıdaki gibi seçenekleri derlemeyi seçebilir: -m32.

Yüksek düzeyde daha basit bir uygulama gibi görünse de, birden fazla parametreyi geçmek için, kontrol dimencion veri tipi adımında programcının çalışması daha zorlu hale gelir.

Diğer durumlarda, bazı mikroişlemci mimarileri için özelleştirilmiş ANSI derleyicileri, kodun kullanımını optimize etmek için bu eski özelliklerden bazılarını kullandı ve bu "türlenmemiş resmi parametrelerin" konumunu çalışma kaydının içinde veya dışında çalışmaya zorladı, bugün neredeyse "uçucu" ve "kayıt" kullanımı ile aynıdır.

Ancak en modern derleyicilerin, iki tür parametre bildirimi arasında herhangi bir ayrım yapmadığı unutulmamalıdır.

Linux altında gcc ile derleme örnekleri:

 
Her durumda, prototipin yerel olarak ifadesinin bir faydası yoktur, çünkü bu prototipe referans veren parametreler olmadan çağrı yapılmayacaktır. Sistemi "türlenmemiş resmi parametre" ile kullanıyorsanız, harici bir çağrı için, bildirici bir prototip veri türü oluşturmaya devam edin.

Bunun gibi:

int myfunc(int param);

Parametre türüyle ilgili olarak, burada zaten doğru cevaplar var, ancak derleyiciden duymak istiyorsanız bazı bayraklar eklemeyi deneyebilirsiniz (bayraklar her zaman zaten her zaman iyi bir fikirdir).

kullanarak program derleme gcc foo.c -Wextraolsun:

foo.c: In function ‘func’:
foo.c:5:5: warning: type of ‘param’ defaults to ‘int’ [-Wmissing-parameter-type]

garip bir şekilde -Wextrabunu yakalamıyor clang(bir -Wmissing-parameter-typenedenden dolayı, belki de yukarıda bahsedilen tarihi olanlar için tanımıyor ) ama -pedantic:

foo.c:5:10: warning: parameter 'param' was not declared, 
defaulting to type 'int' [-pedantic]
int func(param)
         ^
1 warning generated.

Ve yine yukarıda belirtildiği gibi prototip sorunu için, int func()bunu açıkça beklediğiniz gibi tanımlayamazsanız, rastgele parametreleri ifade eder int func(void):

foo.c: In function ‘func’:
foo.c:6:1: error: number of arguments doesn’t match prototype
foo.c:3:5: error: prototype declaration
foo.c: In function ‘main’:
foo.c:12:5: error: too many arguments to function ‘func’
foo.c:5:5: note: declared here

veya clangşu şekilde:

foo.c:5:5: error: conflicting types for 'func'
int func(param)
    ^
foo.c:3:5: note: previous declaration is here
int func(void);
    ^
foo.c:12:20: error: too many arguments to function call, expected 0, have 1
    int bla = func(10);
              ~~~~ ^~
foo.c:3:1: note: 'func' declared here
int func(void);
^
2 errors generated.

İşlev bildiriminde herhangi bir parametre yoksa boş ise, belirtilmemiş sayıda argüman alıyor demektir. Herhangi bir argüman almamasını istiyorsanız, bunu şu şekilde değiştirin:

int func(void);

Bu yüzden insanlar genellikle kodlarını derlemek için tavsiye:

cc -Wmissing-variable-declarations -Wstrict-variable-declarations -Wold-style-definition

Bu bayraklar birkaç şeyi zorlar:

• -Wmissing-değişken-bildirimleri: Önce bir prototip almadan statik olmayan bir işlevi bildirmek imkansızdır. Bu, bir başlık dosyasındaki bir prototipin gerçek tanımla eşleşmesi olasılığını artırır. Alternatif olarak, genel olarak görünür olması gerekmeyen işlevlere statik anahtar sözcüğü eklemenizi zorunlu kılar.
• -Wstrict-değişken-bildirimleri: Prototip argümanları düzgün bir şekilde listelemelidir.
• -Wold-style-definition: İşlev tanımının kendisi de bağımsız değişkenleri düzgün bir şekilde listelemelidir.

Bu bayraklar ayrıca birçok Açık Kaynak projesinde varsayılan olarak kullanılır. Örneğin, FreeBSD, Makefile'nizde WARNS = 6 ile oluştururken bu bayrakları etkinleştirmiştir.