Rust 速通 - 生成验证码示例

一、参考资料

Rust Course

二、函数功能

输入：验证码长度 length

输出：由字母和数字构成的 length 长度的字符串

三、实现代码

use rand::Rng;
use rand::rngs::ThreadRng;

fn generate_verify_code(length: u8) -> String {

    // 使用动态数组保存验证码结果
    let mut verify_code_vec: Vec<char> = Vec::new();

    // 验证码组成库
    const CHAR_ARRAY: [char; 62] = [
        '1', '2', '3', '4', '5', '6', '7', '8', '9', '0',
        'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j',
        'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r', 's', 't',
        'u', 'v', 'w', 'x', 'y', 'z',
        'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J',
        'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T',
        'U', 'V', 'W', 'X', 'Y', 'Z'
    ];

    // 随机生成 N 位验证码
    let mut rng: ThreadRng = rand::thread_rng();
    for _i in 0..length {
        verify_code_vec.push(CHAR_ARRAY[rng.gen_range(0..CHAR_ARRAY.len())]);
    }

    // 返回生成的验证码
    String::from_iter(verify_code_vec.iter())
}

fn main() {
    println!("generate_verify_code [ {:?} ]", generate_verify_code(4))
}

四、运行结果

五、语法解析

1、函数声明

图片来自 Rust Course

a、参数与返回值

fn generate_verify_code(length: u8) -> String {...}

fn 为声明关键字
generate_verify_code 为函数名
length: u8 指定参数名和参数类型
-> String 指定返回值类型

返回值可以通过 return 关键字提前返回，或者使用最后一个表达式作为返回。

// 特别注意，以 ";" 结尾的是语句，没有 ";" 结尾的才是表达式

// 1、表达式返回
String::from_iter(verify_code_vec.iter())

// 2、return 返回
return String::from_iter(verify_code_vec.iter())

b、无返回值()

主函数 main 是一个没有参数也没有返回值的函数，无返回值也是一种值，实际上会隐式返回一个单元类型（）。

fn main() {

// 等同于

fn main() -> () {

c、永不返回

当用 ! 作函数返回类型的时候，表示该函数永不返回( diverge function )，特别的，这种语法往往用做会导致程序崩溃的函数。

——Rust Course

// 永不返回的发散函数，这种语法往往用做会导致程序崩溃的函数
fn diverge_function() -> ! {
   // panic!("ERROR!!!");
    loop {
        println!("ERROR")
    };
}

fn main() {
    println!("generate_verify_code [ {:?} ]", generate_verify_code(4));
    // 永不返回的发散函数，程序止步于此，无法继续往下走
    diverge_function();
    // Unreachable code
    println!("generate_verify_code [ {:?} ]", generate_verify_code(4));
}

可以看到，编译时的警告，在发散函数以下的语句无法执行。

2、变量与常量

// 由 let 关键字定义变量，但是变量是不可变的，需要 mut 关键字修饰才能改变它的值
// 这里定义了一个 char 类型的动态数组，数组的值可变
let mut verify_code_vec: Vec<char>

// 由 const 关键字定义常量，这里定义了一个 char 类型长度为 62 的数组
const CHAR_ARRAY: [char; 62]

但是在 for 循环中的 i 变量怎么会有一个 _ 前缀？

for _i in 0..length {

通常定义了变量就要使用，而未使用的变量可以通过下划线 _ 告诉编译器忽略该变量，否则编译器会提示告警，以下两种写法都可以。

// 1、忽略变量 i
for _i in 0..length {

// 2、用 _ 忽略循环中的值
for _ in 0..length {

3、动态数组与静态数组

//TODO