Вопрос больше для теории, если при компиляции известно, что вызывается

Question

Вопрос больше для теории, если при компиляции известно, что вызывается

метод с передачей значения с конкретным типом, дальше оборачивается в Option, то как убрать лишние проверки (на Some и т.д.)? Как вижу, даже unwrap_unchecked несёт в себе match. В данном случае, Option смотрится излишне, если значение есть.

#backend #embedded #programming #russian #rust

0

30.05.2021

11 ответов

14 просмотров

Денис Котляров

очень просто, я обычно беру вариант с uncreable. match data { Some(a) => a, None => { unreachable!() } } но я люблю больше match data { Some(a) => a, None => { debug_assert_eq!(true, false); unreachable!() } } а есть более жесткий вариант, но сравнений точно не будет (его любят использовать в std) match data { Some(a) => a, None => { debug_assert_eq!(true, false); // я бы добавил это unsafe { std::hint::unreachable_unchecked() } } }

0

30.05.2021

Yuriy Zymlex Автор вопроса

Эрик
Result<T, !>

это подразумевает какие-то доп. оптимизации? как вижу там тот же unwrap_unchecked с match

0

30.05.2021

Эрик

Yuriy Zymlex
это подразумевает какие-то доп. оптимизации? как в...

0

30.05.2021

Vladislav Markushin

Yuriy Zymlex
это подразумевает какие-то доп. оптимизации? как в...

unwrap_unchecked подразумевает оптимизацию, да

0

30.05.2021

Денис Котляров

Vladislav Markushin
unwrap_unchecked подразумевает оптимизацию, да

да, ведь он дергает std::hint::unreachable_unchecked() как я и сказал) даже debug_assert добавили

0

30.05.2021

Yuriy Zymlex Автор вопроса

Денис Котляров
да, ведь он дергает std::hint::unreachable_uncheck...

Не обратил внимание, спасибо

0

30.05.2021

Денис Котляров

Yuriy Zymlex
Не обратил внимание, спасибо

но обязательно добавьте хотя бы debug_assert... иначе будет полная морока с отладкой...

0

30.05.2021

Traveller Kolsky

Денис Котляров
очень просто, я обычно беру вариант с uncreable. ...

debug_assert_eq!(true, false, "{:#?}", panic!("{}", format!("false is true is {}", matches!(true, false) == true)));

0

30.05.2021

Денис Котляров

Traveller Kolsky
debug_assert_eq!(true, false, "{:#?}", panic!("{}"...

хаха) да-да)

0

30.05.2021

Yuriy Zymlex Автор вопроса

Эрик
Result<T, !>

С другой стороны, если метод при компиляции не вызывают (значение не передают), то нужен None, либо аналог null, но и проверка тут тоже не нужна (зачем проверять, если известно?)

0

30.05.2021

Эрик · Accepted Answer

Эрик

Result<T, !>

0

30.05.2021

172 похожих чатов

Вопрос больше для теории, если при компиляции известно, что вызывается

11 ответов

Похожие вопросы