summaryrefslogtreecommitdiff
path: root/solutions/15_traits
diff options
context:
space:
mode:
Diffstat (limited to 'solutions/15_traits')
-rw-r--r--solutions/15_traits/traits1.rs32
-rw-r--r--solutions/15_traits/traits2.rs27
-rw-r--r--solutions/15_traits/traits3.rs38
-rw-r--r--solutions/15_traits/traits4.rs35
-rw-r--r--solutions/15_traits/traits5.rs39
5 files changed, 171 insertions, 0 deletions
diff --git a/solutions/15_traits/traits1.rs b/solutions/15_traits/traits1.rs
new file mode 100644
index 0000000..790873f
--- /dev/null
+++ b/solutions/15_traits/traits1.rs
@@ -0,0 +1,32 @@
+// The trait `AppendBar` has only one function which appends "Bar" to any object
+// implementing this trait.
+trait AppendBar {
+ fn append_bar(self) -> Self;
+}
+
+impl AppendBar for String {
+ fn append_bar(self) -> Self {
+ self + "Bar"
+ }
+}
+
+fn main() {
+ let s = String::from("Foo");
+ let s = s.append_bar();
+ println!("s: {s}");
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn is_foo_bar() {
+ assert_eq!(String::from("Foo").append_bar(), "FooBar");
+ }
+
+ #[test]
+ fn is_bar_bar() {
+ assert_eq!(String::from("").append_bar().append_bar(), "BarBar");
+ }
+}
diff --git a/solutions/15_traits/traits2.rs b/solutions/15_traits/traits2.rs
new file mode 100644
index 0000000..0db93e0
--- /dev/null
+++ b/solutions/15_traits/traits2.rs
@@ -0,0 +1,27 @@
+trait AppendBar {
+ fn append_bar(self) -> Self;
+}
+
+impl AppendBar for Vec<String> {
+ fn append_bar(mut self) -> Self {
+ // ^^^ this is important
+ self.push(String::from("Bar"));
+ self
+ }
+}
+
+fn main() {
+ // You can optionally experiment here.
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn is_vec_pop_eq_bar() {
+ let mut foo = vec![String::from("Foo")].append_bar();
+ assert_eq!(foo.pop().unwrap(), "Bar");
+ assert_eq!(foo.pop().unwrap(), "Foo");
+ }
+}
diff --git a/solutions/15_traits/traits3.rs b/solutions/15_traits/traits3.rs
new file mode 100644
index 0000000..747d919
--- /dev/null
+++ b/solutions/15_traits/traits3.rs
@@ -0,0 +1,38 @@
+#![allow(dead_code)]
+
+trait Licensed {
+ fn licensing_info(&self) -> String {
+ "Default license".to_string()
+ }
+}
+
+struct SomeSoftware {
+ version_number: i32,
+}
+
+struct OtherSoftware {
+ version_number: String,
+}
+
+impl Licensed for SomeSoftware {}
+impl Licensed for OtherSoftware {}
+
+fn main() {
+ // You can optionally experiment here.
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn is_licensing_info_the_same() {
+ let licensing_info = "Default license";
+ let some_software = SomeSoftware { version_number: 1 };
+ let other_software = OtherSoftware {
+ version_number: "v2.0.0".to_string(),
+ };
+ assert_eq!(some_software.licensing_info(), licensing_info);
+ assert_eq!(other_software.licensing_info(), licensing_info);
+ }
+}
diff --git a/solutions/15_traits/traits4.rs b/solutions/15_traits/traits4.rs
new file mode 100644
index 0000000..3675b8d
--- /dev/null
+++ b/solutions/15_traits/traits4.rs
@@ -0,0 +1,35 @@
+trait Licensed {
+ fn licensing_info(&self) -> String {
+ "Default license".to_string()
+ }
+}
+
+struct SomeSoftware;
+struct OtherSoftware;
+
+impl Licensed for SomeSoftware {}
+impl Licensed for OtherSoftware {}
+
+fn compare_license_types(software1: impl Licensed, software2: impl Licensed) -> bool {
+ // ^^^^^^^^^^^^^ ^^^^^^^^^^^^^
+ software1.licensing_info() == software2.licensing_info()
+}
+
+fn main() {
+ // You can optionally experiment here.
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn compare_license_information() {
+ assert!(compare_license_types(SomeSoftware, OtherSoftware));
+ }
+
+ #[test]
+ fn compare_license_information_backwards() {
+ assert!(compare_license_types(OtherSoftware, SomeSoftware));
+ }
+}
diff --git a/solutions/15_traits/traits5.rs b/solutions/15_traits/traits5.rs
new file mode 100644
index 0000000..1fb426a
--- /dev/null
+++ b/solutions/15_traits/traits5.rs
@@ -0,0 +1,39 @@
+trait SomeTrait {
+ fn some_function(&self) -> bool {
+ true
+ }
+}
+
+trait OtherTrait {
+ fn other_function(&self) -> bool {
+ true
+ }
+}
+
+struct SomeStruct;
+impl SomeTrait for SomeStruct {}
+impl OtherTrait for SomeStruct {}
+
+struct OtherStruct;
+impl SomeTrait for OtherStruct {}
+impl OtherTrait for OtherStruct {}
+
+fn some_func(item: impl SomeTrait + OtherTrait) -> bool {
+ // ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ item.some_function() && item.other_function()
+}
+
+fn main() {
+ // You can optionally experiment here.
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ #[test]
+ fn test_some_func() {
+ assert!(some_func(SomeStruct));
+ assert!(some_func(OtherStruct));
+ }
+}