Menavigasi TCProposals: Dari Pengendalian Ralat ke Iterator.range

Perjalanan Seorang Pelatih Melalui SpiderMonkey dan Peningkatan Enjin JavaScript

Kali pertama saya melihat cadangan Iterator.range dan algoritma di dalamnya, saya tidak pasti bahawa saya akan dapat menggodamnya. Sebagai penyumbang Outreachy, saya dan penyumbang lain akan menyumbang selama sebulan, dan kemudian seorang pelatih akan dipilih untuk mengusahakan cadangan/spesifikasi itu.

Mukadimah

Beberapa hari selepas tempoh sumbangan, saya telah diberikan tugasan yang ditetapkan kepada penyumbang Outreachy, tetapi yang paling penting, saya telah diberikan cadangan ErrorIsError TC39. 

Langkah pertama untuk melaksanakan cadangan TC39 dalam SpiderMonkey (Mozilla JavaScript Engine) ialah menambah keutamaan untuknya.
 
Ini membolehkan ciri didayakan atau dilumpuhkan pada masa jalan, yang penting, kerana kami tidak mahu mendayakan ciri secara lalai sehingga kami telah mengujinya cukup untuk yakin bahawa ia tidak akan menyebabkan masalah kepada pengguna kami. Dalam kes ini, kami membuat pilihan dan menetapkan nilai kepada palsu.

Seperti yang anda lihat, apabila dilaksanakan dengan JavaScript, cadangan itu agak mudah dan merupakan pelaksanaan awal. Walau bagaimanapun, semakan kod kembali dan adalah lebih baik untuk melaksanakan cadangan sebagai fungsi C asli yang merupakan proses pembelajaran untuk saya, baik dari segi sebab dan bekerja dengan C .

Semasa proses itu, kami menghadapi beberapa cabaran menarik yang melibatkan pembalut petak silang (CCW) dan semakan jenis intrinsik dalam enjin JavaScript. 

---

Isu dengan Pembungkus Merentas Petak dan Pemeriksaan ErrorObject

Apabila mengendalikan objek Ralat, fungsi IsErrorObject menentukan sama ada nilai yang diberikan ialah tika jenis ErrorObject. Walau bagaimanapun, kes kelebihan kritikal timbul apabila hujah ialah pembalut petak silang (CCW) untuk ErrorObject dari petak lain. Semakan IsErrorObject tidak mengambil kira CCW secara langsung, kerana ia mengaburkan objek asas.

Konteks Pelaksanaan: Dalam pemeriksaan jenis intrinsik pengendalian kod, fungsi intrinsic_IsInstanceOfBuiltin digunakan untuk menyemak sama ada objek adalah jenis tertentu. Walaupun ia berfungsi apabila digunakan pada nilai ini; dengan mengandaikan ia sudah dibuka; ia tidak mengendalikan hujah yang mungkin masih dibalut oleh CCW.

Penyelesaian yang Dicadangkan: Fungsi Native Khusus

Untuk menangani isu ini, penyelesaiannya melibatkan:
1. Menambah fungsi asli baharu: Fungsi asli khusus dicipta untuk mengendalikan CCW secara telus melalui:

• Membuka bungkus CCW.
• Menguji jika objek yang tidak dibalut adalah jenis ErrorObject.
• Mengesahkan jenis objek dalam satu operasi padu.

2. Mengeluarkan Kerumitan Dihoskan Sendiri:
Dengan melaksanakan fungsi baharu ini sebagai JSNative, kami boleh menyelaraskan proses, melaksanakan semua operasi dalam satu fungsi asli tanpa bergantung pada pembantu yang dihoskan sendiri.

Mengapa Pendekatan Ini?

Mengendalikan Sarung Bukan Objek: Fungsi baharu menyepadukan semakan sama ada nilai itu genap objek sebelum meneruskan untuk membukanya.
Memudahkan Penjajaran Spesifikasi: Memandangkan CCW ialah butiran pelaksanaan dan bukan sebahagian daripada spesifikasi JavaScript TC39, perubahan ini memastikan tingkah laku sejajar dengan spesifikasi sambil mengelakkan percanggahan.

---

Di atas terdiri daripada 45 baris kod, tidak termasuk dua fail ujian: satu untuk ujian terkumpul JIT (Just-In-Time) dan satu lagi untuk ujian/fail Test262. Walau bagaimanapun, melalui 45 baris kod tersebut, saya dapat:

