Привет. Кто-нибудь может помочь с лайфтаймами функций? Вот пример, который

Question

Привет. Кто-нибудь может помочь с лайфтаймами функций? Вот пример, который

даёт мне ошибку (упростил реальный код, чтобы было легче понять суть). Не очень понимаю, где именно какие параметры поставить, чтобы сделать это корректным.

struct Test<'a> {
prop: &'a mut str,
}

impl<'a> Test<'a> {
fn method(&'a mut self) {
}
}

type ModifiesTest = fn(&mut Test);

const fns: [ModifiesTest; 1] = [Test::method,];

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=09274be33c4c8dc1b3efc6673611f1a4

#backend #embedded #programming #russian #rust

0

12.09.2021

10 ответов

17 просмотров

Макс Янков Автор вопроса

В ошибке = note: expected fn pointer `for<'r, 's> fn(&'r mut Test<'s>)` found fn pointer `fn(&mut Test<'_>)` Я попросту не понимаю синтаксис for<'r, 's> — не получается нагуглить. Где можно почитать больше об этой конструкции?

0

12.09.2021

Макс Янков Автор вопроса

Макс Янков
В ошибке = note: expected fn pointer `for<'r, ...

struct Test<'a> { prop: &'a mut str, } impl<'a> Test<'a> { fn method(&'a mut self) { } } type ModifiesTest = for<'a> fn(&'a mut Test<'a>); const fns: [ModifiesTest; 1] = [Test::method,]; https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=09274be33c4c8dc1b3efc6673611f1a4 Я вставил hrtp в тип функции, но это не особенно чему-то помогло

0

12.09.2021

red75prime

Макс Янков
struct Test<'a> { prop: &'a mut str, } impl<'...

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=482994a2dc50248ac51fd01006e6871a

0

12.09.2021

Kai Ren

red75prime
https://play.rust-lang.org/?version=stable&mode=de...

чёрная магия, колдун…

0

12.09.2021

Макс Янков Автор вопроса

red75prime
https://play.rust-lang.org/?version=stable&mode=de...

Опа. Оно действительно работет, спасибо. И эта статическая функция, которая будет храниться в статическом массиве, сможет работать с аргументами любого лайтайма, верно?

0

12.09.2021

red75prime

Макс Янков
Опа. Оно действительно работет, спасибо. И эта ста...

Да. Там проблема в том, что сигнатура Test::method не полностью HRTB, приходится конвертировать через замыкание

0

12.09.2021

Денис

red75prime
https://play.rust-lang.org/?version=stable&mode=de...

это же просто неявный статик

0

12.09.2021

Макс Янков Автор вопроса

Макс Янков
Опа. Оно действительно работет, спасибо. И эта ста...

Потому что мне кажется, что и аргументы этих функций тоже вынуждены будут быть статическими. По крайней мере, сообщения об ошибках когда я начинаю дальше экспериментировать очень на это намекают. Но я попробую

0

12.09.2021

Денис

Денис
это же просто неявный статик

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=e3b7adf235f4212a7b409f7cdf6127fd

0

12.09.2021