diff --git a/src/basic/compound-type/array.md b/src/basic/compound-type/array.md index da216961..06ac4c29 100644 --- a/src/basic/compound-type/array.md +++ b/src/basic/compound-type/array.md @@ -111,6 +111,48 @@ note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace 这种就是 Rust 的安全特性之一。在很多系统编程语言中,并不会检查数组越界问题,你会访问到无效的内存地址获取到一个风马牛不相及的值,最终导致在程序逻辑上出现大问题,而且这种问题会非常难以检查。 +#### 数组元素为非基础类型 + +学习了上面的知识,很多朋友肯定觉得已经学会了Rust的数组类型,但现实会给我们一记重锤,实际开发中还会碰到一种情况,就是**数组元素是非基本类型**的,这时候大家一定会这样写。 + +```rust +let array = [String::from("rust is good!"); 8]; + +println!("{:#?}", array); +``` + +然后你会惊喜的得到编译错误。 + +```console +error[E0277]: the trait bound `String: std::marker::Copy` is not satisfied + --> src/main.rs:7:18 + | +7 | let array = [String::from("rust is good!"); 8]; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `String` + | + = note: the `Copy` trait is required because this value will be copied for each element of the array +``` + +有些还没有看过特征的小伙伴,有可能不太明白这个报错,不过这个目前可以不提,我们就拿之前所学的[所有权](https://course.rs/basic/ownership/ownership.html)知识,就可以思考明白,前面几个例子都是Rust的基本类型,而**基本类型在Rust中赋值是以Copy的形式**,这时候你就懂了吧,`let array=[3;5]`底层就是不断的Copy出来的,但很可惜复杂类型都没有深拷贝,只能一个个创建。 + +接着就有小伙伴会这样写。 + +```rust +let array = [String::from("rust is good!"),String::from("rust is good!"),String::from("rust is good!")]; + +println!("{:#?}", array); +``` + +作为一个追求极致完美的Rust开发者,怎么能容忍上面这么难看的代码存在! + +**正确的写法**,应该调用`std::array::from_fn` + +```rust +let array: [String; 8] = core::array::from_fn(|i| String::from("rust is good!")); + +println!("{:#?}", array); +``` + ## 数组切片 在之前的[章节](https://course.rs/basic/compound-type/string-slice.html#切片slice),我们有讲到 `切片` 这个概念,它允许你引用集合中的部分连续片段,而不是整个集合,对于数组也是,数组切片允许我们引用数组的一部分: