读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]
}