mirror of
https://github.com/rust-lang/rustlings.git
synced 2026-01-12 21:59:18 +00:00
feat: added lifetimes exercise directory and 4 lifetimes exercises, which are basically a duplication of the book section of lifetimes. Added to watch order between enums and modules, since these exercises use structs, and I didn't want to put anything between structs and enums which make sense together
This commit is contained in:
parent
dc6376788b
commit
7c7520362c
16
exercises/lifetimes/README.md
Normal file
16
exercises/lifetimes/README.md
Normal file
@ -0,0 +1,16 @@
|
|||||||
|
# Lifetimes
|
||||||
|
|
||||||
|
Lifetimes tell the compiler how to check whether references live long
|
||||||
|
enough to be valid in any given situation. For example lifetimes say
|
||||||
|
"make sure parameter 'a' lives as long as parameter 'b' so that return
|
||||||
|
value is valid".
|
||||||
|
|
||||||
|
They are only necessary on borrows, i.e. references,
|
||||||
|
since copied parameters or moves are owned in their scope and cannot
|
||||||
|
be referenced outside. Lifetimes mean that calling code of e.g. functions
|
||||||
|
can be checked to make sure their arguments are valid. Lifetimes are
|
||||||
|
restrictive of their callers.
|
||||||
|
## Further information
|
||||||
|
|
||||||
|
- [Validating References with Lifetimes](https://doc.rust-lang.org/book/ch10-03-lifetime-syntax.html)
|
||||||
|
- [Lifetimes (in Rust By Example)](https://doc.rust-lang.org/stable/rust-by-example/scope/lifetime.html)
|
||||||
29
exercises/lifetimes/lifetimes1.rs
Normal file
29
exercises/lifetimes/lifetimes1.rs
Normal file
@ -0,0 +1,29 @@
|
|||||||
|
// lifetimes1.rs
|
||||||
|
//
|
||||||
|
// The rust compiler needs to know how to check whether supplied references are
|
||||||
|
// valid, so that it can feedback to the programmer if a reference is at risk
|
||||||
|
// of going out of scope before it is used. Remember references are borrows
|
||||||
|
// and do not own their own data. What if their owner goes out of scope?
|
||||||
|
//
|
||||||
|
// Make me compile
|
||||||
|
//
|
||||||
|
// Execute the command `rustlings hint lifetimes1` if you need
|
||||||
|
// hints.
|
||||||
|
|
||||||
|
// I AM NOT DONE
|
||||||
|
|
||||||
|
fn longest(x: &str, y: &str) -> &str {
|
||||||
|
if x.len() > y.len() {
|
||||||
|
x
|
||||||
|
} else {
|
||||||
|
y
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let string1 = String::from("abcd");
|
||||||
|
let string2 = "xyz";
|
||||||
|
|
||||||
|
let result = longest(string1.as_str(), string2);
|
||||||
|
println!("The longest string is {}", result);
|
||||||
|
}
|
||||||
29
exercises/lifetimes/lifetimes2.rs
Normal file
29
exercises/lifetimes/lifetimes2.rs
Normal file
@ -0,0 +1,29 @@
|
|||||||
|
// lifetimes2.rs
|
||||||
|
//
|
||||||
|
// So if the compiler is just validating the references passed
|
||||||
|
// to the annotated parameters and the return type, what do
|
||||||
|
// we need to change?
|
||||||
|
//
|
||||||
|
// Make me compile
|
||||||
|
//
|
||||||
|
// Execute the command `rustlings hint lifetimes2` if you need
|
||||||
|
// hints.
|
||||||
|
|
||||||
|
// I AM NOT DONE
|
||||||
|
|
||||||
|
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
|
||||||
|
if x.len() > y.len() {
|
||||||
|
x
|
||||||
|
} else {
|
||||||
|
y
|
||||||
|
}
|
||||||
|
}
|
||||||
|
fn main() {
|
||||||
|
let string1 = String::from("long string is long");
|
||||||
|
let result;
|
||||||
|
{
|
||||||
|
let string2 = String::from("xyz");
|
||||||
|
result = longest(string1.as_str(), string2.as_str());
|
||||||
|
}
|
||||||
|
println!("The longest string is {}", result);
|
||||||
|
}
|
||||||
23
exercises/lifetimes/lifetimes3.rs
Normal file
23
exercises/lifetimes/lifetimes3.rs
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
// lifetimes3.rs
|
||||||
|
//
|
||||||
|
// Lifetimes are also needed when structs hold references.
|
||||||
|
//
|
||||||
|
// Make me compile
|
||||||
|
//
|
||||||
|
// Execute the command `rustlings hint lifetimes3` if you need
|
||||||
|
// hints.
|
||||||
|
|
||||||
|
// I AM NOT DONE
|
||||||
|
|
||||||
|
struct Book {
|
||||||
|
author: &str,
|
||||||
|
title: &str,
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let name = String::from("Jill Smith");
|
||||||
|
let title= String::from("Fish Flying");
|
||||||
|
let book = Book {author: &name, title: &title};
|
||||||
|
|
||||||
|
println!("{} by {}", book.title, book.author);
|
||||||
|
}
|
||||||
27
exercises/lifetimes/lifetimes4.rs
Normal file
27
exercises/lifetimes/lifetimes4.rs
Normal file
@ -0,0 +1,27 @@
|
|||||||
|
// lifetimes4.rs
|
||||||
|
//
|
||||||
|
// So that the compiler can check lifetimes of supplied attributes
|
||||||
|
//
|
||||||
|
// Make me compile
|
||||||
|
//
|
||||||
|
// Execute the command `rustlings hint lifetimes4` if you need
|
||||||
|
// hints.
|
||||||
|
|
||||||
|
// I AM NOT DONE
|
||||||
|
|
||||||
|
#[derive(Debug)]
|
||||||
|
struct Book<'a> {
|
||||||
|
author: &'a str,
|
||||||
|
title: &'a str,
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let name = String::from("Jill Smith");
|
||||||
|
let book;
|
||||||
|
{
|
||||||
|
let title = String::from("Fish Flying");
|
||||||
|
book = Book { author: &name, title: &title };
|
||||||
|
}
|
||||||
|
|
||||||
|
println!("{:?}", book);
|
||||||
|
}
|
||||||
4
exercises/lifetimes/mod.rs
Normal file
4
exercises/lifetimes/mod.rs
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
mod lifetimes1;
|
||||||
|
mod lifetimes2;
|
||||||
|
mod lifetimes3;
|
||||||
|
mod lifetimes4;
|
||||||
@ -24,3 +24,4 @@ mod tests;
|
|||||||
mod threads;
|
mod threads;
|
||||||
mod traits;
|
mod traits;
|
||||||
mod variables;
|
mod variables;
|
||||||
|
mod lifetimes;
|
||||||
|
|||||||
31
info.toml
31
info.toml
@ -376,6 +376,37 @@ path = "exercises/enums/enums3.rs"
|
|||||||
mode = "test"
|
mode = "test"
|
||||||
hint = "No hints this time ;)"
|
hint = "No hints this time ;)"
|
||||||
|
|
||||||
|
# LIFETIMES
|
||||||
|
|
||||||
|
[[exercises]]
|
||||||
|
name = "lifetimes1"
|
||||||
|
path = "exercises/lifetimes/lifetimes1.rs"
|
||||||
|
mode = "compile"
|
||||||
|
hint = """
|
||||||
|
Let the compiler guide you. Also take a look at the book if you need help:
|
||||||
|
https://doc.rust-lang.org/book/ch10-03-lifetime-syntax.html"""
|
||||||
|
|
||||||
|
[[exercises]]
|
||||||
|
name = "lifetimes2"
|
||||||
|
path = "exercises/lifetimes/lifetimes2.rs"
|
||||||
|
mode = "compile"
|
||||||
|
hint = """
|
||||||
|
What is the compiler checking? How could you change how long an owned variable lives?"""
|
||||||
|
|
||||||
|
[[exercises]]
|
||||||
|
name = "lifetimes3"
|
||||||
|
path = "exercises/lifetimes/lifetimes3.rs"
|
||||||
|
mode = "compile"
|
||||||
|
hint = """
|
||||||
|
If you use a lifetime annotation in a struct's fields where else does it need to be added?"""
|
||||||
|
|
||||||
|
[[exercises]]
|
||||||
|
name = "lifetimes4"
|
||||||
|
path = "exercises/lifetimes/lifetimes4.rs"
|
||||||
|
mode = "compile"
|
||||||
|
hint = """
|
||||||
|
This is basically the same as lifetimes2 except with structs"""
|
||||||
|
|
||||||
# MODULES
|
# MODULES
|
||||||
|
|
||||||
[[exercises]]
|
[[exercises]]
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user