強制
A longer lifetime can be coerced into a shorter one so that it works inside a scope it normally wouldn't work in. This comes in the form of inferred coercion by the Rust compiler, and also in the form of declaring a lifetime difference:
// ここではRustはライフタイムを出来る限り短く見積もり、 // 2つの参照をそのライフタイムに押し込めます。 fn multiply<'a>(first: &'a i32, second: &'a i32) -> i32 { first * second } // `<'a: 'b, 'b>`は「ライフタイム`'a`は最低でも`'b`と同じ長さ」と読めます。 // ここでは、`&'a i32`をとり、`&'b i32`に圧縮して返します。 fn choose_first<'a: 'b, 'b>(first: &'a i32, _: &'b i32) -> &'b i32 { first } fn main() { let first = 2; // 長いライフタイム { let second = 3; // 短いライフタイム println!("The product is {}", multiply(&first, &second)); println!("{} is the first", choose_first(&first, &second)); }; }