Э
Нормально я всё сделал.
Size: a a a
2020 March 24
Э
transmute<&'a T, &'static T>(s.as_str())
AZ
вижу трансмут лайфтаймов & говорю что написана хрень
Э
Да, спасибо, конечно я буду всю стрингу копировать, вместо ссылки на неё.
В
transmute<&'a T, &'static T>(s.as_str())
А есть полный код?
AZ
Да, спасибо, конечно я буду всю стрингу копировать, вместо ссылки на неё.
1. мне тяжело представить когда это реально нужно
2. без трансмута обратно в старый лайфтайм это инста-уб
2. без трансмута обратно в старый лайфтайм это инста-уб
Э
1. мне тяжело представить когда это реально нужно
2. без трансмута обратно в старый лайфтайм это инста-уб
2. без трансмута обратно в старый лайфтайм это инста-уб
Эти ссылки хранятся в массиве, который умирает внутри функции, а вектор возвращается фукнцией, так что ссылки не могут пережить реальные объекты.
Э
Вектор изменяется только push'ами.
Э
Сами стринги внутри вектора не меняются.
Э
Я пишу ансейф, а не UB.
r
Да, спасибо, конечно я буду всю стрингу копировать, вместо ссылки на неё.
transmute отвязывает ссылку на &str от вектора, надо полагать для того, чтобы вектор изменять. В результате имеем иммутабельную ссылку внутрь вектора и мутабельную ссылку на вектор (тот же push принимает &mut self), то есть UB
Э
red75prime
transmute отвязывает ссылку на &str от вектора, надо полагать для того, чтобы вектор изменять. В результате имеем иммутабельную ссылку внутрь вектора и мутабельную ссылку на вектор (тот же push принимает &mut self), то есть UB
Нет, смотри, есть Vec<String>.
А⚙
Вектор изменяется только push'ами.
У тебя вектор может переаллоцировать данные на пуше и инвалидировать ссылки
Э
И String не изменяется, но храниться должен именно так, чтобы его потом вернуть.
r
У тебя вектор может переаллоцировать данные на пуше и инвалидировать ссылки
Нет. Там ссылка на данные строки -
&strА⚙
red75prime
Нет. Там ссылка на данные строки -
&strВот именно
AZ
red75prime
Нет. Там ссылка на данные строки -
&strи? Вектор не может дропнуть String на который ссылается str?
Э
Вот именно
Вектор при переаллокации копирует байты в новое, но копирует старые байты.
Э
Стринга хранит данне не в себе, а как и вектор - в куче.
r
И String не изменяется, но храниться должен именно так, чтобы его потом вернуть.
MIRI что по этому поводу говорит?