• Ketahui di mana mesej ralat yang dipratentukan berada dalam pangkalan kod Mozilla dan cara menggunakannya. Ini terbukti berguna apabila saya perlu mentakrifkan mesej ralat untuk Iterator.range.
• Fahami binaan malam dan malam.
• Ketekalan kod: Sesuaikan kod saya untuk memenuhi spesifikasi TC39 dan elakkan trengkas untuk kod yang baru ditambah mengikut piawaian Mozilla.

Perkara yang Saya Sedang Kerjakan: Iterator.range

Selepas menyelami kerumitan pembalut rentas petak dan mempertingkatkan pengendalian ErrorObject semasa tempoh sumbangan Outreachy saya, saya mengalihkan perhatian saya kepada sesuatu yang sama menarik: cadangan Iterator.range untuk Mozilla Outreachy Internship saya.

Bagi mereka yang tidak dikenali, Iterator.range ialah tambahan kepada cadangan TC39 untuk JavaScript, bertujuan untuk menjadikan iterator lebih serba boleh. Kaedah ini memperkenalkan cara yang cekap untuk menjana julat nilai, yang boleh berguna terutamanya dalam pengaturcaraan harian, seperti mengulangi urutan nombor atau mencipta gelung berasaskan langkah.
Konsep itu sendiri mungkin kelihatan mudah; menjana satu siri nilai dari titik mula hingga titik akhir, tetapi melaksanakannya dalam SpiderMonkey terbukti sebagai satu cabaran yang sangat baik.

Berbeza dengan kerja ErrorObject sebelumnya, yang melibatkan pengendalian operasi abstrak dan fungsi C asli, Iterator.range memerlukan kajian mendalam tentang cara iterator JavaScript berfungsi secara dalaman dan cara SpiderMonkey menyepadukan ciri ini pada peringkat enjin.

Apabila saya mula bekerja pada Iterator.range, pelaksanaan awal - sama dengan apa yang saya lakukan untuk cadangan ErrorIsError telah dilakukan, iaitu; menambah keutamaan untuk cadangan dan menjadikan binaan boleh diakses dalam shell JavaScript.

Range Iterator.range hanya mengembalikan palsu, stub yang menunjukkan bahawa pelaksanaan sebenar Iterator.range sedang dibangunkan atau tidak dilaksanakan sepenuhnya, di mana saya masuk.

Sebagai permulaan, saya mencipta fungsi CreateNumericRangeIterator yang mewakilkan kepada fungsi Iterator.range. Selepas itu, saya melaksanakan tiga langkah pertama dalam fungsi Iterator.range.
Seterusnya, saya memulakan pembolehubah dan parameter untuk jenis data NUMBER-RANGE dalam fungsi CreateNumericRangeIterator.

Saya menumpukan pada melaksanakan jujukan yang meningkat sebanyak satu, seperti Iterator.range(0, 10). Saya juga mengemas kini fungsi CreateNumericRangeIterator untuk menggunakan IteratorRangeGenerator (yang mengendalikan langkah 18 spesifikasi Cadangan Julat) dengan hujah yang sesuai, menjajarkan dengan Langkah 19 spesifikasi dan menambah ujian untuk mengesahkan kefungsiannya.
Minggu ini, saya meneroka cara menetapkan prototaip dengan betul untuk penjana yang dikembalikan oleh Iterator.range. 

Kerja saya untuk beberapa minggu/bulan akan datang termasuk, tetapi tidak terhad kepada:

• Tetapkan prototaip yang betul untuk penjana yang dikembalikan oleh Iterator.range.
• Sokong BigInt dalam Iterator.range.
• Sokong jujukan lain, kerana saya hanya meliputi jujukan yang meningkat satu buat masa ini.
• Tambahkan ujian yang mencukupi untuk perkara di atas.

Anda juga mungkin suka:

Menyahkod Sumber Terbuka: Perbendaharaan Kata yang Saya Pelajari dalam Perjalanan Jangkauan Saya

Mahu Latihan Jauh Bekerja pada Perisian Percuma?

Atas ialah kandungan terperinci Menavigasi TCProposals: Dari Pengendalian Ralat ke Iterator.range. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!