add en/slice.md
This commit is contained in:
parent
209f748a68
commit
984f8a8b12
|
@ -12,11 +12,11 @@
|
|||
- [Reference and Borrowing](ownership/borrowing.md)
|
||||
- [Compound Types doing](compound-types/intro.md)
|
||||
- [string](compound-types/string.md)
|
||||
- [array](compound-types/array.md)
|
||||
- [slice](compound-types/slice.md)
|
||||
- [tuple todo](compound-types/tuple.md)
|
||||
- [struct todo](compound-types/struct.md)
|
||||
- [enum todo](compound-types/enum.md)
|
||||
- [Array](compound-types/array.md)
|
||||
- [Slice](compound-types/slice.md)
|
||||
- [Tuple todo](compound-types/tuple.md)
|
||||
- [Struct todo](compound-types/struct.md)
|
||||
- [Enum todo](compound-types/enum.md)
|
||||
- [Flow Control todo](flow-control.md)
|
||||
- [Pattern Match todo](pattern-match/intro.md)
|
||||
- [match, if let](pattern-match/match-iflet.md)
|
||||
|
|
|
@ -1,27 +1,88 @@
|
|||
# slice todo
|
||||
Slices are similar to arrays, but their length is not known at compile time. Instead, a slice is a two-word object, the first word is a pointer to the data, and the second word is the length of the slice. The word size is the same as usize, determined by the processor architecture eg 64 bits on an x86-64. Slices can be used to borrow a section of an array, and have the type signature &[T].
|
||||
|
||||
# Slice
|
||||
Slices are similar to arrays, but their length is not known at compile time, so you can't use slice directly.
|
||||
|
||||
ππ Here, both `[i32]` and `str` are slice types, but directly using it will cause errors. You have to use the reference of the slice instead: `&[i32]`, `&str`.
|
||||
```rust,editable
|
||||
|
||||
// fix the errors, DON'T add new lines!
|
||||
fn main() {
|
||||
// we can ignore the array type, let the compiler infer it for us
|
||||
let arr: [_; 3] = ['a', 'b', 'c'];
|
||||
let arr = [1, 2, 3];
|
||||
let s1: [i32] = arr[0..2];
|
||||
|
||||
let arr1 = &arr[..2];
|
||||
|
||||
// Arrays are stack allocated
|
||||
// A char takes 4 byte in Rust: Unicode char
|
||||
println!("array occupies {} bytes", std::mem::size_of_val(&arr1));
|
||||
|
||||
|
||||
let s2: str = "hello, world" as str;
|
||||
}
|
||||
```
|
||||
|
||||
A slice reference is a two-word object, for simplicity reasons, from now on we will use slice instead of `slice reference`. The first word is a pointer to the data, and the second word is the length of the slice. The word size is the same as usize, determined by the processor architecture eg 64 bits on an x86-64. Slices can be used to borrow a section of an array, and have the type signature `&[T]`.
|
||||
|
||||
πππ
|
||||
```rust,editable
|
||||
// The trimmed string is a slice to the original string, hence no new
|
||||
// allocation is performed
|
||||
let chars_to_trim: &[char] = &[' ', ','];
|
||||
let trimmed_str: &str = string.trim_matches(chars_to_trim);
|
||||
println!("Used characters: {}", trimmed_str);
|
||||
|
||||
fn main() {
|
||||
let arr: [char; 3] = ['δΈ', 'ε½', 'δΊΊ'];
|
||||
|
||||
let slice = &arr[..2];
|
||||
|
||||
// modify '6' to make it work
|
||||
// TIPS: slice( reference ) IS NOT an array, if it is an array, then `assert!` will passed: each of the two UTF-8 chars 'δΈ' and 'ε½' occupies 3 bytes, 2 * 3 = 6
|
||||
assert!(std::mem::size_of_val(&slice) == 6);
|
||||
}
|
||||
```
|
||||
|
||||
ππ
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let arr: [i32; 5] = [1, 2, 3, 4, 5];
|
||||
// fill the blanks to make the code work
|
||||
let slice: __ = __;
|
||||
assert_eq!(slice, &[2, 3, 4]);
|
||||
}
|
||||
```
|
||||
|
||||
### string slices
|
||||
π
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let s = String::from("hello");
|
||||
|
||||
let slice1 = &s[0..2];
|
||||
// fill the blank to make the code work
|
||||
let slice2 = &s[__];
|
||||
|
||||
assert_eq!(slice1, slice2);
|
||||
}
|
||||
```
|
||||
|
||||
π
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let s = "δ½ ε₯½οΌδΈη";
|
||||
// modify this line to make the code work
|
||||
let slice = &s[0..2];
|
||||
|
||||
assert!(slice == "δ½ ");
|
||||
}
|
||||
```
|
||||
|
||||
ππ `&String` can be implicitly converted into `&str`.
|
||||
```rust,editable
|
||||
|
||||
// fix errors
|
||||
fn main() {
|
||||
let mut s = String::from("hello world");
|
||||
|
||||
// here, &s is `&String` type, but `first_word` need a `&str` type.
|
||||
// it works because `&String` implicitly be converted to `&str, If you want know more ,this is called `Deref`
|
||||
let word = first_word(&s);
|
||||
|
||||
s.clear(); // error!
|
||||
|
||||
println!("the first word is: {}", word);
|
||||
}
|
||||
fn first_word(s: &str) -> &str {
|
||||
&s[..1]
|
||||
}
|
||||
```
|
||||
|
|
|
@ -1 +1,88 @@
|
|||
# εη
|
||||
Slices are similar to arrays, but their length is not known at compile time, so you can't use slice directly.
|
||||
|
||||
ππ Here, both `[i32]` and `str` are slice types, but directly using it will cause errors. You have to use the reference of the slice instead: `&[i32]`, `&str`.
|
||||
```rust,editable
|
||||
|
||||
// fix the errors, DON'T add new lines!
|
||||
fn main() {
|
||||
let arr = [1, 2, 3];
|
||||
let s1: [i32] = arr[0..2];
|
||||
|
||||
let s2: str = "hello, world" as str;
|
||||
}
|
||||
```
|
||||
|
||||
A slice reference is a two-word object, for simplicity reasons, from now on we will use slice instead of `slice reference`. The first word is a pointer to the data, and the second word is the length of the slice. The word size is the same as usize, determined by the processor architecture eg 64 bits on an x86-64. Slices can be used to borrow a section of an array, and have the type signature `&[T]`.
|
||||
|
||||
πππ
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let arr: [char; 3] = ['δΈ', 'ε½', 'δΊΊ'];
|
||||
|
||||
let slice = &arr[..2];
|
||||
|
||||
// modify '6' to make it work
|
||||
// TIPS: slice( reference ) IS NOT an array, if it is an array, then `assert!` will passed: each of the two UTF-8 chars 'δΈ' and 'ε½' occupies 3 bytes, 2 * 3 = 6
|
||||
assert!(std::mem::size_of_val(&slice) == 6);
|
||||
}
|
||||
```
|
||||
|
||||
ππ
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let arr: [i32; 5] = [1, 2, 3, 4, 5];
|
||||
// fill the blanks to make the code work
|
||||
let slice: __ = __;
|
||||
assert_eq!(slice, &[2, 3, 4]);
|
||||
}
|
||||
```
|
||||
|
||||
### string slices
|
||||
π
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let s = String::from("hello");
|
||||
|
||||
let slice1 = &s[0..2];
|
||||
// fill the blank to make the code work
|
||||
let slice2 = &s[__];
|
||||
|
||||
assert_eq!(slice1, slice2);
|
||||
}
|
||||
```
|
||||
|
||||
π
|
||||
```rust,editable
|
||||
|
||||
fn main() {
|
||||
let s = "δ½ ε₯½οΌδΈη";
|
||||
// modify this line to make the code work
|
||||
let slice = &s[0..2];
|
||||
|
||||
assert!(slice == "δ½ ");
|
||||
}
|
||||
```
|
||||
|
||||
ππ `&String` can be implicitly converted into `&str`.
|
||||
```rust,editable
|
||||
|
||||
// fix errors
|
||||
fn main() {
|
||||
let mut s = String::from("hello world");
|
||||
|
||||
// here, &s is `&String` type, but `first_word` need a `&str` type.
|
||||
// it works because `&String` implicitly be converted to `&str, If you want know more ,this is called `Deref`
|
||||
let word = first_word(&s);
|
||||
|
||||
s.clear(); // error!
|
||||
|
||||
println!("the first word is: {}", word);
|
||||
}
|
||||
fn first_word(s: &str) -> &str {
|
||||
&s[..1]
|
||||
}
|
||||
```
|
||||
|
|
Loadingβ¦
Reference in New Issue