Rust匿名類型
匿名類型
簡明扼要閉包從封閉範圍內捕捉變量。這是否有什麼後果? 它肯定不會。觀察一下在函數中調用一個封閉泛型要求,這是因爲它們定義如何要求:
// `F` must be generic.
fn apply<F>(f: F) where
F: FnOnce() {
f()
}
當封閉件被定義,編譯器隱式地創建一個新的匿名結構到內部存儲所捕獲的變量,通過之一 traits
: Fn
, FnMut
, 或 FnOnce
這種未知類型來實現功能。 這種類型被分配給被存儲直到調用變量。
由於這種新型的未知類型的,在功能的任何使用都需要泛型。但是,無限制類型參數(traits
: Fn
, FnMut
, 或FnOnce
(實現)足以指定它的類型。
// `F` must implement `Fn` for a closure which takes no
// inputs and returns nothing. Exactly what is required
// for `print`.
fn apply
(f: F) where
F: Fn() {
f()
}
fn main() {
let x = 7;
// Capture \`x\` into an anonymous type and implement
// \`Fn\` for it. Store it in \`print\`.
let print = || println!("{}", x);
apply(print);
}
也可以看看:
0 條評論,你可以發表評論,我們會進行改進
