Э
Компилятор считает, что ты всё используешь.
Size: a a a
2020 October 10
A
что значит используешь. Ну захотелось тебе в пустом контексте заюзать вычисление. Ну что ж с того.
Э
Кстати, если бы компилятор ругался на
123;, то он бы ругался и на println!();.PK
Я просто пришёл с MISRA C++, где такие вещи обычно запрещены, и хотел понять, можно ли здесь призвать компилятор к содействию. Clippy ещё не пробовал
PK
я, на самом деле, не практическую проблему решаю, а просто тыкаю палочкой
Э
Я просто пришёл с MISRA C++, где такие вещи обычно запрещены, и хотел понять, можно ли здесь призвать компилятор к содействию. Clippy ещё не пробовал
Погугли как в CI запускать клиппи и денаить ворнинги.
Э
В смысле, денаить ворнинги клиппи.
PK
ок, спасибо
АМ
Ребята, подскажите, как отметить одну из ветвей match как невозможную, но без паник?
Вроде
Вроде
let x = if let SomeEnum::First = variable {
return Err(());
} else {
match variable {
SomeEnum::Second => expr(),
SomeEnum::First => unreachable_without_panic!() // this
}
};АМ
Пример, конечно, из пальца, но суть должен передать.
ИЛ
Ребята, подскажите, как отметить одну из ветвей match как невозможную, но без паник?
Вроде
Вроде
let x = if let SomeEnum::First = variable {
return Err(());
} else {
match variable {
SomeEnum::Second => expr(),
SomeEnum::First => unreachable_without_panic!() // this
}
};MB
Ребята, подскажите, как отметить одну из ветвей match как невозможную, но без паник?
Вроде
Вроде
let x = if let SomeEnum::First = variable {
return Err(());
} else {
match variable {
SomeEnum::Second => expr(),
SomeEnum::First => unreachable_without_panic!() // this
}
};А что должно произойти, если он все-таки выполнился?
MB
Если ты уверен что недостижимо, и не можешь выразить это в типах то да, unreachable_unchecked
АМ
А что должно произойти, если он все-таки выполнился?
Никогда не выполнится, зачем думать что должно произойти?
в🧇
Ребята, подскажите, как отметить одну из ветвей match как невозможную, но без паник?
Вроде
Вроде
let x = if let SomeEnum::First = variable {
return Err(());
} else {
match variable {
SomeEnum::Second => expr(),
SomeEnum::First => unreachable_without_panic!() // this
}
};abort()?MB
Никогда не выполнится, зачем думать что должно произойти?
Ну типа если ты не прав, и при каких-то условиях этот случай все-таки выполнится, то поведение программы будет неопреедленным и может случиться что угодно
MB
Ну например если через полгода ты поменяешь первый if
AV
Компилятор вроде умеет выкидывать недостижимые паники