У меня есть два входных лайфтайма 'a, 'b и выходной

Question

лайфтайм 'c зависящий от этих двух. чтобы прописать такую зависимость нужно писать
'c: 'a + 'b
или
'a: 'c, 'b: 'c
?

0

06.07.2021

31 просмотр

А откуда этот третий лайфтайм берётся?

0

06.07.2021

fn foo(&'a T, &'b U) -> Bar<'c>

0

06.07.2021

Как он в Bar попадает? По-моему, тут только три варианта 'a, 'b -> 'a, 'a, 'b -> 'b, и 'a, 'a -> 'a

0

06.07.2021

fn f(x: &str, y; &str) -> &str { if rand() { x } else { y } }

0

06.07.2021

fn f(x: &'a X, y: &'b Y) -> Pin<Box<dyn Future + 'c>> { Box::pin(async move { x; y; }) }

0

06.07.2021

Третий вариант. 'a, 'a -> 'a. Какие-то сложности могут быть только с инвариантными лайфтаймами, но здесь их нет

0

06.07.2021

kitsu · Accepted Answer

Второй пример же совершенно про другое

0

06.07.2021