AN
Ответ путешественника мне кажется более сложный вопрос ставит
Size: a a a
2021 April 17
ΑZ
нет никакой паники
ΑZ
просто юзай Fin
EG
Ну включи
const_evaluatable_checked и получитсяΑZ
impl<T, const LENGTH: Fin<usize::MAV_VALUE>> Vector<T, LENGTH> {
// The { LENGTH + 1 } isn't allowed yet in this context.
fn push(self) -> Vector<T, { LENGTH + 1 }>
{ unimplemented!() }
}
Шото типа такогоΑZ
а переполнение на уровне типов для простоты можно уб сделать
EG
Нельзя
Гарантируется, что у тебя нет UB, если ты не написал слово unsafe
Гарантируется, что у тебя нет UB, если ты не написал слово unsafe
EG
Это должно порождать ошибку компиляции
ΑZ
нет такого определения. Там есть список UB который при этом помечен как incomplete. можно добавить ещё одно :)
ΑZ
ладно, думаю сделают нормально. Я к тому что можно в типах выражать вещи вроде "не больше чем Х" и их юзать для проверки граничных таких условий
EG
Есть. Rust гарантирует, что невозможно породить UB, не написав
unsafe.EG
Ну эту фичу пилят, но там свои проблемы
Например, этот код не компилируется, а должен
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=33e651bc45599c9140c1ecc25dc81b78
Например, этот код не компилируется, а должен
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=33e651bc45599c9140c1ecc25dc81b78
EG
И она зависит от
const_generics, с которыми вообще всё плохоEG
Констдженерики айсятся на раз
AN
а разве для того чтобы это работало не нужна обратимость. Т.е. если у нас есть [T; f(N)] нам нужно знать какие N дают f(N) == M. Хм?
AN
допустим ты написал там N-1 и оно должно вывести область [1..usize::MAX]
AN
иначе будет какое то sfinae а это плохо
ΑZ
покажи ссылку плз
ΑZ
где они это гарантируют
EG
https://doc.rust-lang.org/reference/behavior-considered-undefined.html
> unsafe only means that avoiding undefined behavior is on the programmer
Подразумевая, что обычно это on the compiler
> unsafe only means that avoiding undefined behavior is on the programmer
Подразумевая, что обычно это on the compiler