Kumpulan Kesalahan Terinferensi

Menamai setiap kesalahan yang mungkin dikembalikan fungsi dapat merepotkan, terutama saat fungsi tersebut memanggil fungsi lain yang dapat gagal. Zig dapat menyimpulkan himpunannya.

Tulis saja !T tanpa apa pun sebelum tanda seru. Zig mempelajari isi fungsi dan menentukan setiap kesalahan yang dapat dihasilkannya.

Setiap try dan setiap kesalahan yang dikembalikan di dalam isi fungsi secara otomatis dikumpulkan menjadi satu himpunan kesalahan yang disimpulkan untuk fungsi tersebut.

Tambahkan pemanggilan yang dapat gagal nanti, dan himpunan yang disimpulkan akan bertambah untuk mencakupnya. Anda tidak akan lupa memperbarui daftar yang ditulis secara manual.

Jika fungsi Anda menggunakan try pada pemanggilan lain yang dapat gagal, kemungkinan kesalahan dari fungsi yang dipanggil tersebut juga digabungkan ke dalam himpunan yang disimpulkan.

Terkadang Anda menginginkan kontrak publik yang tetap. Menamai himpunan sebelum ! melarang kesalahan apa pun di luar himpunan tersebut, yang tidak dilakukan oleh penyimpulan.

Himpunan yang disimpulkan praktis dan memperbarui dirinya sendiri; himpunan eksplisit tepat dan stabil. Pilih berdasarkan apakah kontrak harus tetap tidak berubah.

Anda tetap dapat menalar error saat runtime. Dalam build debug, Zig menyimpan error return trace yang menunjukkan di mana kegagalan bermula.

Inferensi sangat berguna pada fungsi helper privat yang tidak memerlukan API publik yang ketat. Biarkan Zig menangani pencatatan administratif di sana.

Baik diinferensikan maupun ditulis secara eksplisit, setiap error tetap harus ditangani oleh pemanggil. Inferensi menghemat pengetikan, bukan keamanan; compiler tetap ketat.

Banyak fungsi Zig cukup menggunakan !T dan membiarkan inferensi bekerja. Gunakan himpunan bernama pada batas-batas yang ingin Anda tetapkan secara pasti.

Anda telah melihat himpunan error hasil inferensi melalui !T tanpa nama, cara himpunan tersebut berkembang mengikuti isi fungsi, serta kapan himpunan eksplisit menjadi pilihan yang lebih baik. ✅