tuning
[rust-101.git] / workspace / src / part06.rs
1 // ***Remember to enable/add this part in `main.rs`!***
2
3 // Rust-101, Part 06: Copy, Lifetimes
4 // ==================================
5
6 // We continue to work on our `BigInt`, so we start by importing what we already established.
7 use part05::BigInt;
8
9 // With `BigInt` being about numbers, we should be able to write a version of `vec_min`
10 // that computes the minimum of a list of `BigInt`. First, we have to write `min` for `BigInt`.
11 impl BigInt {
12     fn min_try1(self, other: Self) -> Self {
13         debug_assert!(self.test_invariant() && other.test_invariant());
14         // Now our assumption of having no trailing zeros comes in handy:
15         // If the lengths of the two numbers differ, we already know which is larger.
16         if self.data.len() < other.data.len() {
17             self
18         } else if self.data.len() > other.data.len() {
19             other
20         } else {
21             // **Exercise 06.1**: Fill in this code.
22             unimplemented!()
23         }
24     }
25 }
26
27 // Now we can write `vec_min`.
28 fn vec_min(v: &Vec<BigInt>) -> Option<BigInt> {
29     let mut min: Option<BigInt> = None;
30     for e in v {
31         unimplemented!()
32     }
33     min
34 }
35
36 // ## `Copy` types
37
38 use part02::{SomethingOrNothing,Something,Nothing};
39 impl<T: Copy> Copy for SomethingOrNothing<T> {}
40
41
42 // ## Lifetimes
43
44 fn head<T>(v: &Vec<T>) -> Option<&T> {
45     if v.len() > 0 {
46         unimplemented!()
47     } else {
48         None
49     }
50 }
51 // Technically, we are returning a pointer to the first element. But doesn't that mean that callers have to be
52 // careful? Imagine `head` would be a C++ function, and we would write the following code.
53 /*
54   int foo(std::vector<int> v) {
55     int *first = head(v);
56     v.push_back(42);
57     return *first;
58   }
59 */
60 fn rust_foo(mut v: Vec<i32>) -> i32 {
61     let first: Option<&i32> = head(&v);
62     /* v.push(42); */
63     *first.unwrap()
64 }
65
66