读Rust程序设计语言 - 04

语言/Rust

数据类型 - Rust 程序设计语言 简体中文版

数据类型

• rust 声明的变量一定属于某一数据类型
• 两类子集 标量 和 复合
• rust 是静态类型语言

标量类型

• 标量(scalar) 类型代表一个单独的值,Rust有四种基本的标量类型,整形,浮点型,布尔型,字符串型

整形

• 整形是么有小数部分的数字

Rust中的整型

PS. 整型溢出

• 比方说有一个 u8 ，它可以存放从零到 255 的值。那么当你将其修改为 256 时会发生什么呢？这被称为 “整型溢出”（“integer overflow” ），关于这一行为 Rust 有一些有趣的规则。当在 debug 模式编译时，Rust 检查这类问题并使程序 panic，这个术语被 Rust 用来表明程序因错误而退出。第九章 “panic! 与不可恢复的错误” 部分会详细介绍 panic。
• 在 release 构建中，Rust 不检测溢出，相反会进行一种被称为二进制补码包装（two’s complement wrapping）的操作。简而言之，256 变成 0，257 变成 1，依此类推。依赖整型溢出被认为是一种错误，即便可能出现这种行为。如果你确实需要这种行为，标准库中有一个类型显式提供此功能，[Wrapping](https://rust-lang.budshome.com/std/num/struct.Wrapping.html)。

Rust 中的整型字面值

浮点型

• f32和f64两种
• 32-bit 64-bit
• 默认是float64

fn mian(){
    let x = 2.0; // f64
    let y: f32 = 3.0; // f32
}

数值运算

pub fn math() {
    // 加法
    let sum = 1 + 2;
    // 减法
    let difference = 95.3 - 93 as f64;
    // 乘法
    let product = 4 * 30;

    // 除法
    let quotient = 56.7 / 32.2;

    // 取余
    let remainder = 43 % 5;

    println!(
        "sum: {},difference: {},product: {},quotient: {},remainder: {}",
        sum, difference, product, quotient, remainder
    )
}

布尔型

• true
• false

字符类型

• 在rust中 双引号和单引号表达的值是不一样的
• '' 表示的是 char 值 "" 表示的是string 的地址

复合类型

复合类型可以将多个值组成一个类型

• 元组(tuple)
• 数组(array)

元组类型

元组是一个将多个其他类型的值组合进一个复合类型的主要方式,

• 元组长度固定:一旦声明,其长度不会增大或缩小

fn main(){
    let tup: (i32,f64,u8) = (500,6.4,1)
}

tup 变量绑定在一个元组上

• 在元组中取值可以使用匹配(pattern matching)来结构(destruction)元组值

fn main(){
    let tup = (500,6.4,1);
    let (x,y,z) = tup;
    println!("value x:",x);
}

• 元组类似于js中数组的引用方式 .0

fn main(){
    let tup = (500,6.4,1);

    println!("value x:",tup.0);
}

数组类型

• 与元组不同,数组内的每个元素的类型必须相同
• 数组的长度也是固定的,一旦声明,长度不能增加或者减少

fn main(){
    let arr = [0,1,2,3]
}

• 在rust中有一种类型是vector类型
• vector类型是标准库提供的 允许 增加和减少长度的类似数组的集合类型,当不确定使用 数组 还是 vector的时候 应当使用 vector

// 手动定义数组类型和长度
fn main(){
    let arr: [i32;5] = [0,1,2,3,4]
}

// 手动定义一个每一个元素都相同的数组
fn main(){
  let arr = [3;5]
}