


Adakah Rantaian Fungsi dalam \'Bahasa Pengaturcaraan C\' Menunjukkan Gelagat Tidak Ditentukan?
Oct 23, 2024 pm 06:19 PMAdakah Coretan Kod dalam "Bahasa Pengaturcaraan C" Menunjukkan Gelagat Tidak Ditakrifkan?
Kod C yang dipersoalkan, seperti yang disediakan oleh Bjarne Stroustrup dalam edisi ke-4 " Bahasa Pengaturcaraan C," menggunakan rantaian fungsi untuk mengubah suai rentetan:
<code class="cpp">void f2() { std::string s = "but I have heard it works even if you don't believe in it"; s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, ""); assert(s == "I have heard it works only if you believe in it"); }</code>
Kod ini menunjukkan rantaian operasi replace() untuk mengubah rentetan s. Walau bagaimanapun, telah diperhatikan bahawa kod ini mempamerkan gelagat yang berbeza merentas pelbagai penyusun, seperti GCC, Visual Studio dan Clang.
Analisis
Walaupun kod mungkin kelihatan mudah, ia melibatkan susunan yang tidak ditentukan penilaian, terutamanya untuk sub-ungkapan yang melibatkan panggilan fungsi. Walaupun ia tidak menimbulkan gelagat yang tidak ditentukan (memandangkan semua kesan sampingan berlaku dalam panggilan fungsi), ia menunjukkan gelagat yang tidak ditentukan.
Isu utama ialah susunan penilaian sub-ungkapan, seperti s.find( "genap") dan s.find("jangan"), tidak ditakrifkan secara eksplisit. Sub-ungkapan ini boleh dinilai sama ada sebelum atau selepas panggilan s.replace(0, 4, "") awal, yang boleh memberi kesan kepada keputusan.
Jika kita memeriksa susunan penilaian untuk coretan kod:
s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, "");
Kita dapat melihat bahawa sub-ungkapan berikut disusun secara tidak tentu (ditunjukkan oleh nombor dalam kurungan):
- s.replace(0, 4, "") (1)
- s.cari("genap") (2)
- s.gantikan(s.cari("genap"), 4, "sahaja") (3)
- s.cari(" jangan") (4)
- s.ganti(s.cari(" jangan"), 6, "") (5)
Ungkapan dalam setiap pasangan kurungan disusun (cth., 2 mendahului 3), tetapi ia boleh dinilai dalam susunan berbeza berbanding satu sama lain. Secara khusus, ketidakpastian terletak di antara ungkapan 1 dan 2, serta antara 1 dan 4.
Perbezaan Penyusun
Percanggahan yang diperhatikan dalam tingkah laku pengkompil boleh dikaitkan dengan susunan penilaian berbeza yang dipilih oleh setiap penyusun. Dalam sesetengah kes, panggilan replace() dinilai dengan cara yang menghasilkan gelagat yang dijangkakan, manakala dalam kes lain, tertib penilaian mengubah rentetan dengan cara yang tidak dijangka.
Untuk menggambarkan, pertimbangkan perkara berikut:
- Dalam sesetengah pelaksanaan, seperti Clang, replace(0, 4, "") dinilai sebelum find("even") dan find(" don't"). Ini memastikan bahawa panggilan ganti seterusnya beroperasi pada rentetan yang diubah suai, menghasilkan hasil yang betul.
- Dalam pelaksanaan lain, seperti GCC dan Visual Studio, cari("even") dan find(" don't") boleh dinilai sebelum menggantikan(0, 4, ""). Ini boleh membawa kepada hasil yang salah kerana panggilan carian beroperasi pada rentetan asal yang tidak diubah suai, berkemungkinan mencari kedudukan berbeza daripada yang dimaksudkan.
Tingkah Laku Ditentukan lwn. Tidak Ditentukan
Adalah penting untuk ambil perhatian bahawa kod ini tidak menggunakan gelagat yang tidak ditentukan. Tingkah laku tidak ditentukan biasanya melibatkan mengakses pembolehubah yang tidak dimulakan atau cuba mengakses memori di luar hadnya. Dalam kes ini, semua kesan sampingan berlaku dalam panggilan fungsi dan kod tersebut tidak mengakses lokasi memori yang tidak sah.
Walau bagaimanapun, kod tersebut mempamerkan gelagat yang tidak ditentukan, yang bermaksud susunan yang tepat bagi penilaian sub-ungkapan tidak ditakrifkan oleh piawaian C. Ini boleh membawa kepada hasil yang berbeza merentas penyusun yang berbeza atau bahkan menjalankan program yang sama yang berbeza.
Cadangan Perubahan
Jawatankuasa standard C telah mengiktiraf isu ini dan mencadangkan perubahan untuk memperhalusi susunan penilaian ungkapan untuk idiomatik C . Perubahan yang dicadangkan kepada [expr.call]p5 dalam C 20 menyatakan bahawa "ungkapan postfix disusun sebelum setiap ungkapan dalam senarai ungkapan dan sebarang argumen lalai", yang akan menghapuskan gelagat yang tidak ditentukan dalam kod ini.
Atas ialah kandungan terperinci Adakah Rantaian Fungsi dalam \'Bahasa Pengaturcaraan C\' Menunjukkan Gelagat Tidak Ditentukan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Alat AI Hot

Undress AI Tool
Gambar buka pakaian secara percuma

Undresser.AI Undress
Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover
Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Clothoff.io
Penyingkiran pakaian AI

Video Face Swap
Tukar muka dalam mana-mana video dengan mudah menggunakan alat tukar muka AI percuma kami!

Artikel Panas

Alat panas

Notepad++7.3.1
Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina
Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1
Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6
Alat pembangunan web visual

SublimeText3 versi Mac
Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

STD :: Chrono digunakan dalam C untuk memproses masa, termasuk mendapatkan masa semasa, mengukur masa pelaksanaan, titik masa operasi dan tempoh, dan masa analisis pemformatan. 1. Gunakan std :: chrono :: system_clock :: sekarang () untuk mendapatkan masa semasa, yang boleh ditukar menjadi rentetan yang boleh dibaca, tetapi jam sistem mungkin tidak membosankan; 2. Gunakan std :: chrono :: steady_clock untuk mengukur masa pelaksanaan untuk memastikan monoton, dan mengubahnya menjadi milisaat, saat dan unit lain melalui duration_cast; 3. Titik masa (time_point) dan tempoh (tempoh) boleh saling beroperasi, tetapi perhatian harus dibayar kepada keserasian unit dan zaman jam (Epoch)

Terdapat terutamanya kaedah berikut untuk mendapatkan jejak timbunan dalam C: 1. Gunakan fungsi backtrace dan backtrace_symbols pada platform Linux. Dengan memasukkan maklumat simbol panggilan dan percetakan, parameter -rdynamic perlu ditambah semasa menyusun; 2. Gunakan fungsi CaptureStackBackTrace pada platform Windows, dan anda perlu menghubungkan dbghelp.lib dan bergantung pada fail PDB untuk menghuraikan nama fungsi; 3. Gunakan perpustakaan pihak ketiga seperti GoogleBreakPad atau Boost.StackTrace untuk merentas platform dan memudahkan operasi menangkap stack; 4. Dalam Pengendalian Pengecualian, menggabungkan kaedah di atas untuk mengeluarkan maklumat timbunan secara automatik di blok tangkapan

Dalam C, jenis POD (Plainolddata) merujuk kepada jenis dengan struktur mudah dan serasi dengan pemprosesan data bahasa C. Ia perlu memenuhi dua syarat: ia mempunyai semantik salinan biasa, yang boleh disalin oleh memcpy; Ia mempunyai susun atur standard dan struktur memori boleh diramal. Keperluan khusus termasuk: Semua ahli bukan statik adalah awam, tiada pembina atau pemusnah yang ditentukan oleh pengguna, tiada fungsi maya atau kelas asas, dan semua ahli yang tidak statik sendiri adalah pod. Contohnya structpoint {intx; inty;} adalah pod. Kegunaannya termasuk I/O binari, Ceroperabilitas C, Pengoptimuman Prestasi, dan lain -lain. Anda boleh menyemak sama ada jenisnya adalah pod melalui std :: is_pod, tetapi disyorkan untuk menggunakan std :: is_trivia selepas c 11.

Untuk memanggil kod Python di C, anda mesti terlebih dahulu memulakan penterjemah, dan kemudian anda boleh mencapai interaksi dengan melaksanakan rentetan, fail, atau memanggil fungsi tertentu. 1. Inisialisasi penterjemah dengan py_initialize () dan tutupnya dengan py_finalize (); 2. Jalankan kod rentetan atau pyrun_simplefile dengan pyrun_simplefile; 3. Modul import melalui pyimport_importmodule, dapatkan fungsi melalui pyobject_getattrstring, bina parameter py_buildvalue, panggil fungsi dan proses kembali

Di C, terdapat tiga cara utama untuk lulus fungsi sebagai parameter: menggunakan penunjuk fungsi, std :: fungsi dan ekspresi lambda, dan generik templat. 1. Penunjuk fungsi adalah kaedah yang paling asas, sesuai untuk senario mudah atau antara muka C yang serasi, tetapi kebolehbacaan yang lemah; 2. STD :: Fungsi yang digabungkan dengan ekspresi lambda adalah kaedah yang disyorkan dalam moden C, menyokong pelbagai objek yang boleh dipanggil dan jenis selamat; 3. Kaedah generik templat adalah yang paling fleksibel, sesuai untuk kod perpustakaan atau logik umum, tetapi boleh meningkatkan masa penyusunan dan jumlah kod. Lambdas yang menangkap konteks mesti diluluskan melalui fungsi STD :: atau templat dan tidak boleh ditukar terus ke dalam penunjuk fungsi.

Anullpointerinc isaspecialvalueindicatingthatapointerdoesnotpointoanyanyvalidmemorylocation, anditisusedtosafelymanageandcheckpointersbeforedereferencing.1.beforec 11,0ornullwasused,

STD :: MOVE tidak benar -benar memindahkan apa -apa, ia hanya menukarkan objek ke rujukan RValue, memberitahu pengkompil bahawa objek itu boleh digunakan untuk operasi bergerak. Sebagai contoh, apabila tugasan rentetan, jika kelas menyokong semantik bergerak, objek sasaran boleh mengambil alih sumber objek sumber tanpa menyalin. Harus digunakan dalam senario di mana sumber perlu dipindahkan dan sensitif prestasi, seperti mengembalikan objek tempatan, memasukkan bekas, atau bertukar pemilikan. Walau bagaimanapun, ia tidak boleh disalahgunakan, kerana ia akan merosot ke dalam satu salinan tanpa struktur bergerak, dan status objek asal tidak ditentukan selepas pergerakan. Penggunaan yang sesuai apabila lulus atau mengembalikan objek boleh mengelakkan salinan yang tidak perlu, tetapi jika fungsi mengembalikan pembolehubah tempatan, pengoptimuman RVO mungkin sudah berlaku, sambil menambah STD :: MOVE boleh menjejaskan pengoptimuman. Terdedah kepada kesilapan termasuk penyalahgunaan objek yang masih perlu digunakan, pergerakan yang tidak perlu, dan jenis yang tidak boleh dimanfaatkan

Kunci kepada kelas abstrak ialah ia mengandungi sekurang -kurangnya satu fungsi maya murni. Apabila fungsi maya murni diisytiharkan di dalam kelas (seperti VirtualVoidDosomething () = 0;), kelas menjadi kelas abstrak dan tidak dapat secara langsung meniru objek, tetapi polimorfisme dapat direalisasikan melalui petunjuk atau rujukan; Jika kelas yang diperoleh tidak melaksanakan semua fungsi maya murni, ia juga akan kekal sebagai kelas abstrak. Kelas -kelas abstrak sering digunakan untuk menentukan antara muka atau tingkah laku bersama, seperti merancang kelas bentuk dalam melukis aplikasi dan melaksanakan kaedah cabutan () oleh kelas yang diperolehi seperti bulatan dan segi empat tepat. Senario yang menggunakan kelas abstrak termasuk: merancang kelas asas yang tidak boleh diterapkan secara langsung, memaksa pelbagai kelas berkaitan untuk mengikuti antara muka bersatu, menyediakan tingkah laku lalai, dan memerlukan subclass untuk menambah butiran. Di samping itu, c
