Mengapa suatu fungsi tanpa parameter (dibandingkan dengan definisi fungsi sebenarnya) dikompilasi?

Saya baru saja menemukan kode C seseorang yang saya bingung mengapa kompilasi. Ada dua hal yang saya tidak mengerti.

Pertama, prototipe fungsi tidak memiliki parameter dibandingkan dengan definisi fungsi yang sebenarnya. Kedua, parameter dalam definisi fungsi tidak memiliki tipe.

#include <stdio.h>

int func();

int func(param)
{
    return param;
}

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

Mengapa ini bekerja? Saya telah mengujinya di beberapa kompiler, dan itu berfungsi dengan baik.

Semua jawaban lainnya benar, tetapi hanya untuk penyelesaian

Suatu fungsi dideklarasikan dengan cara berikut:

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

tipe-kembali adalah tipe variabel yang fungsi kembali. Ini tidak bisa menjadi tipe array atau tipe fungsi. Jika tidak diberikan, maka int diasumsikan .

function-name adalah nama fungsi.

parameter-list adalah daftar parameter yang fungsinya dipisahkan oleh koma. Jika tidak ada parameter yang diberikan, maka fungsi tidak mengambil apa pun dan harus didefinisikan dengan seperangkat tanda kurung kosong atau dengan kata kunci batal. Jika tidak ada tipe variabel di depan variabel dalam daftar paramater, maka int diasumsikan . Array dan fungsi tidak diteruskan ke fungsi, tetapi secara otomatis dikonversi ke pointer. Jika daftar diakhiri dengan elipsis (, ...), maka tidak ada jumlah parameter yang ditetapkan. Catatan: header stdarg.h dapat digunakan untuk mengakses argumen saat menggunakan elipsis.

Dan lagi demi kelengkapan. Dari spesifikasi C11 6: 11: 6 (halaman: 179)

The Penggunaan declarators fungsi dengan tanda kurung kosong (tidak prototipe format jenis parameter declarators) adalah fitur usang .

Dalam C func()berarti Anda dapat melewati sejumlah argumen. Jika Anda tidak ingin argumen maka Anda harus menyatakan sebagai func(void). Jenis yang Anda berikan ke fungsi Anda, jika tidak ditentukan secara default int.

int func();adalah deklarasi fungsi usang dari hari-hari ketika tidak ada standar C, yaitu hari-hari K&R C (sebelum 1989, tahun standar "ANSI C" pertama diterbitkan).

Ingat bahwa tidak ada prototipe dalam K&R C dan kata kunci voidbelum ditemukan. Yang bisa Anda lakukan adalah memberi tahu kompiler tentang jenis kembali fungsi. Daftar parameter kosong dalam K&R C berarti jumlah argumen yang "tidak ditentukan tapi tetap". Tetap berarti bahwa Anda harus memanggil fungsi dengan sama jumlah args setiap kali (sebagai lawan dari variadic fungsi seperti printf, di mana jumlah dan jenis dapat bervariasi untuk setiap panggilan).

Banyak kompiler akan mendiagnosis konstruk ini; khususnya gcc -Wstrict-prototypesakan memberi tahu Anda "deklarasi fungsi bukan prototipe", yang tepat, karena terlihat seperti prototipe (terutama jika Anda diracuni oleh C ++!), tetapi tidak. Ini adalah deklarasi tipe pengembalian K&R gaya lama.

Aturan praktis: Jangan pernah biarkan deklarasi daftar parameter kosong, gunakan int func(void)untuk lebih spesifik. Ini mengubah deklarasi tipe pengembalian K&R menjadi prototipe C89 yang tepat. Kompiler senang, pengembang senang, dam statis senang. Mereka yang disesatkan oleh ^ W ^ Wfond dari C ++ mungkin merasa ngeri, karena mereka perlu mengetikkan karakter tambahan ketika mereka mencoba melatih kemampuan bahasa asing mereka :-)

• Daftar parameter kosong berarti "argumen apa pun", sehingga definisi tersebut tidak salah.
• Jenis yang hilang diasumsikan int.

Saya akan menganggap bangunan apa pun yang melewati ini kurang dalam tingkat peringatan / kesalahan yang dikonfigurasi, tidak ada gunanya menjadi ini memungkinkan untuk kode aktual.

Ini adalah deklarasi dan definisi fungsi gaya K&R . Dari C99 Standard (ISO / IEC 9899: TC3)

Bagian 6.7.5.3 Deklarator Fungsi (termasuk prototipe)

Daftar pengidentifikasi hanya menyatakan pengidentifikasi parameter fungsi. Daftar kosong di deklarator fungsi yang merupakan bagian dari definisi fungsi yang menentukan bahwa fungsi tidak memiliki parameter. Daftar kosong dalam deklarator fungsi yang bukan bagian dari definisi fungsi itu menentukan bahwa tidak ada informasi tentang jumlah atau jenis parameter yang disediakan. (Jika kedua tipe fungsi adalah "gaya lama", tipe parameter tidak dibandingkan.)

Bagian 6.11.6 Deklarator fungsi

Penggunaan deklarator fungsi dengan tanda kurung kosong (bukan deklarator tipe parameter format prototipe) adalah fitur usang.

Bagian 6.11.7 Definisi fungsi

Penggunaan definisi fungsi dengan pengidentifikasi parameter dan daftar deklarasi yang terpisah (bukan tipe parameter format prototipe dan deklarator pengidentifikasi) adalah fitur usang.

Yang gaya lama berarti K & R gaya

Contoh:

Pernyataan: int old_style();

Definisi:

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

C mengasumsikan intjika tidak ada tipe yang diberikan pada tipe pengembalian fungsi dan daftar parameter . Hanya untuk aturan ini mengikuti hal-hal aneh yang dimungkinkan.

Definisi fungsi terlihat seperti ini.

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

Jika ini prototipe yang Anda tulis

int func(int param);

Dalam prototipe Anda hanya dapat menentukan jenis parameter. Nama parameter tidak wajib. Begitu

int func(int);

Juga jika Anda tidak menentukan tipe parameter tetapi nama intdiasumsikan sebagai tipe.

int func(param);

Jika Anda melangkah lebih jauh, mengikuti pekerjaan juga.

func();

Compiler mengasumsikan int func()ketika Anda menulis func(). Tapi jangan dimasukkan ke func()dalam tubuh fungsi. Itu akan menjadi panggilan fungsi

Seperti yang dinyatakan @ Krishnabhadra, semua tanggapan sebelumnya dari pengguna lain, memiliki interpretasi yang benar, dan saya hanya ingin membuat analisis yang lebih rinci dari beberapa poin.

Dalam Old-C seperti dalam ANSI-C " parameter formal yang tidak diketik", ambil dimedion dari register kerja Anda atau kemampuan kedalaman instruksi (shadow register atau instruksi siklus kumulatif), dalam 8bit MPU, akan menjadi int16, dalam 16bit MPU dan seterusnya akan menjadi int16 dan seterusnya, dalam hal arsitektur 64bit dapat memilih untuk mengkompilasi opsi seperti: -m32.

Meskipun tampaknya implementasi lebih mudah pada level tinggi, Untuk melewati beberapa parameter, pekerjaan programmer dalam langkah kontrol tipe data dimencion, menjadi lebih banyak menuntut.

Dalam kasus lain, untuk beberapa arsitektur mikroprosesor, kompiler ANSI menyesuaikan, memanfaatkan beberapa fitur lama ini untuk mengoptimalkan penggunaan kode, memaksa lokasi "parameter formal yang tidak diketik" ini untuk bekerja di dalam atau di luar register kerja, hari ini Anda dapat hampir sama dengan penggunaan "volatile" dan "register".

Tetapi harus dicatat bahwa kompiler paling modern, tidak membuat perbedaan antara dua jenis pernyataan parameter.

Contoh kompilasi dengan gcc di linux:

 
Bagaimanapun pernyataan prototipe secara lokal tidak ada gunanya, karena tidak ada panggilan tanpa parameter referensi ke prototipe ini akan lalai. Jika Anda menggunakan sistem dengan "parameter formal yang tidak diketik", untuk panggilan eksternal, lanjutkan untuk menghasilkan tipe data prototipe deklaratif.

Seperti ini:

int myfunc(int param);

Mengenai tipe parameter, sudah ada jawaban yang benar di sini tetapi jika Anda ingin mendengarnya dari kompiler, Anda dapat mencoba menambahkan beberapa flag (flag hampir selalu merupakan ide yang bagus).

kompilasi program Anda menggunakan gcc foo.c -Wextrasaya dapatkan:

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

anehnya -Wextratidak menangkap ini karena clang(itu tidak mengenali -Wmissing-parameter-typekarena alasan tertentu, mungkin untuk yang historis yang disebutkan di atas) tetapi -pedantictidak:

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

Dan untuk masalah prototipe seperti dikatakan di atas int func()mengacu pada parameter arbitrer kecuali Anda secara khusus mendefinisikannya sebagai int func(void)yang kemudian akan memberi Anda kesalahan seperti yang diharapkan:

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

atau clangsebagai:

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.

Jika deklarasi fungsi tidak memiliki parameter yaitu kosong maka itu mengambil jumlah argumen yang tidak ditentukan. Jika Anda ingin membuatnya tidak perlu argumen maka ubah ke:

int func(void);

Inilah sebabnya saya biasanya menyarankan orang untuk mengkompilasi kode mereka dengan:

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

Bendera ini memberlakukan beberapa hal:

• -Wmissing-variable-declarations: Tidak mungkin untuk mendeklarasikan fungsi non-statis tanpa mendapatkan prototipe terlebih dahulu. Ini membuatnya lebih mungkin bahwa prototipe dalam file header cocok dengan definisi aktual. Atau, itu memaksa Anda menambahkan kata kunci statis ke fungsi yang tidak perlu terlihat secara publik.
• -Wstrict-variable-declarations: Prototipe harus mencantumkan argumen dengan benar.
• -Wold-style-definition: Definisi fungsi itu sendiri juga harus mencantumkan argumen dengan benar.

Bendera ini juga digunakan secara default di banyak proyek Open Source. Sebagai contoh, FreeBSD mengaktifkan flag-flag ini ketika membangun dengan WARNS = 6 di Makefile Anda.