Prompt dan Skop
Anda mesti merentasi pepohon atau strim fail yang berpotensi sangat besar dan menghasilkan nilai hanya apabila pengguna (consumer) meminta nilai seterusnya. Anda tidak boleh menzahirkan (materialize) semua hasil dalam ingatan. Gunakan C++23 std::generator sebagai julat malas (lazy range), terangkan co_yield, pengecualian, dan jangka hayat, serta bandingkan alternatif.
Soalan pengekodan ini memfokuskan pada pemegang korutin (coroutine handles), semantik julat input (input-range), dan sempadan sumber. Andaikan satu urutan (thread), satu rentasan ke hadapan, dan objek luaran yang dirujuk kekal wujud lebih lama daripada rentasan tersebut.
Perkara yang Dinilai oleh Penemu Duga
- Sama ada anda membezakan penjanaan malas, bekas yang dizahirkan, dan
viewsbiasa. - Sama ada anda memahami perkara yang berlaku pada lelaran pertama, setiap
++, penyiapan, dan pemusnahan. - Sama ada anda mengesan risiko jangka hayat untuk pemboleh ubah tempatan, objek sementara, rujukan, dan sumber tak segerak (asynchronous).
- Sama ada anda menerangkan perambatan pengecualian, henti awal, dan kos rekursif
elements_of. - Sama ada saiz data, pendam item pertama (first-item latency), puncak ingatan, dan keperluan guna semula mendorong pemilihan tersebut.
Soalan Penjelasan Sebelum Menjawab
- Adakah pengguna jenis pas tunggal (single-pass) atau memerlukan penggunaan semula? Pas tunggal menyokong penjana; penggunaan semula mungkin menyokong bekas.
- Adakah elemen merupakan nilai, rujukan, atau paparan (views)? Rujukan mengelakkan salinan tetapi melanjutkan keperluan jangka hayat.
- Adakah penjanaan menyekat pada I/O, menunggu peristiwa, atau merentasi urutan?
std::generatoradalah segerak dan tidak menjadualkan kerja tak segerak. - Adakah capaian rawak,
size, atau algoritma selari diperlukan? Julat input biasanya tidak menyediakannya. - Apakah yang berlaku apabila rentasan berhenti awal? Pemegang fail, kunci (locks), dan penimbal memerlukan pemilik yang jelas dan laluan pembersihan.
Rangka Kerja Jawapan 30 Saat
Saya memodelkan penjana sebagai julat input ke hadapan yang segerak. co_yield digantung pada setiap elemen; menokok pengguna akan menyambung semula korutin sehingga hasil (yield), pulangan (return), atau pengecualian seterusnya. Ia sesuai untuk hasil besar yang digunakan sekali dan perlu menghasilkan item pertama dengan cepat. Untuk capaian rawak, rentasan berulang, atau I/O tak segerak merentas urutan, saya memilih vector, talian paip paparan (view pipeline), atau strim tak segerak, selepas memeriksa jangka hayat sumber dan sumber daya.
Panduan Mendalam Langkah demi Langkah
1. Tetapkan julat dan pemilikan
std::generator<T> ialah julat korutin segerak C++23. Memanggil fungsi penjana secara amnya mencipta keadaan korutin; pelaksanaan bermula semasa lelaran. Penjana memiliki bingkainya, yang dilepaskan apabila lelaran tamat atau penjana dimusnahkan. Jangan sekali-kali mengembalikan rujukan kepada bekas tempatan; pemanggil atau pemilik luaran mesti memastikan objek yang dirujuk kekal hidup.
2. Kekalkan set kerja malar dengan co_yield
#include <generator>
std::generator<int> range(int first, int last) {
for (int value = first; value < last; ++value) {
co_yield value;
}
}
void consume() {
for (int value : range(0, 1'000'000)) {
if (value == 10) break;
}
}Kod ini tidak membina satu juta elemen terlebih dahulu; setiap penyambungan semula mara ke co_yield seterusnya. break memusnahkan lelaran dan penjana, jadi bingkai korutin tidak boleh digunakan semula. Sahkan sokongan C++23 terhadap versi pustaka piawai dan penyusun yang dipilih.
3. Bandingkan empat pelaksanaan
Mengembalikan vector adalah paling mudah dan menyokong saiz, capaian rawak, dan penggunaan semula, tetapi menzahirkan segala-galanya. Panggilan balik memberi kawalan kepada pengeluar tetapi sukar digubah dengan penyesuai julat. Lelaran input tulisan tangan berfungsi sebelum C++23 tetapi mesti mengekalkan keadaan, penamat, dan peraturan pengecualian. std::views sesuai untuk transformasi tanpa keadaan (stateless) ke atas julat sedia ada; penjana sesuai untuk mesin keadaan, rentasan rekursif, atau logik yang hanya perlu mara apabila ditarik.
4. Kendalikan rekursi dan rujukan
Penjelajahan pepohon boleh menggubah penjana anak dengan elements_of dan bukannya gelung bersarang, tetapi ukur kedalaman, kiraan bingkai korutin, dan laluan pengecualian. Jika menghasilkan std::string_view atau rujukan nod, rentetan sumber dan nod mesti kekal sah untuk keseluruhan rentasan. Jangan sekali-kali menghasilkan paparan ke dalam rentetan sementara atau menyimpan penjana melebihi jangka hayat pemilik sumber.
5. Kendalikan pengecualian, henti awal, dan sumber
Pengecualian dalam penjana sampai kepada pengguna apabila lelaran disambung semula; pengguna memutuskan sama ada untuk merekodkan log, mencuba semula, atau berhenti. break bukan komitmen peringkat perniagaan. Pemegang fail, kunci, dan penimbal sementara mestilah objek RAII dalam bingkai penjana dan dilepaskan semasa pemusnahan. Ini adalah segerak; co_yield tidak menunggu rangkaian atau menukar I/O menyekat kepada kerja tak segerak.
6. Simpulkan dengan penanda aras sempadan
Uji julat kosong dan satu elemen, julat besar, kedalaman rekursi, pembatalan pengecualian, dan rujukan yang tidak sah. Bandingkan vector, penjana, dan talian paip paparan pada pendam item pertama, masa jalanan penuh, puncak RSS, peruntukan, kebolehulangan, dan pembersihan selepas pembatalan. Perkenalkan kerumitan korutin hanya apabila penggunaan satu pas dan kekangan ingatan menjadikan manfaat malas itu ketara.
Contoh Jawapan Berkualiti Tinggi
Saya memilih std::generator apabila hasilnya besar, digunakan sekali mengikut urutan, dan pengeluaran boleh dijeda selepas setiap item. Memanggil penjana mencipta keadaan korutin; lelaran menyambung semulanya sehingga co_yield seterusnya, jadi pengguna menerima nilai pertama lebih awal tanpa menzahirkan keseluruhan hasil.
Saya menetapkan pemilikan secara eksplisit: pepohon sumber, fail, dan rentetan hidup lebih lama daripada penjana, manakala pemegang korutin dan sumber sementara menggunakan RAII. Saya mengembalikan vector untuk capaian rawak, saiz, atau rentasan berulang; menggunakan views untuk transformasi tulen ke atas julat sedia ada; dan menggunakan abstraksi strim tak segerak untuk menunggu rangkaian atau kerja merentas urutan. Saya menanda aras input kosong, henti awal, pengecualian, rekursi dalam, dan input besar, membandingkan pendam item pertama, puncak ingatan, daya pemprosesan, dan pembersihan sebelum menerima kos semantik.
Kesilapan Lazim
Menganggap penjana sebagai strim tak segerak
Ia adalah segerak dan tidak boleh menunggu (await) rangkaian. Gunakan masa jalanan tak segerak dan antara muka strim tak segerak yang eksplisit sebaliknya.
Mengembalikan rujukan atau paparan kepada pemboleh ubah tempatan
Pemboleh ubah tempatan boleh mati semasa korutin digantung. Biarkan pemilik merangkumi keseluruhan rentasan atau hasilkan nilai.
Menganggap break menyelesaikan pembersihan perniagaan
Henti awal menamatkan lelaran, bukan transaksi luaran. Gunakan pembersihan RAII dan semantik pembatalan eksplisit.
Hanya mengukur masa jalanan penuh
Julat malas mungkin menang pada pendam item pertama dan puncak ingatan. Ukur juga item pertama, RSS, peruntukan, dan kebolehulangan.
Soalan Susulan dan Maklum Balas
Susulan 1: Bolehkah penjana digunakan secara selari?
Satu penjana input biasanya merupakan mesin keadaan satu arah dan tidak boleh ditokok oleh berbilang urutan. Bahagikan input atau cipta penjana bebas dan tentukan susunan gabungan.
Susulan 2: Bagaimanakah anda merentasi pepohon yang sangat dalam?
Gubah penjana anak dengan elements_of tetapi ukur bingkai dan kedalaman. Untuk kedalaman tanpa batas, tindanan (stack) eksplisit menjadikan had ingatan dan pembatalan lebih jelas kelihatan.
Susulan 3: Bagaimana jika pengguna menyimpan rujukan elemen?
Dokumenkan kesahihan sehingga tokokan seterusnya atau pemusnahan penjana melainkan pemilik luaran memastikan sumber kekal hidup. Salin nilai atau pindahkan pemilikan untuk penyimpanan jangka panjang.
Susulan 4: Bagaimana jika projek C++20 tidak mempunyai std::generator?
Gunakan penjana projek atau pembungkus lelaran input, atau kembalikan paparan, tetapi tentukan kontrak pemilikan, penamat, dan pengecualian. Menamakan semula sintaks C++23 tidak mencipta semula semantiknya.