summaryrefslogtreecommitdiff
path: root/solutions/19_smart_pointers/box1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'solutions/19_smart_pointers/box1.rs')
-rw-r--r--solutions/19_smart_pointers/box1.rs48
1 files changed, 47 insertions, 1 deletions
diff --git a/solutions/19_smart_pointers/box1.rs b/solutions/19_smart_pointers/box1.rs
index 4e18198..189cc56 100644
--- a/solutions/19_smart_pointers/box1.rs
+++ b/solutions/19_smart_pointers/box1.rs
@@ -1 +1,47 @@
-// Solutions will be available before the stable release. Thank you for testing the beta version 🥰
+// At compile time, Rust needs to know how much space a type takes up. This
+// becomes problematic for recursive types, where a value can have as part of
+// itself another value of the same type. To get around the issue, we can use a
+// `Box` - a smart pointer used to store data on the heap, which also allows us
+// to wrap a recursive type.
+//
+// The recursive type we're implementing in this exercise is the "cons list", a
+// data structure frequently found in functional programming languages. Each
+// item in a cons list contains two elements: The value of the current item and
+// the next item. The last item is a value called `Nil`.
+
+#[derive(PartialEq, Debug)]
+enum List {
+ Cons(i32, Box<List>),
+ Nil,
+}
+
+fn create_empty_list() -> List {
+ List::Nil
+}
+
+fn create_non_empty_list() -> List {
+ List::Cons(42, Box::new(List::Nil))
+}
+
+fn main() {
+ println!("This is an empty cons list: {:?}", create_empty_list());
+ println!(
+ "This is a non-empty cons list: {:?}",
+ create_non_empty_list(),
+ );
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn test_create_empty_list() {
+ assert_eq!(create_empty_list(), List::Nil);
+ }
+
+ #[test]
+ fn test_create_non_empty_list() {
+ assert_ne!(create_empty_list(), create_non_empty_list());
+ }
+}