даёт мне ошибку (упростил реальный код, чтобы было легче понять суть). Не очень понимаю, где именно какие параметры поставить, чтобы сделать это корректным.
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
В ошибке = note: expected fn pointer `for<'r, 's> fn(&'r mut Test<'s>)` found fn pointer `fn(&mut Test<'_>)` Я попросту не понимаю синтаксис for<'r, 's> — не получается нагуглить. Где можно почитать больше об этой конструкции?
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 в тип функции, но это не особенно чему-то помогло
У тебя наоборот
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=482994a2dc50248ac51fd01006e6871a
чёрная магия, колдун…
Опа. Оно действительно работет, спасибо. И эта статическая функция, которая будет храниться в статическом массиве, сможет работать с аргументами любого лайтайма, верно?
Да. Там проблема в том, что сигнатура Test::method не полностью HRTB, приходится конвертировать через замыкание
это же просто неявный статик
Потому что мне кажется, что и аргументы этих функций тоже вынуждены будут быть статическими. По крайней мере, сообщения об ошибках когда я начинаю дальше экспериментировать очень на это намекают. Но я попробую
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=e3b7adf235f4212a7b409f7cdf6127fd
Обсуждают сегодня