练习题来自:https://practice-zh.course.rs/compound-types/array.html
1
rust
fn main() {
// 使用合适的类型填空
let arr: __ = [1, 2, 3, 4, 5];
// 修改以下代码,让它顺利运行
assert!(arr.len() == 4);
}
显然这个数组的长度是5.
rust
fn main() {
// 使用合适的类型填空
let arr: [i32; 5] = [1, 2, 3, 4, 5];
// 修改以下代码,让它顺利运行
assert!(arr.len() == 5);
}
2
rust
fn main() {
// 很多时候,我们可以忽略数组的部分类型,也可以忽略全部类型,让编译器帮助我们推导
let arr0 = [1, 2, 3];
let arr: [_; 3] = ['a', 'b', 'c'];
// 填空
// 数组分配在栈上, `std::mem::size_of_val` 函数会返回整个数组占用的内存空间
// 数组中的每个 char 元素占用 4 字节的内存空间,因为在 Rust 中, char 是 Unicode 字符
assert!(std::mem::size_of_val(&arr) == __);
}
答案
rust
fn main() {
let arr0 = [1, 2, 3];
let arr: [_; 3] = ['a', 'b', 'c'];
assert!(std::mem::size_of_val(&arr) == 12);
}
Rust的定长数组倒是和C语言的很像,但是每个C程序员都知道,C的数组本质其实是指向第一个元素的指针。
3 🌟 数组中的所有元素可以一起初始化为同一个值
rust
fn main() {
// 填空
let list: [i32; 100] = __ ;
assert!(list[0] == 1);
assert!(list.len() == 100);
}
答案
rust
fn main() {
// 填空
let list: [i32; 100] = [1;100] ;
assert!(list[0] == 1);
assert!(list.len() == 100);
}
对于C/C++的数组来说,并没有一步到位批量初始化的写法,只有C++特有的vector
才有。我看了下后面的语法,Rust的数组应该也是纯编译期的数据结构,栈上分配嘛。C语言原生的动态数组malloc
/free
的写法应该是没有。
4 🌟 数组中的所有元素必须是同一类型
rust
fn main() {
// 修复错误
let _arr = [1, 2, '3'];
}
没什么说的,不是同一个类型的也不需要使用数组这种结构。
rust
fn main() {
// 修复错误
let _arr = [1, 2, 3];
}
5 🌟 数组的下标索引从 0 开始
rust
fn main() {
let arr = ['a', 'b', 'c'];
let ele = arr[1]; // 只修改此行来让代码工作
assert!(ele == 'a');
}
答案
rust
fn main() {
let arr = ['a', 'b', 'c'];
let ele = arr[0]; // 只修改此行来让代码工作
assert!(ele == 'a');
}
6 🌟 越界索引会导致代码的 panic.
rust
// 修复代码中的错误
fn main() {
let names = [String::from("Sunfei"), "Sunface".to_string()];
// `get` 返回 `Option<T>` 类型,因此它的使用非常安全
let name0 = names.get(0).unwrap();
// 但是下标索引就存在越界的风险了
let _name1 = &names[2];
}
C语言原生的数组是没有越界检查的,索引到哪里就把哪里内存里的数据取出来。C++的vector
对标的应该是Rust的Vec
,其实不适合在这里说,但我还是说一下:
vector也可以通过两种方式访问元素:
cpp
int x = myVector[0]; // 获取第一个元素
int y = myVector.at(1); // 获取第二个元素
其中方括号的方法和C数组类似,但at
会判断越界,越界时会抛出一个异常。