Pengaturcaraan shift-kiri (karat sebagai kajian kes)

Pengaturcaraan anjakan kiri adalah mengenai menangkap isu yang berpotensi seawal mungkin dalam kitaran hayat pembangunan perisian. Jika "ujian shift-left" bermaksud mengalihkan ujian lebih dekat dengan permulaan pembangunan, "shift-left programming" bermaksud memilih alat dan bahasa yang menangkap pepijat semasa anda menulis kod—bukan jam, hari, atau beberapa bulan kemudian apabila sudah terlambat dan kod anda sudah pun dikeluarkan, membuatkan semua orang panik pada pukul 2 pagi

Bahasa dinamik seperti ? Python, ? Perl dan ☕ JavaScript sangat fleksibel. Tetapi dengan fleksibiliti yang hebat datang ... ralat masa jalan yang hebat. Bahasa-bahasa ini seperti rakan yang berkata, "Tentu, saya akan mengendalikannya!" tetapi hanya mengakui mereka tidak tahu apa yang berlaku apabila anda sudah separuh jalan untuk bencana.

Sebaliknya, bahasa yang disusun seperti ? C, C , ☕ Jawa dan Karat adalah lebih ketat dan kurang memaafkan. Mereka ialah ibu bapa helikopter bahasa pengaturcaraan—mereka tidak akan membenarkan anda keluar sehingga bilik anda (kod) bersih. Contohnya:

• Dalam Perl, anda boleh menambah "42" (rentetan) kepada 42 (nombor), dan ia akan mengangkat bahu dan berkata, "Apa pun, matematik adalah matematik."
• Dalam Python, ia akan mengamuk, tetapi hanya pada masa jalan apabila ia menyedari anda cuba menambah epal dan oren.
• Dalam C atau Java, pengkompil tidak akan membiarkan anda menjalankan kod jika anda cuba mencampur jenis seperti itu.
• Dan Karat? Karat berada pada tahap yang berbeza. Profesor ultra ketat yang menyerahkan semula kod anda dengan pen merah sebelum anda boleh menyerahkannya.

Karat bukan sahaja menangkap jenis yang tidak sepadan—ia praktikal menjaga keseluruhan proses pengurusan ingatan anda. Lupakan penunjuk berjuntai atau keadaan perlumbaan; Karat tidak akan membenarkan anda menghimpun kod yang mempunyai potensi masalah keselamatan memori. Walaupun C mungkin melemparkan anda ke bahagian dalam kolam dengan "nasib baik!" Lambai, Rust berada di sana, sambil berkata, "Tunggu! Anda terlupa pelampung anda."

Namun, inilah perkaranya: Karat tidak akan menyelamatkan anda daripada semua kesilapan. Ia tidak akan menghalang anda daripada menambah apabila anda bermaksud untuk menolak atau menulis algoritma yang menyelesaikan sepenuhnya masalah yang salah. Tetapi ia akan melindungi anda daripada punca kegagalan bencana yang paling terkenal—seperti penolakan penunjuk nol, limpahan penimbal atau kebocoran memori.

Jadi, apakah yang menjadikan Rust sebagai bahasa pengaturcaraan anjakan kiri yang muktamad? Ia membolehkan anda menulis kod peringkat rendah yang pantas, cekap dan rendah (seperti ? dan C ) sambil menyediakan pagar yang menghalang jenis ralat yang akan menyebabkan anda berminggu-minggu penyahpepijatan—atau lebih teruk lagi, gangguan pengeluaran semasa jualan hari raya. Dengan Rust, anda menghabiskan lebih sedikit masa melawan pepijat ? dan lebih banyak ciri penghantaran masa.

Dan bahagian yang terbaik? Karat bukan hanya tentang keselamatan. Ia mengenai keyakinan. Anda menghantar kod yang anda tahu tidak akan mengkhianati anda. Ia seperti mempunyai anjing pengawal untuk pengurusan ingatan anda—mesra, melindungi dan bersedia untuk menyalak pada sebarang pepijat yang cuba menyelinap masuk.

Ringkasnya: Karat bukan sahaja mengalihkan pengaturcaraan ke kiri—ia meletakkannya pada autobahn.

Atas ialah kandungan terperinci Pengaturcaraan shift-kiri (karat sebagai kajian kes). Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!