一、什么是表达式Rust 核心哲学专业名词释义表达式ExpressionRust 中几乎一切都是表达式。表达式会产生一个值求值结果并可能带有副作用。Rust 是“表达式语言”expression-oriented language区别于 C/C 的“语句语言”。语句Statement执行操作但不产生值或值被忽略。分为声明语句let和表达式语句表达式后加;。块表达式Block Expression{ ... }本身就是一个表达式最后一行无;决定整个块的返回值。用法示例letx5u32;lety{// 块表达式letx_squaredx*x;letx_cubex_squared*x;x_cubex_squaredx// 最后一行无; → 返回值};letz{2*x;};// 有; → 返回 ()assert_eq!(155,y);assert_eq!((),z);注意事项与最佳实践块可以嵌套任意深度作用域独立Item 声明例外。深度提示Rust Reference 明确规定“块是另一种表达式”这让if、match、loop都能作为值使用是 Rust “一切皆表达式”哲学的核心。最佳实践函数体本身就是块表达式最后一行无;时返回其值隐式返回。永远不要在最后一行加;会变成()。二、表达式与流程控制优先级、运算符、语句专业名词释义运算符优先级与结合性Precedence AssociativityRust 有严格的优先级表从路径/方法调用最高到赋值/返回最低。整型溢出Integer OverflowDebug 模式 panicRelease 模式补码环绕wrapping。Never 类型!永不返回的类型diverging type可强转为任何类型。运算符优先级表从高到低Rust 官方标准优先级运算符/表达式结合性最高路径、方法调用、字段、函数调用左到右一元- * ! 、as* / %、 -、 左到右 ^、 ! 比较最低 等赋值、return、break右到左用法示例运算符 溢出 Neverletx6;assert_eq!(-x,-6);// Negassert_eq!(!x,-7);// Notassert_eq!(133,104);letmuta:u8255;// Debug: panic! Release: 99 (wrapping)aa100;// 255 100 99 (u8 环绕)// Never 类型示例letx:!panic!();// 永不返回lety:u32x;// 可强转任何类型注意事项与最佳实践优先级歧义必须加括号尤其是比较与逻辑混合。整型溢出永远不要依赖 Release 环绕行为使用checked_add、wrapping_add、saturating_add显式处理。Never 类型深度panic!、loop {}、continue、break无值时都返回!。常用于fn never() - ! { loop {} }或错误处理。最佳实践cargo clippy会警告潜在溢出生产代码必须用安全算术方法。三、条件表达式if / if-let专业名词释义if 表达式本身是表达式所有分支必须返回相同类型。if-let模式匹配的简化版if let Some(x) opt {}。用法示例letn5;letbig_nifn10n-10{10*n// i32}else{n/2// 必须同类型否则编译错误};// if-let推荐写法ifletSome(value)opt{println!({},value);}注意事项与最佳实践所有if/else分支类型必须一致编译器强制。if let比match更简洁但只匹配一种模式。深度提示if表达式可直接赋值let x if cond { a } else { b };这是 Rust 与 C 最大的区别。四、循环表达式loop / for / while label专业名词释义loop无限循环可返回值break value;。labellabel循环标签用于多层break/continue。for迭代器模式匹配for Pat in iter。用法示例// loop 返回值letresultloop{counter1;ifcounter10{breakcounter*2;// 返回值}};// 带 label 的多层 breakouter:foriin0..5{inner:forjin0..5{ifi*j6{breakouter;}}}// while let优雅弹出栈whileletSome(top)stack.pop(){println!({},top);}注意事项与最佳实践loop是返回值的首选比while true更清晰。嵌套循环必须用 label 精确控制break/continue。深度提示for循环本质是模式匹配 IntoIteratorfor Point { x, y } in points直接解构结构体。最佳实践优先for迭代器最安全while次之loop用于需要精确控制返回值的场景。五、范围表达式Range专业名词释义Rangestart..end不含 end、start..end含 end等六种标准库类型。用法示例letarr[0,1,2,3,4];assert_eq!(arr[..],[0,1,2,3,4]);// RangeFullassert_eq!(arr[1..3],[1,2]);// Rangeassert_eq!(arr[1..3],[1,2,3]);// RangeInclusiveforiin0..5{...}// 最常用注意事项与最佳实践范围表达式是std::ops::Range等结构体可用于切片、循环、迭代。..end包含结束值常用于for i in 1..10。最佳实践索引切片永远用范围避免手动计算边界。六、模式匹配match 进阶专业名词释义模式Pattern用于解构和匹配的语法字面量、_通配、| 联合、… 剩余、卫语句if。穷尽性Exhaustivenessmatch必须覆盖所有可能情况编译器检查。用法示例完整版matchvalue{1one,4|5not many,6..9a few,_others,// 通配符}letpair(2,-2);matchpair{(x,y)ifxyprintln!(twins),(x,y)ifxy0println!(antimatter!),_(),}注意事项与最佳实践match是 Rust 最强大控制流必须穷尽_或_通配。卫语句Guardif cond可过滤分支。深度提示if let、while let、for都是match的语法糖。最佳实践复杂枚举/结构体优先match简单情况用if let用#[derive(Debug)]方便调试。七、本章小结 进阶练习学完本章你应该能做到深刻理解 Rust “一切皆表达式”与块返回值机制熟练使用优先级、运算符、安全算术、Never 类型掌握条件、循环、范围表达式及 label精通模式匹配match 卫语句 穷尽检查进阶练习建议立刻敲代码用loopbreak value实现一个返回斐波那契第 n 项的函数。写一个多层嵌套循环用 label 精确跳出外层。用match 卫语句实现一个判断三角形类型的函数等边、等腰、直角等。用while let优雅处理一个VecOptionT过滤Some值。完