মরিচা অপশন ধরণের ওভারহেড কি?

Question 1

মরিচে, রেফারেন্সগুলি কখনই নਾਲ হতে পারে না, সুতরাং যেখানে আপনার আসলে নাল প্রয়োজন যেমন একটি লিঙ্কযুক্ত তালিকার ক্ষেত্রে আপনি Optionটাইপটি ব্যবহার করেন :

struct Element {
    value: i32,
    next: Option<Box<Element>>,
}

একটি সাধারণ পয়েন্টারের তুলনায় মেমরি বরাদ্দ এবং অবনতির পদক্ষেপের ক্ষেত্রে ওভারহেড কতটা এতে জড়িত? সংযোজন / রানটাইম Option-এ কোনও "যাদু" কি ব্যয়-মুক্ত করার জন্য তৈরি করা হয়েছে , বা Optionএকই enumকন্সট্রাক্টটি ব্যবহার করে নন-কোর লাইব্রেরিতে নিজেই প্রয়োগ করা হয়েছে বা ভেক্টরে পয়েন্টারটি মোড়ক করে দেওয়ার চেয়ে কম ব্যয়বহুল ?

Question 2

হ্যাঁ, এমন কয়েকটি সংকলক যাদু রয়েছে যা Option<ptr>একক পয়েন্টারকে (বেশিরভাগ সময়) অনুকূল করে তোলে।

use std::mem::size_of;

macro_rules! show_size {
    (header) => (
        println!("{:<22} {:>4}    {}", "Type", "T", "Option<T>");
    );
    ($t:ty) => (
        println!("{:<22} {:4} {:4}", stringify!($t), size_of::<$t>(), size_of::<Option<$t>>())
    )
}

fn main() {
    show_size!(header);
    show_size!(i32);
    show_size!(&i32);
    show_size!(Box<i32>);
    show_size!(&[i32]);
    show_size!(Vec<i32>);
    show_size!(Result<(), Box<i32>>);
}

নিম্নলিখিত আকারগুলি মুদ্রিত হয়েছে (একটি 64-বিট মেশিনে, সুতরাং পয়েন্টারগুলি 8 বাইট):

// As of Rust 1.22.1
Type                      T    Option<T>
i32                       4    8
&i32                      8    8
Box<i32>                  8    8
&[i32]                   16   16
Vec<i32>                 24   24
Result<(), Box<i32>>      8   16

মনে রাখবেন যে, &i32, Box, &[i32], Vec<i32>সব ব্যবহারের একটি ভিতরে অ nullable পয়েন্টার অপ্টিমাইজেশান Option!