RP
так а в чем холивар? Гошное "нинужно" развечто
Так по хорошему, надо переписывать кучу стд апи, в том числе и итераторы
Size: a a a
2020 December 02
r
Но итератор всё-равно не вытанцовывается. Ограничение для лайфтайма Item'а не работает. https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=3de1c0a25557fca5ed14797418b827c1
K
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=1dfc7703de99c62f529c136d280d83d1
класс, даже с лайфтаймами работает
класс, даже с лайфтаймами работает
K
red75prime
Но итератор всё-равно не вытанцовывается. Ограничение для лайфтайма Item'а не работает. https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=3de1c0a25557fca5ed14797418b827c1
А зачем тебе gat тут вообще?
type Item = &'a mut T; тоже самое же в этом контексте, не?r
А зачем тебе gat тут вообще?
type Item = &'a mut T; тоже самое же в этом контексте, не?Нет. Тут смысл в том, что возвращаемый Item блокирует итератор на время своего существования (с 'a, отвязанным от &mut self в next, это не работает), что позволяет без проблем возвращать мутабельные ссылки.
С
red75prime
Но итератор всё-равно не вытанцовывается. Ограничение для лайфтайма Item'а не работает. https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=3de1c0a25557fca5ed14797418b827c1
там где-то должно быть место чтобы потребовать
'a: 'b, но его нетH
1) Здравствуйте, подскажите как на Rust написать приложение для десктопа и возможно ли?
2) Что обычно пишут на раст (игры, программы, веб, консольные приложения и тд)?
2) Что обычно пишут на раст (игры, программы, веб, консольные приложения и тд)?
RP
1) Здравствуйте, подскажите как на Rust написать приложение для десктопа и возможно ли?
2) Что обычно пишут на раст (игры, программы, веб, консольные приложения и тд)?
2) Что обычно пишут на раст (игры, программы, веб, консольные приложения и тд)?
1) https://github.com/hecrj/iced/
2) есть всё из перечисленного
2) есть всё из перечисленного
СЛ
1) https://github.com/hecrj/iced/
2) есть всё из перечисленного
2) есть всё из перечисленного
2) + ОС, драйвера, embedded и тд) практически что угодно
r
там где-то должно быть место чтобы потребовать
'a: 'b, но его нетНаписать
type Item<'b> where 'a: 'b = &'b mut T; можно, но не компилируется. lifetime bound not satisfiedH
2) + ОС, драйвера, embedded и тд) практически что угодно
Ос свою? Там нужен ассемблер?
RP
2) + ОС, драйвера, embedded и тд) практически что угодно
Ну и хэлло ворлды тоже пишут)
G
Видимо ответ - "потому что в компиляторе так написано". Struct expression парсит только path без type qualifier.
Не думаю, что в этом есть какой-то глубокий смысл
Не думаю, что в этом есть какой-то глубокий смысл
можно ли считать багом?
СЛ
Ос свою? Там нужен ассемблер?
ассемблер не часто нужен, gnu пока только присматривается к расту... есть эксперементальная ось на расте https://www.redox-os.org/
r
red75prime
Написать
type Item<'b> where 'a: 'b = &'b mut T; можно, но не компилируется. lifetime bound not satisfiedВпрочем, по смыслу это получается, что 'a должен пережить 'b для любого 'b
H
ассемблер не часто нужен, gnu пока только присматривается к расту... есть эксперементальная ось на расте https://www.redox-os.org/
Да, я видел эту операционку. Интересный эксперимент.
H
1) https://github.com/hecrj/iced/
2) есть всё из перечисленного
2) есть всё из перечисленного
Спасибо
С
red75prime
Впрочем, по смыслу это получается, что 'a должен пережить 'b для любого 'b
ну оно так и должно быть: итератор взятый по ссылке должен переживать любое своё значение, взятое по ссылке
r
ну оно так и должно быть: итератор взятый по ссылке должен переживать любое своё значение, взятое по ссылке
Не, у нас не может быть любого 'b, так как 'b берётся только из
&'с mut self в next, а 'с не может пережить 'a.С
red75prime
Не, у нас не может быть любого 'b, так как 'b берётся только из
&'с mut self в next, а 'с не может пережить 'a.значит 'b не должно переживать 'a, я ведь правильно понимаю?