Добрый вечер. Подскажите, пожалуйста, кто-нибудь про лайфтаймы. https://pastebin.com/raw/4HPiEqXN Есть ли возможность

Question

Добрый вечер. Подскажите, пожалуйста, кто-нибудь про лайфтаймы. https://pastebin.com/raw/4HPiEqXN Есть ли возможность

“отдать навсегда” в функцию значение, при этом, чтобы эта функция могла на аргументе вызвать метод трейта вида I<'p>::call(&'p self)?
Долго объяснять, но явный лайфтайм на self нужен, убрать не могу.

#backend #embedded #programming #russian #rust

0

05.01.2021

20 ответов

11 просмотров

Roman Gafiyatullin Автор вопроса

вафель 🧇🍓
where for<'a> P: I<'a>

Спасибо

0

05.01.2021

Roman Gafiyatullin Автор вопроса

вафель 🧇🍓
where for<'a> P: I<'a>

А этот for<‘a> умеет “спанниться” более, чем на один баунд в where?

0

05.01.2021

jit.js

Roman Gafiyatullin
А этот for<‘a> умеет “спанниться” более, чем на од...

а надо?

0

05.01.2021

Roman Gafiyatullin Автор вопроса

jit.js
а надо?

мне видится, что да. Сейчас попробую минимальный кейс сделать

0

05.01.2021

вафель 🧇🍓

Roman Gafiyatullin
А этот for<‘a> умеет “спанниться” более, чем на од...

Если я правильно понял вопрос, то нет.

0

05.01.2021

Roman Gafiyatullin Автор вопроса

вафель 🧇🍓
Если я правильно понял вопрос, то нет.

Хотелось выразить несколько типов относительно этого локального лайфтайма.

0

05.01.2021

Roman Gafiyatullin Автор вопроса

jit.js
а надо?

Удивительно, но как-то само разобралось

0

05.01.2021

вафель 🧇🍓

Roman Gafiyatullin
Хотелось выразить несколько типов относительно это...

например? какой бы баунд ты хотел написать?

0

05.01.2021

Roman Gafiyatullin Автор вопроса

Roman Gafiyatullin
Удивительно, но как-то само разобралось

Просто сделал for<‘here_p, ‘here_d> Interface<‘here_p, ‘here_d, …>

0

05.01.2021

jit.js

Roman Gafiyatullin
Хотелось выразить несколько типов относительно это...

for<'a> означает что лайфтайм 'a выводится внутри функции и ограничен временем выполнения функции. Думаю можно просто для каждого типа сделать for<'a> и будет хорошо

0

05.01.2021

Dmytro Polunin

Roman Gafiyatullin
Просто сделал for<‘here_p, ‘here_d> Interface<‘her...

Language: rust Source: trait Foo<T> {} impl<T, F> Foo<F> for T where F: for<'a, 'b> Fn(&'a &'b T) {} fn main() {}

0

05.01.2021

Roman Gafiyatullin Автор вопроса

вафель 🧇🍓
например? какой бы баунд ты хотел написать?

Хотел, сказать, что ‘’p_outer: ‘p_introduced_with_for’, но, оно похоже всегда справедливо (типа, лайфтайм из фора — не больше функции, а лайфтайм из параметров функции — никогда не меньше функции).

0

05.01.2021

Dmytro Polunin

Dmytro Polunin
Language: rust Source: trait Foo<T> {} impl<T, F>...

Вот пример. Тут хрен знает какой там лайфтайм и он не важен но тайпчекер требует.

0

05.01.2021

Roman Gafiyatullin Автор вопроса

Roman Gafiyatullin
Удивительно, но как-то само разобралось

Вариант с ничем не зарестрикченными свежевведёнными лайфтаймами казался слишком простым, чтобы заработать… https://pastebin.com/raw/2DkqzX0g

0

05.01.2021