Rust 程式設計影片教程（進階）——027_2 高階特性 2

頭條地址：https://www.ixigua.com/i677586170644791348...
Ｂ站地址：https://www.bilibili.com/video/av81202308/

github地址：https://github.com/anonymousGiga/learn_rus...

1、從不返回的never type
Rust 有一個叫做 ! 的特殊型別。在型別理論術語中，它被稱為 empty type，因為它沒有值。我們更傾向於稱之為 never type。在函式不返回的時候充當返回值：

fn bar() -> ! { 
    // --snip--
}

例子1：
//Cargo.toml檔案

[dependencies] rand = "0.6.0"

//src/main.rs

use std::io; 
use std::cmp::Ordering; 
use rand::Rng; 
fn main() { 
    println!("Guess the number!"); 
    let secret_number = rand::thread_rng().gen_range(1, 101);
    loop { 
        println!("Please input your guess."); 
        let mut guess = String::new(); 
        io::stdin().read_line(&mut guess) .expect("Failed to read line"); 
        let guess: u32 = match guess.trim().parse() { 
            Ok(num) => num, 
            Err(_) => continue, //continue 的值是 !。
            //當 Rust 要計算 guess 的型別時，它檢視這兩個分支。
            //前者是 u32 值，而後者是 ! 值。
            //因為 ! 並沒有一個值，Rust 決定 guess 的型別是 u32
            };         

        println!("You guessed: {}", guess); 
        match guess.cmp(&secret_number) { 
            Ordering::Less => println!("Too small!"), 
            Ordering::Greater => println!("Too big!"), 
            Ordering::Equal => { 
                println!("You win!"); 
                break; 
            } 
        } 
    } 
}

說明：never type 可以強轉為任何其他型別。允許 match 的分支以 continue 結束是因為 continue 並不真正返回一個值；相反它把控制權交回上層迴圈，所以在 Err 的情況，事實上並未對 guess 賦值。

例子2：panic!
Option 上的 unwrap 函式程式碼：

impl<T> Option<T> { 
    pub fn unwrap(self) -> T { 
        match self { 
            Some(val) => val, 
            None => panic!("called `Option::unwrap()` on a `None` value"),
        } 
    }
}

說明：
match 時，Rust 知道 val 是 T 型別，panic! 是 ! 型別，所以整個 match 表示式的結果是 T 型別。

本作品採用《CC 協議》，轉載必須註明作者和本文連結

令狐一衝

Rust 程式設計影片教程（進階）——027_2 高階特性 2

相關文章