استنتاج النوع

جزء من قسم Fundamentals في رحلة Rust على Coddy — الدرس 12 من 75.

في لغة Rust، يتيح استنتاج النوع (type inference) للمترجم استنتاج نوع المتغير تلقائيًا بناءً على قيمته واستخدامه. وهذا يعني أنك غالبًا لا تحتاج إلى تحديد النوع صراحةً عند التصريح عن متغير، مما يجعل الكود الخاص بك أكثر إيجازًا وأسهل في القراءة.

على سبيل المثال:

let x = 5;
// يستنتج Rust أن x هو i32

let y = 3.14;
// يستنتج Rust أن y هو f64

let message = "Hello, world!";
// يستنتج Rust أن message هو &str (سلسلة نصية)

let is_true = true;
// يستنتج Rust أن is_true هو bool

في هذه الأمثلة، لم نحدد أنواع x و y و message و is_true. قام مترجم Rust باستنتاج أنواعها تلقائيًا بناءً على القيم المسندة إليها.

استنتاج النوع ليس مريحاً فحسب، بل يساعد أيضاً في منع الأخطاء. يتحقق المترجم (compiler) من كيفية استخدام المتغيرات ويضمن أن الأنواع المستنتجة متسقة في جميع أنحاء الكود. إذا كان هناك تعارض، فسيقوم المترجم بإنشاء خطأ.

التحدي

مبتدئ

اكتب برنامج Rust يوضح استنتاج النوع (type inference). قم بالتصريح عن المتغيرات التالية وتهيئتها بدون توضيحات صريحة للنوع:

متغير باسم quantity بقيمة 10.
متغير باسم price بقيمة 99.99.
متغير باسم message بقيمة "Coddy is awesome!".
متغير باسم is_available بقيمة true.

بعد التصريح عن هذه المتغيرات، استخدم println!() لطباعة قيمها إلى وحدة التحكم (console). لاحظ كيف يستنتج Rust أنواع هذه المتغيرات بناءً على قيمها.

ورقة مرجعية

يسمح استنتاج النوع في Rust للمترجم باستنتاج أنواع المتغيرات تلقائيًا بناءً على قيمها، مما يلغي الحاجة إلى تعليقات النوع الصريحة في كثير من الحالات.

let x = 5;        // يستنتج Rust النوع i32
let y = 3.14;     // يستنتج Rust النوع f64
let message = "Hello, world!";  // يستنتج Rust النوع &str
let is_true = true;  // يستنتج Rust النوع bool

يتحقق المترجم من استخدام المتغيرات لضمان اتساق النوع وسيقوم بإنشاء أخطاء في حالة وجود تعارضات.

جرّب بنفسك

fn main() {
    // تعريف المتغيرات هنا
    
    
    // طباعة القيم
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}