Э
Хотя я не пишу, да, так что не должна.
Size: a a a
2020 March 24
D
Дорого. Кроме коровы, но она может даже дороже выйти, если вдруг посчитает, что я что-то куда-то пишу.
она не посчитает "вдруг" + это дешевле потенциальной ошибки, которую ты можешь совершить просто из-за банальной невнимательности
D
имхо, имхо, лучше просадить производительность на пару процентов, чем страдать от случайно незамеченного уб
Э
Ну, так-то ты прав, но Cow занимает три usize'a, плюс флаг Enum'a для стринги. И если на размер [&str; 10] как бы пофигу, то вектор там может быть довольно большим.
D
Э
Та же фигня, размер раздувает.
Э
println!(
"Hello, world! Cow: {}, String: {}",
size_of::<Cow<'static, str>>(),
size_of::<String>()
);
Hello, world! Cow: 32, String: 24
"Hello, world! Cow: {}, String: {}",
size_of::<Cow<'static, str>>(),
size_of::<String>()
);
Hello, world! Cow: 32, String: 24
r
Та же фигня, размер раздувает.
*const str
Э
red75prime
*const str
Но почему не ссылку? То есть, разуеется, эта срань ансейф, но почему его надо во все места пораспихать?
r
Но почему не ссылку? То есть, разуеется, эта срань ансейф, но почему его надо во все места пораспихать?
Потому что трансмут - потенциальный UB
Э
red75prime
Но компилятор этого не знает, и не знает, что ссылка как-то связана с массивом. Так что имеет право сделать например такую оптимизацию
наша_типа_статическая_str.ptr_eq(&vec[0]) -> false.Кстати, да, может и UB выстрелить.
Э
Спасибо.
AZ
red75prime
*const str
но *const str разыменовывать на невалидную память тоже уб
Э
Так-то там эти псевдо-статик ссылки только между собой сравниваются, но мало ли. Пойду исправлю.
AZ
что выигрываем-то?
Э
но *const str разыменовывать на невалидную память тоже уб
Почему ты до сих пор считаешь, что память может быть невалидна?
BV
Почему ты до сих пор считаешь, что память может быть невалидна?
потому что она может быть невалидна?
AZ
Почему ты до сих пор считаешь, что память может быть невалидна?
Потому что в контракте строки не сказано что она _обязана_ быть хип аллокейтед. Значит это деталь реализации, писать код с потенциальным уб с оглядкой на текущую реализацию - хрень
D
Та же фигня, размер раздувает.
какой он размер раздувает? https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=cd8bb8d19c2403d47bfa9bf506b54db6
r
но *const str разыменовывать на невалидную память тоже уб
Если в вектор только пушим, то UB не будет. Со ссылкой мы можем получить UB на ровном месте:
наша_типа_статическая_str.ptr_eq(&vec[0])