Zig tip: 'errdefer comptime unreachable;' akan memastikan pada waktu kompilasi bahwa sejak saat itu tidak ada yang bisa gagal. Ini adalah pola yang sangat penting karena 'errdefer' (pembersihan atas kesalahan) sering bergantung pada keadaan dunia tertentu dan ini menegaskannya. Contoh kasus penggunaan: Saya sedang mengerjakan fungsionalitas yang menerima beberapa data, menyiapkan banyak buffer, dan kemudian menukar buffer. Saya memiliki banyak 'errdefer' yang ditaburkan untuk membersihkan penyangga baru yang sedang dibangun. Tetapi setelah saya menukar buffer, 'errdefers' itu sekarang SALAH. Mereka akan menghasilkan double-free pada akhirnya. Jadi, tepat ketika saya menukar buffer, saya menempatkan 'errdefer comptime unreachable' dan komentar yang menjelaskan mengapa kesalahan pentingnya tidak dapat terjadi setelah itu. Jika saya membutuhkan kesalahan setelah itu, itu akan memaksa saya untuk meninjau kembali cara saya melakukan pembersihan kesalahan. Bagus sekali!