Inferensi Tipe vs Tipe Eksplisit

Saat mengikat suatu nilai, Zig dapat menentukan tipenya untuk Anda, atau Anda dapat menuliskannya secara eksplisit. Keduanya mengandalkan sistem tipe Zig yang kuat dan statis.

Jika nilai sudah membuat tipenya jelas, biarkan Zig menginferensikannya. const name = "Ada" jelas merupakan teks, sehingga anotasi tidak diperlukan.

Untuk menyatakan tipe sendiri, tulislah titik dua lalu tipe setelah nama. Inilah cara menetapkan lebar bilangan bulat yang tepat.

Literal bilangan bulat yang diinferensikan menjadi comptime_int sampai Anda menggunakannya. Saat ditempatkan pada suatu slot, Zig mengonversinya ke lebar yang diperlukan.

Terkadang nilai saja tidak cukup. Var yang dimulai dari 0 memerlukan tipe eksplisit agar Zig tahu apakah tipenya u8 atau i64.

3.14 tanpa anotasi adalah comptime_float. Beri anotasi untuk memilih f32 atau f64 saat presisi dan ukuran memori benar-benar penting bagi Anda.

Saat tipe sudah jelas dari konteks, menghilangkannya membuat baris tetap rapi. Beri anotasi hanya jika benar-benar menambah kejelasan atau diwajibkan.

Tetapkan 5 ke slot u16 dan literal tersebut akan sesuai secara otomatis. Zig melakukan koersi yang aman menuju tipe yang dideklarasikan jika memungkinkan.

Pada tanda tangan fungsi dan struktur data, tipe selalu eksplisit. Inferensi adalah kemudahan lokal, bukan cara untuk melewati deklarasi.

Zig tidak akan diam-diam mengubah float menjadi int untuk Anda. Tipe yang tidak cocok menimbulkan error, sehingga perilaku numerik tetap dapat diprediksi.

Inferensikan saat nilai sudah menjelaskan dirinya sendiri; beri anotasi saat tipe merupakan informasi yang diperlukan pembaca. Biarkan kejelasan menentukan pilihan.

Anda telah melihat bahwa Zig dapat menginferensikan tipe dari nilai yang jelas, atau Anda dapat memberi anotasi dengan titik dua. Biarkan kejelasan dan kebutuhan menentukan mana yang digunakan. 🎯