Э
Так что &str валидный, пока вектор не изменит String внутри себя явно или дропом.
Size: a a a
2020 March 24
Э
red75prime
MIRI что по этому поводу говорит?
Не знаю, не включал её на тот код.
Э
Вот с Vec<SmallVec> так делать нельзя.
Э
А со стандартной стрингой - можно.
AZ
если бы ты сформулировал зачем такое понадобилось было бы лучше. Во-первых очень ногострельно, во-вторых я до сих пор не уверен что оно не уб
AZ
ничто не мешает вектору скопировать строку в новое место при аллокации и вызвать дроп на старой
Э
ничто не мешает вектору скопировать строку в новое место при аллокации и вызвать дроп на старой
Здравый смысл и zero-cost'ы?
AZ
Здравый смысл и zero-cost'ы?
Ага, здравый смысл. например аллокатор увидел что можно данные более кэш-френдли компактнее хранить, и вектор решил переаллоцировать строку (ведь это деталь реализации). Что, такого быть не может?
Э
Вектор не вызывает Drop::drop() на элемент, пока тебе это не нужно будет в явном виде. Все реаллокации просто копируют байты без дропа.
Э
Иначе была бы пизда хуёвая со всех сторон.
AZ
Вектор не вызывает Drop::drop() на элемент, пока тебе это не нужно будет в явном виде. Все реаллокации просто копируют байты без дропа.
этого нет в апи, значит на такое поведение рассчитывать нельзя
D
ничто не мешает вектору скопировать строку в новое место при аллокации и вызвать дроп на старой
мешает то, что он не знает, как это сделать)
AZ
ИЧСХ если в расте например в стрингах появится оптимизация что строки до 16 символов например на стеке хранятся
Э
Не появится, потому что breaking change и надо делать rust 2.0
Э
Хочешь стековые массивы и стринги - бери SmallVec и SmallString.
AZ
Не появится, потому что breaking change и надо делать rust 2.0
это не брекинг ченж потому что нет публичных апи которые бы требовали такое поведение
r
Так что &str валидный, пока вектор не изменит String внутри себя явно или дропом.
Но компилятор этого не знает, и не знает, что ссылка как-то связана с массивом. Так что имеет право сделать например такую оптимизацию
наша_типа_статическая_str.ptr_eq(&vec[0]) -> false.D
@iccsf а что мешает Cow/Rc/Arc заюзать?
AZ
благо для FFI есть отдельный CString
Э