الصدأ. مدقق الاقتراض من خلال التكرارات

مقدمة

المكرر

    val vec = Vector(1,2,3,4)
    val result = vec.filter(e => e % 2 == 0)

  private[scala] def filterImpl(p: A => Boolean, isFlipped: Boolean): Repr = {
    val b = newBuilder
    for (x <- this)
      if (p(x) != isFlipped) b += x

    b.result
  }

    let v: Vec<i32> = vec![1, 2, 3, 4];
    let result: Vec<&i32> = v.iter().filter(|e| **e % 2 == 0).collect();

1. الحصول على المكرر بشكل صريح على المتجه (`iter ()`)
2. في دالة المسند ، لسبب ما ، فإننا نلغي الإشارة إلى المؤشر مرتين
3. استدعاء `جمع ()`
4. نتج عنه أيضًا ناقل أنواع مرجعية Vec <& i32> ، وليس عمليات إدخال عادية

مدقق الاقتراض

1. لتجنب المواقف عندما تشير عدة مؤشرات إلى نفس منطقة الذاكرة ، مما يسمح لك بتغييرها. هذه حالة سباق.
2. حتى لا تطلق نفس الذاكرة عدة مرات.

struct X; // 

fn test_borrow_checker () -> X {
    let first = X; //  
    let second = first; //  
    let third = first; //   ,   first   
//    value used here after move

    return third;
}

fn test_borrow_checker () -> i32 {
    let first = 32;
    let second = first; 
    let third = first; 

    return third;
}

let coll_1 = vec![1,2,3];
let coll_2: Vec<i32> = coll_1.into_iter().collect();
//coll_1 doesn't exists anymore

المؤشرات

#[derive(Debug)]
struct Y; // 

fn test_borrow_checker() -> Y {
    let first = Y; //  
    let second: &Y = &first; //   ,     
    let third = &first; //    

// 
    println!("{:?}", second);
    println!("{:?}", third);

    return first;
}

// 
struct X {
    x: i32,
} 

fn test_borrow_checker() -> X {
    let mut first = X { x: 20 }; //  
    let second: &mut X = &mut first; //   
    let third: &mut X = &mut first; //    .        `second`        - .
//    second.x = 33;  //    ,             ,    
    third.x = 33;

    return first;
}

المكرر

1. الامتصاص ، الاقتراض ، الحركة
2. حلقة الوصل
3. رابط قابل للتغيير

1. IntoIter يمتص كائنات من المجموعة الأصلية
2. يعمل Iter على ارتباطات الكائنات
3. يعمل IterMut على مراجع الكائنات القابلة للتغيير

#[derive(PartialEq, Eq)]
enum Sex {
    Male,
    Female
}

struct Scholar {
    name: String,
    age: i32,
    sex: Sex
}

let scholars: Vec<Scholar> = ...;

fn bad_idea() {
    let scholars: Vec<Scholar> = Vec::new();
    let girls_c = scholars
        .into_iter()
        .filter(|s| (*s).sex == Sex::Female)
        .count();

    let boys_c = scholars 
        .into_iter()
        .filter(|s| (*s).sex == Sex::Male)
        .count();
}

fn good_idea() {
    let scholars: Vec<Scholar> = Vec::new();
    let girls_c = scholars.iter().filter(|s| (**s).sex == Sex::Female).count();
    let boys_c = scholars.iter().filter(|s| (**s).sex == Sex::Male).count();
}

fn very_good_idea() {
    let mut scholars: Vec<Scholar> = Vec::new();
    scholars.iter_mut().for_each(|s| (*s).sex = Sex::Male);
}

impl Scholar {
    fn to_soldier(self) -> Soldier {
        Soldier { forgotten_name: self.name, number: some_random_number_generator() }
    }
}

struct Soldier {
    forgotten_name: String,
    number: i32
}

fn good_bright_future() {
    let mut scholars: Vec<Scholar> = Vec::new();
    scholars.iter_mut().for_each(|s| (*s).sex = Sex::Male);
    let soldiers: Vec<Soldier> = scholars.into_iter().map(|s| s.to_soldier()).collect();
    //   scholars,    
}

    fn filter<P>(self, predicate: P) -> Filter<Self, P> where
        Self: Sized, P: FnMut(&Self::Item) -> bool,

استمرار

• كيف ومتى يحدث إلغاء تخصيص الذاكرة
• ربط عمر
• برمجة غير متزامنة
• كتابة خدمة ويب صغيرة ، يمكنك حتى تقديم واجهة برمجة تطبيقات

الروابط

• كتاب الصدأ
• نظرًا لمفهوم الملكية ، فإن تنفيذ أشياء أساسية مثل ، على سبيل المثال ، القائمة المرتبطة لم تعد تافهة. فيما يلي عدة طرق لكيفية تنفيذها.