تصميم الواجهات ومشروع تقارير ختامي

mod counts {
    pub struct Count(u32);
    impl Count {
        pub fn new(value: u32) -> Result<Self, &'static str> {
            if value > 1000 { Err("count too large") } else { Ok(Self(value)) }
        }
        pub fn get(&self) -> u32 { self.0 }
    }
}
fn main() {
    let count = counts::Count::new(42).expect("known valid input");
    println!("{} {}", count.get(), counts::Count::new(1001).is_err());
}

42 true

تصبح اثنتان وأربعون Count صالحة، وتُرفض ألف وواحد قبل إنشاء النوع.

fn report(records: &[u32]) -> Option<(usize, u32)> {
    let total = records.iter().try_fold(0u32, |sum, value| sum.checked_add(*value))?;
    Some((records.len(), total))
}
fn main() {
    let (count, total) = report(&[2, 4, 6]).expect("small total");
    println!("{count} {total}");
    println!("{:?}", report(&[u32::MAX, 1]));
}

3 12
None

مجموع ثلاثة سجلات اثنا عشر، ولا يتسع u32 للمجموع الثاني فتكون قيمة الفشل الصريحة None.