в🧇
Ну понятно. Но как жить если нужны автотрейты?
Автотрейты параллельны. Речь только про негативные баунды
Size: a a a
2020 September 18
V
Автотрейты параллельны. Речь только про негативные баунды
Ну вроде как они только для них существуют сейчас. Ты точно уверен что параллельны? https://github.com/rust-lang/rust/issues/13231
в🧇
Ну вроде как они только для них существуют сейчас. Ты точно уверен что параллельны? https://github.com/rust-lang/rust/issues/13231
negative impls != negative bounds
2020 September 19
EG
С negative impls как раз проблемы чисто технические
EG
А вот с negative bounds теоретические — они ломают semver
в🧇
А вот с negative bounds теоретические — они ломают semver
sad but true
К
Как считать N байт в вектор из impl Read, не заполняя его предварительно?
К
Гугл ничего не подсказал. Неужели, только unsafe?
OA
Может BufMut из крейта bytes?
MB
В данный момент это настолько тонкий лед, что лучше и не пытаться имхо
К
Или забить, и считать, что в методе resize, заполнение незначительно по времени в сравнении с аллокацией?
MB
Но RFC, добавляющий хорошую поддержку для неинициализированных буферов, есть и наверняка будет принят.
К
Но RFC, добавляющий хорошую поддержку для неинициализированных буферов, есть и наверняка будет принят.
Это радует
К
Может BufMut из крейта bytes?
Спасибо, гляну
К
Кирилл
Или забить, и считать, что в методе resize, заполнение незначительно по времени в сравнении с аллокацией?
Речь о десятках-сотнях Мб
MB
Кирилл
Или забить, и считать, что в методе resize, заполнение незначительно по времени в сравнении с аллокацией?
Я бы забил.
Но если все-таки хочешь, то тут два момента.
1) Надо убедиться, что реализация Read такое дозволяет. Если она конкретная, то это может быть написано в документации или еще где-то.
Если обобщенная, то ты должен использовать метод Read::initializer (а значит потребуется найтли компилятор).
2) буфер можно создать через MaybeUninit::uninit_array().assume_init() или Vec::with_capacity + v.set_len(v.capacity()).
И то и то ансейф, и то и то "blessed UB" (то есть формально это UB, но работает всегда правильныи образом).
Но если все-таки хочешь, то тут два момента.
1) Надо убедиться, что реализация Read такое дозволяет. Если она конкретная, то это может быть написано в документации или еще где-то.
Если обобщенная, то ты должен использовать метод Read::initializer (а значит потребуется найтли компилятор).
2) буфер можно создать через MaybeUninit::uninit_array().assume_init() или Vec::with_capacity + v.set_len(v.capacity()).
И то и то ансейф, и то и то "blessed UB" (то есть формально это UB, но работает всегда правильныи образом).
MB
Соответственно в будущем это может привести к багам/уязвимостям.
в🧇
Кирилл
Гугл ничего не подсказал. Неужели, только unsafe?
А в чём проблема сделать
Vec::with_capacity() + .read_to_end?К
Я бы забил.
Но если все-таки хочешь, то тут два момента.
1) Надо убедиться, что реализация Read такое дозволяет. Если она конкретная, то это может быть написано в документации или еще где-то.
Если обобщенная, то ты должен использовать метод Read::initializer (а значит потребуется найтли компилятор).
2) буфер можно создать через MaybeUninit::uninit_array().assume_init() или Vec::with_capacity + v.set_len(v.capacity()).
И то и то ансейф, и то и то "blessed UB" (то есть формально это UB, но работает всегда правильныи образом).
Но если все-таки хочешь, то тут два момента.
1) Надо убедиться, что реализация Read такое дозволяет. Если она конкретная, то это может быть написано в документации или еще где-то.
Если обобщенная, то ты должен использовать метод Read::initializer (а значит потребуется найтли компилятор).
2) буфер можно создать через MaybeUninit::uninit_array().assume_init() или Vec::with_capacity + v.set_len(v.capacity()).
И то и то ансейф, и то и то "blessed UB" (то есть формально это UB, но работает всегда правильныи образом).
Спасибо. Пока забью. Если почувствую, что проседаю в этом месте, буду профилировать и оптимизировать. Просто, после плюсов, это ощущается очень непривычно)
К
А в чём проблема сделать
Vec::with_capacity() + .read_to_end?Не надо to_end. Надо N байт.