Lifetimes এবং Borrow Checker

Ownership এবং Borrowing (অনারশিপ এবং বোরোইং) - রাস্ট (Rust) - Computer Programming

260

Lifetimes (লাইফটাইমস)

রাস্টে Lifetimes একটি অত্যন্ত গুরুত্বপূর্ণ ধারণা যা মেমোরি সেফটি নিশ্চিত করতে সাহায্য করে। লাইফটাইমস মূলত কিছু ডেটা বা ভেরিয়েবল কতক্ষণ কার্যকরী থাকবে তা বর্ণনা করে। রাস্টের মালিকানা (Ownership) এবং বোরোউ (Borrowing) সিস্টেমের সাথে একত্রে কাজ করে Lifetimes মেমোরি সেফটি নিশ্চিত করে এবং ডেটা রেস বা মেমোরি লিক প্রতিরোধ করতে সহায়তা করে।

Lifetimes কি এবং কেন প্রয়োজন?

রাস্টে যখন কোনো ভেরিয়েবল বা রেফারেন্স পাস করা হয়, তখন এটি লাইফটাইমসের সাথে সম্পর্কিত থাকে। রাস্ট কম্পাইলার নিশ্চিত করতে চায় যে, কোনো ভেরিয়েবল বা রেফারেন্স যখন আর প্রয়োজনীয় থাকে না, তখন তা স্বয়ংক্রিয়ভাবে মুক্ত (free) হয়ে যাবে, এবং এর ফলে কোনো মেমোরি সমস্যা (যেমন dangling references) হবে না।

লাইফটাইমস কাজ করে এমনভাবে:

যদি একটি রেফারেন্স অন্য কোনো ভেরিয়েবলের উপর নির্ভরশীল হয়, তাহলে এটি নিশ্চিত করতে হবে যে সেই ভেরিয়েবলটি ঐ রেফারেন্সের লাইফটাইমের মধ্যে থাকবে।

উদাহরণ:

fn longest<'a>(s1: &'a str, s2: &'a str) -> &'a str {
    if s1.len() > s2.len() {
        s1
    } else {
        s2
    }
}

fn main() {
    let string1 = String::from("long string");
    let string2 = String::from("short");

    let result = longest(&string1, &string2);
    println!("The longest string is {}", result);
}

এখানে, 'a একটি লাইফটাইম প্যারামিটার যা নিশ্চিত করে যে s1 এবং s2 এর লাইফটাইম একই রকম থাকবে, এবং longest ফাংশন থেকে ফেরত আসা রেফারেন্সের লাইফটাইম সঠিক হবে।

Lifetimes এর Syntax:

লাইফটাইমসের সঠিক ব্যবহারের জন্য আপনি 'a, 'b ইত্যাদি নামক লাইফটাইম প্যারামিটার ব্যবহার করবেন, যা রেফারেন্সের লাইফটাইমকে নির্দেশ করে।

Borrow Checker

Borrow Checker হলো রাস্ট কম্পাইলারের একটি অংশ যা নিশ্চিত করে যে, ডেটার মালিকানা এবং রেফারেন্স ব্যবহারের সময় কোনো ভুল বা সুরক্ষা সমস্যা হচ্ছে না। এটি Borrowing মডেলটি প্রয়োগ করে, যা ডেটার মালিকানা অন্য কোথাও দেওয়ার বদলে রেফারেন্স ব্যবহার করার সুবিধা দেয়।

Borrowing (বোরোউ) কী?

রাস্টে, আপনি ডেটার মালিকানা ছাড়াই অন্য কোথাও থেকে ডেটা ব্যবহার করতে পারেন, যা borrowing নামে পরিচিত। এটি দুটি ধরনের হতে পারে:

Immutable Borrowing (ইমিউটেবল বোরোউ): যেখানে আপনি ডেটা পড়তে পারেন কিন্তু সেটি পরিবর্তন করতে পারবেন না।
- একাধিক ইমিউটেবল বোরোউ একসাথে থাকতে পারে।
Mutable Borrowing (মিউটেবল বোরোউ): যেখানে আপনি ডেটা পরিবর্তন করতে পারেন, তবে একে একাধিক জায়গায় বোরো করতে পারবেন না। একে একাধিক মিউটেবল বোরোউ একসাথে রাখা যাবে না।

Borrow Checker কীভাবে কাজ করে?

বোরোউ চেকার নিশ্চিত করে যে:

কোনো ভেরিয়েবল বা ডেটা একসাথে একাধিক জায়গায় মিউটেবল বোরো হচ্ছে না।
কোনো রেফারেন্স ড্যাংলিং রেফারেন্স (যা মেমোরি ভ্যালিডেশন ত্রুটি তৈরি করে) এড়িয়ে চলে।

উদাহরণ:

fn main() {
    let mut s = String::from("hello");

    let r1 = &s; // ইমিউটেবল বোরোউ
    let r2 = &s; // ইমিউটেবল বোরোউ

    println!("r1: {}, r2: {}", r1, r2);

    let r3 = &mut s; // মিউটেবল বোরোউ - এই লাইনে কম্পাইলার এরর দিবে কারণ রেফারেন্স একই সময়ে মিউটেবল ও ইমিউটেবল হতে পারে না।
}

কম্পাইলার চেক:

এখানে, r1 এবং r2 দুটি ইমিউটেবল রেফারেন্স একসাথে থাকতে পারে, কিন্তু পরে r3 নামক মিউটেবল রেফারেন্স ব্যবহার করলে কম্পাইলার এরর দেখাবে, কারণ একসাথে মিউটেবল এবং ইমিউটেবল রেফারেন্স একে অপরকে বিরোধিতা করে।