А⚙
Обоснуешь? А то вроде как Option/Result везде и всюду
Так это типы-суммы, а не типы-объединения
Size: a a a
2019 December 26
А⚙
rustjerk менее пассивно-агрессивен, не надо тут
О да, джерк активно агрессивен
А⚙
red75prime
Технически и без ограничений на T валидная. С единственным вариантом реализации
unimplemented!(). Но там я под T имел в виду любой тип и фактический тип возвращаемого значения может быть или ! или &'static TНеобязательно, есть же
Box::leakr
Необязательно, есть же
Box::leakкоторый тоже возвращает
'static ссылкуВ
А как ты в общем случае из enum восстановишь Self?
Так ты и из
-1 не востановишь -293874. Можешь пояснить что ты имеешь в виду?r
Ну да. Сигнатура не то чтобы невалидная, а вводящая в заблуждение. Получим не ссылку на значение, которое живёт
'a, а урезанную по времени жизни ссылку на значение, которое живёт 'staticAZ
Так это типы-суммы, а не типы-объединения
то есть maybeuninit нужным быть перестал?
А⚙
red75prime
который тоже возвращает
'static ссылкуhttps://doc.rust-lang.org/stable/std/boxed/struct.Box.html#method.leak
Не, там время жизни вообще не ограниченно
Не, там время жизни вообще не ограниченно
А⚙
Так ты и из
-1 не востановишь -293874. Можешь пояснить что ты имеешь в виду?Так у тебя Negative, а не -1
А⚙
то есть maybeuninit нужным быть перестал?
Это весьма специфический юзкейс
а
https://doc.rust-lang.org/stable/std/boxed/struct.Box.html#method.leak
Не, там время жизни вообще не ограниченно
Не, там время жизни вообще не ограниченно
Если время жизни не ограничено, то оно статик, нет?
В
Так у тебя Negative, а не -1
И в чём разница между
Negative и -1? Можешь обьяснить проблему?r
https://doc.rust-lang.org/stable/std/boxed/struct.Box.html#method.leak
Не, там время жизни вообще не ограниченно
Не, там время жизни вообще не ограниченно
О как. Можно ликать боксы со ссылками внутри. Впрочем, нашему
foo это не поможет. Ему неоткуда взять не 'static ссылки. Ну и ликнутый бокс, натурально, не будет дропнут по окончанию 'ar
Кстати, зачем может понадобиться делать
leak на боксе, содержащем нестатические ссылки? Кто-нибудь может придумать причину?а
Ссылка, которую возвращает Box валидна на протяжении всей жизни программы.
А⚙
И в чём разница между
Negative и -1? Можешь обьяснить проблему?В том, что если у тебя обобщённый тип, о котором ты ничего толком не знаешь, то
-1 этого типа ты полчить не можешьа
Невалидная она, кстати, не из-за лайфтаймов, а из-за того, что на тип ограничений нет
А какие ограничения на тип должны быть?
r
А какие ограничения на тип должны быть?
T: Default... не поможет. Вот если бы ConstDefault был, тогда да.r
А, хотя
Box::leak(Box::new(T::default()))А⚙
А какие ограничения на тип должны быть?
Любой трейт, предоставляющий функцию
() -> Self. Например, Default