Apakah Perbezaan Antara C \'Terbentuk Tidak Baik; Tiada Diagnostik Diperlukan\' dan Tingkah Laku Tidak Ditakrifkan?

Perbezaan antara Tingkah Laku Tidak Ditakrifkan dan Tidak Terbentuk, Tiada Diagnostik Diperlukan

Tidak dinafikan, piawaian C memperkenalkan pelbagai takrifan untuk tingkah laku yang dikategorikan sebagai "tidak jelas." Walau bagaimanapun, frasa "program ini tidak berbentuk; tiada diagnostik diperlukan" telah menimbulkan persoalan mengenai perbezaannya daripada kategori tingkah laku yang lain.

Mentakrifkan Tingkah Laku yang Berbentuk Baik dan Tidak Berbentuk:

Piawaian C mengklasifikasikan program sama ada berbentuk baik atau tidak berbentuk. Program yang dibentuk dengan baik mematuhi kedua-dua sintaks dan peraturan semantik yang boleh didiagnosis. Sebaliknya, program yang tidak berbentuk melanggar peraturan ini dan sepatutnya tidak disusun.

Tingkah Laku Tidak Ditentukan Pelaksanaan, Tidak Ditentukan dan Tidak Ditakrifkan:

Tingkah laku yang ditentukan pelaksanaan dan tidak ditentukan adalah berbeza daripada tingkah laku yang dibentuk dengan baik, tetapi ia tidak membayangkan kesilapan kod. Dalam kes terdahulu, pelaksanaan mesti mendokumenkan tindakan khususnya, manakala dalam kes yang kedua, tiada dokumentasi diperlukan. Tingkah laku yang tidak ditentukan, sebaliknya, membayangkan bahawa atur cara itu adalah salah, menurut 1.3.13.

Penyusun, Tingkah Laku Tidak Tertakrif dan Program Yang Tidak Berbentuk:

Walaupun istilah "erroneous" mencadangkan bahawa penyusun harus menamatkan kompilasi dengan mesej ralat, C standard membenarkan pengendalian senyap bagi tingkah laku yang tidak ditentukan. Terutamanya, penyusun selalunya tidak mengeluarkan amaran atau menamatkan penyusunan disebabkan oleh tingkah laku yang tidak ditentukan.

Program dan Keperluan Diagnostik yang Tidak Dibentuk:

Penggunaan "tiada diagnostik diperlukan" bersama-sama "berbentuk buruk" membentangkan paradoks. Jika atur cara yang tidak betul tidak boleh dikompilasi, maka membenarkan pengkompil mengabaikannya secara senyap akan berlawanan dengan intuitif. Walau bagaimanapun, piawaian secara eksplisit membenarkan kemungkinan ini.

Kesimpulan:

Perbezaan antara "tidak terbentuk; tiada diagnostik diperlukan" dan "tingkah laku tidak ditentukan" masih kabur. Walaupun mungkin terdapat perkaitan antara atur cara yang tidak betul dan kod yang salah dan tingkah laku yang tidak ditentukan dengan isu masa jalan, ini tidak selalu konsisten. Akhirnya, aspek "tiada diagnostik diperlukan" adalah yang terpenting, kerana ia mengatasi jangkaan penjanaan diagnostik dalam kes program yang tidak betul.

Atas ialah kandungan terperinci Apakah Perbezaan Antara C \'Terbentuk Tidak Baik; Tiada Diagnostik Diperlukan\' dan Tingkah Laku Tidak Ditakrifkan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!