Apa Itu Trait?

Terkadang banyak tipe memerlukan kemampuan yang sama, seperti dapat dicetak. Sebuah trait memungkinkan Anda menjelaskan perilaku bersama tersebut satu kali. 🤝

Anggaplah trait sebagai kontrak: trait mencantumkan metode yang harus disediakan oleh suatu tipe, tanpa menjelaskan cara kerjanya.

Jika Anda pernah menggunakan antarmuka dalam bahasa lain, trait memiliki gagasan yang sama. Trait hanya mencantumkan metode yang diwajibkan, dan tidak lebih.

Anda mendeklarasikan trait dengan kata kunci trait, lalu mencantumkan tanda tangan metode di dalamnya, mirip seperti pada struct.

Badan ... menandai metode sebagai wajib, tetapi belum diimplementasikan. Trait menjamin bahwa metode tersebut ada, bukan apa yang dilakukannya.

Trait biasanya hanya berisi tanda tangan. Logika sebenarnya berada dalam setiap tipe yang setuju mengikuti kontrak tersebut.

Trait memungkinkan Anda menulis kode berdasarkan suatu kemampuan, bukan tipe tertentu. Tipe apa pun yang memenuhi trait dapat langsung digunakan.

Dog dan Robot sama-sama dapat berjanji untuk menyapa. Keduanya menggunakan trait yang sama, sambil mempertahankan bagian internal yang sepenuhnya berbeda.

Struct tidak memiliki pewarisan bergaya class, sehingga trait adalah cara Mojo membagikan perilaku. Trait menjelaskan apa yang tersedia, bukan tipe dasar.

Mojo memverifikasi kesesuaian dengan trait pada waktu kompilasi. Jika suatu tipe tidak memiliki metode yang diwajibkan, proses build gagal lebih awal.

Trait adalah dasar bagi kode Mojo generik. Kuasai gagasan tentang kontrak ini, lalu Anda akan mempelajari fungsi yang dapat digunakan ulang dan aman terhadap tipe. 🧱

Trait adalah kontrak berisi metode yang diwajibkan. Trait menjelaskan perilaku bersama agar banyak tipe dapat digunakan dengan cara yang sama. 🎯