Rust-vec!与Vec::with_capacity初始化数组的区别

2024-01-08 03:12

本文主要是介绍Rust-vec!与Vec::with_capacity初始化数组的区别,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

这篇文章的实际上是对我在知乎上,下面这个问题的答案补充。
Rust能不能动态生成固定大小的数组(array)?

对于问题中的代码

fn main(){let n = 3;let mut arr:[i32; n] = [0;n] ; println!(":?", arr);
}

进行如下修改后,可以正常编译。

const LEN:usize = 3;
fn main() {let mut arr:[i32; LEN] = [0;LEN] ;println!("{:?}", arr);
}

所以,在Rust中,数组初始化时,使用的长度值应该是常量,且类型本身支持Copy trait。

因此,下面的内容将围绕两个方面来讨论

  • 数组的初始化长度
  • 数组元素的初始化

长度的初始化

在Rust中,数组的长度是固定的,因此,通过长度来初始化数组就这下面一种方式。

const LEN: uszie = 3;
let arr: [i32;LEN] = [0; LEN];

其实问题中的“动态”和“固定”这两个词本身就是矛盾的,但是我们可以通过Vec提供的功能来找到这个矛盾的平衡点。
代码如下:

fn main() {let n = 5;let items: &[i32] = &vec![0; n];let items1: &[i32] = &Vec::with_capacity(n);println!("items:{:?}", items);println!("items1:{:?}", items1);
}

打印结果如下:

items:[0, 0, 0, 0, 0]
items1:[]

可以发现items和items1的结果是不同的。

因此从内存分配的角度来看,使用vec!和Vec::with_capacity的区别如下:

  • vec!宏会根据提供的初始元素和长度,在堆上分配相应的内存空间,通过复制初始元素的方式来填充,存储这些元素。
  • Vec::with_capacity会在堆上分配相应的内存空间,但并没有向这个空间内填充任何元素。

数组元素的初始化

在通过vec![0;n]初始化数组时,数组元素的类型必须实现Copy trait,i32实现了Copy trait,因此通过vec![0;n]来初始化没有问题。但是如果数组元素是一个自定义的复杂类型(一般都没有实现Copy trait),就不能通过类似vec![0;n]这种方式来初始化数组了。

例如下面这段代码,Item没有实现Copy trait,因此初始化失败。

const LEN:usize = 3;
struct Item { name: String }
fn main() {let mut arr: [i32; LEN] = [0;LEN];let mut arr1: [Item; LEN] = [Item {name: "alan".to_string()};LEN];println!("{:?}", arr);
}

报错如下:

 --> src/main.rs:5:33|
5 |     let mut arr1:[Item; LEN] = [Item {name: "alan".to_string()};LEN] ;|                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `Item`|= note: the `Copy` trait is required because this value will be copied for each element of the array

这个时候,就可以通过Vec的push方法来向Vec中添加元素。好在我们事先通过with_capacity分配了内存空间,因此,在Vec长度小于n的情况下,向Vec中添加元素是不会再次分配内存空间。

 let mut vec3: Vec<Item> = Vec::with_capacity(n);vec3.push(Item {name: "Alan1".to_string(),});vec3.push(Item {name: "Alan2".to_string(),});vec3.push(Item {name: "Alan3".to_string(),});vec3.push(Item {name: "Alan4".to_string(),});vec3.push(Item {name: "Alan5".to_string(),});let items3: &[Item] = &vec3;

或者

let items4: &[Item] = &[Item {name: "Alan1".to_string(),},Item {name: "Alan2".to_string(),},Item {name: "Alan3".to_string(),},Item {name: "Alan4".to_string(),},Item {name: "Alan5".to_string(),},];

总结

在Rust中,数组的长度必须是常量,但是我们可以通过Vec提供的功能来实现“动态”初始化这个“常量”。

相同点

vec!和Vec::with_capacity都会根据设置的长度在堆上分配相应的内存空间;

不同点

Vec::with_capacity只会分配内存空间,但是不会填充值;vec!会通过复制初始值的方式来填充值;

这篇文章收录我的Rust-实战专栏。请关注我,不要错过更新哟。

这篇关于Rust-vec!与Vec::with_capacity初始化数组的区别的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/582162

相关文章

分辨率三兄弟LPI、DPI 和 PPI有什么区别? 搞清分辨率的那些事儿

《分辨率三兄弟LPI、DPI和PPI有什么区别?搞清分辨率的那些事儿》分辨率这个东西,真的是让人又爱又恨,为了搞清楚它,我可是翻阅了不少资料,最后发现“小7的背包”的解释最让我茅塞顿开,于是,我... 在谈到分辨率时,我们经常会遇到三个相似的缩写:PPI、DPI 和 LPI。虽然它们看起来差不多,但实际应用

GORM中Model和Table的区别及使用

《GORM中Model和Table的区别及使用》Model和Table是两种与数据库表交互的核心方法,但它们的用途和行为存在著差异,本文主要介绍了GORM中Model和Table的区别及使用,具有一... 目录1. Model 的作用与特点1.1 核心用途1.2 行为特点1.3 示例China编程代码2. Tab

Nginx指令add_header和proxy_set_header的区别及说明

《Nginx指令add_header和proxy_set_header的区别及说明》:本文主要介绍Nginx指令add_header和proxy_set_header的区别及说明,具有很好的参考价... 目录Nginx指令add_header和proxy_set_header区别如何理解反向代理?proxy

Java中&和&&以及|和||的区别、应用场景和代码示例

《Java中&和&&以及|和||的区别、应用场景和代码示例》:本文主要介绍Java中的逻辑运算符&、&&、|和||的区别,包括它们在布尔和整数类型上的应用,文中通过代码介绍的非常详细,需要的朋友可... 目录前言1. & 和 &&代码示例2. | 和 ||代码示例3. 为什么要使用 & 和 | 而不是总是使

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

Spring中@RestController和@Controller的使用及区别

《Spring中@RestController和@Controller的使用及区别》:本文主要介绍Spring中@RestController和@Controller的使用及区别,具有很好的参考价... 目录Spring中@RestController和@Controller使用及区别1. 基本定义2. 使

Qt 中 isHidden 和 isVisible 的区别与使用小结

《Qt中isHidden和isVisible的区别与使用小结》Qt中的isHidden()和isVisible()方法都用于查询组件显示或隐藏状态,然而,它们有很大的区别,了解它们对于正确操... 目录1. 基础概念2. 区别清见3. 实际案例4. 注意事项5. 总结1. 基础概念Qt 中的 isHidd

Spring、Spring Boot、Spring Cloud 的区别与联系分析

《Spring、SpringBoot、SpringCloud的区别与联系分析》Spring、SpringBoot和SpringCloud是Java开发中常用的框架,分别针对企业级应用开发、快速开... 目录1. Spring 框架2. Spring Boot3. Spring Cloud总结1. Sprin

Java中的runnable 和 callable 区别解析

《Java中的runnable和callable区别解析》Runnable接口用于定义不需要返回结果的任务,而Callable接口可以返回结果并抛出异常,通常与Future结合使用,Runnab... 目录1. Runnable接口1.1 Runnable的定义1.2 Runnable的特点1.3 使用Ru