Mengapakah Fungsi C Tanpa Pernyataan `return` Eksplisit Disusun Tanpa Ralat?

Fungsi Mengembalikan Nilai Tidak Ditakrifkan dalam C

Dalam coretan kod yang telah muncul dalam perpustakaan, fungsi bernama Min ditakrifkan seperti berikut:

static tvec4 Min(const tvec4& a, const tvec4& b, tvec4& out)
{
    tvec3::Min(a,b,out);
    out.w = min(a.w,b.w);
}

Tidak dijangka, fungsi ini menyusun tanpa ralat walaupun tidak mengembalikan nilai, kerana jenis pemulangannya tidak diisytiharkan secara eksplisit sebagai batal.

Menurut piawaian draf C 11, seksyen 6.6.3, tingkah laku ini tidak ditentukan. Piawaian menyatakan bahawa "mengalir keluar dari hujung fungsi adalah bersamaan dengan pulangan tanpa nilai" dan bahawa "ini mengakibatkan tingkah laku tidak ditentukan dalam fungsi mengembalikan nilai."

Dalam senario ini, pengkompil ialah tidak bertanggungjawab untuk memberikan ralat atau amaran kerana mungkin sukar untuk mendiagnosis isu dengan tepat dalam semua kes.

Walau bagaimanapun, dengan -Bendera dinding, kedua-dua GCC dan Clang boleh digesa untuk menjana amaran yang serupa dengan:

warning: control reaches end of non-void function [-Wreturn-type]

Untuk menukar amaran ini kepada ralat, memastikan tahap kualiti kod yang lebih tinggi, -Werror=return-type bendera boleh digunakan. Selain itu, bendera -Wextra -Wconversion -pedantic disyorkan untuk pengesanan ralat menyeluruh.

Dalam Visual Studio, kod yang disebutkan di atas akan mencetuskan ralat C4716:

error C4716: 'Min' : must return a value

Dalam kes yang tidak semua kod laluan mengembalikan nilai, amaran C4715 akan dikeluarkan.

Atas ialah kandungan terperinci Mengapakah Fungsi C Tanpa Pernyataan `return` Eksplisit Disusun Tanpa Ralat?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!