RP
давай нетривиальный
fn foo<'a>(left: &'a str, right:&'a str, stonks:&str) -> &'a str{
match stonks {
"first"=> left,
"second"=> right,
_ => panic!("not stonks")
}
}
Size: a a a
2020 May 13
ML
По сигнатуре подобной функции foo без аннотаций невозможно вывести лайфтайм возвращаемого значения однозначно
ML
По сигнатуре == у тебя есть хедер и ты линкуешься к библиотеке
ML
Доступа к реализации для ее анализа нет
RP
верно. поэтому можно аннотировать ручками.
RP
У раста тоже проблемы с выводом типов: https://github.com/rust-lang/rust/issues/71838
Поэтому расту тоже нужны аннотации
Поэтому расту тоже нужны аннотации
ML
Дак да
ML
У раста тоже проблемы с выводом типов: https://github.com/rust-lang/rust/issues/71838
Поэтому расту тоже нужны аннотации
Поэтому расту тоже нужны аннотации
Хех, ну вот это недоработка
ML
По сигнатуре подобной функции foo без аннотаций невозможно вывести лайфтайм возвращаемого значения однозначно
А тут фундаментальная проблема
RP
@mersinvald Почему?
ML
@mersinvald Почему?
Что именно почему?
RP
почему фундаментальная проблема?
ML
Потому что данных не хватает
ML
Без аннотаций
ML
И хрен с этим что сделаешь
RP
так и расту не хватает
ML
Так с этим никто и не спорит)
VS
потому что сраная вебня ниодна не может в монотред
Блин, вы с Голдштнйном стоите друг друга. Один не хочет использовать Реакт на фронте другой не хочет мултитред или акторы на беке. Уууу блин. Молодцы, люблю вас 😁
ML
Я просто обратил внимание на то что в таком кейсе это не раст хреново лайфтаймы выводит, а различие дизайна: раст неоднозначные лайфтаймы заставляет писать явно by design, даже если бы их можно было выводить из тела имплементации, как в твоём примере выше.
Чтобы они всегда были однозначно отражены в сигнатуре и были очевидны вызывающему без ковыряния в кишках.
Чтобы они всегда были однозначно отражены в сигнатуре и были очевидны вызывающему без ковыряния в кишках.
RP
Я просто обратил внимание на то что в таком кейсе это не раст хреново лайфтаймы выводит, а различие дизайна: раст неоднозначные лайфтаймы заставляет писать явно by design, даже если бы их можно было выводить из тела имплементации, как в твоём примере выше.
Чтобы они всегда были однозначно отражены в сигнатуре и были очевидны вызывающему без ковыряния в кишках.
Чтобы они всегда были однозначно отражены в сигнатуре и были очевидны вызывающему без ковыряния в кишках.
lifetime elision - это что?)
ну и в С++ можно явно написать лайфтаймы
ну и в С++ можно явно написать лайфтаймы