Телеграмм чат группы rust_offtopic страница 16343

Т-34 85

если ты осознанно заюзал возврат для успокоения компилятора, но не проверил, то ССЗБ. От этого и Rust не защитит

защитит конечно

17:03пожаловаться #1

AZ

https://godbolt.org/z/YebPKo

enum class Result
{
Success,
Error
};

[[nodiscard]]Result CalculateFactorial(const int value, int &result)
{
if (value < 0)
{
result = -1;
return Result::Error;
}

result = 1;
for(int i = 2; i <= value; ++i)
{
result *= i;
}
return Result::Success;
}

int main()
{
int factorial;
auto _ = CalculateFactorial(5, factorial);
std::cout << "factorial is " << factorial << std::endl;
return 0;
}

17:03пожаловаться #2

ГС

защитит конечно

что значит "просто так не достать"? Кто мне запретит пощупать, не проверив на null?

17:03пожаловаться #3

AZ

Т-34 85

ну, простенькое
https://godbolt.org/z/qd749x

enum class Result
{
Success,
Error
};

[[nodiscard]]Result CalculateFactorial(const int value, int &result)
{
if (value < 0)
{
result = -1;
return Result::Error;
}

result = 1;
for(int i = 2; i <= value; ++i)
{
result *= i;
}
return Result::Success;
}

int main()
{
int factorial;
CalculateFactorial(5, factorial);
std::cout << "factorial is " << factorial << std::endl;
return 0;
}

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=be3599a07acacd3496487c47ca351cec

покажи теперь как результатом factorial можно воспользоваться без проверки в расте

play.rust-lang.org

Rust Playground

A browser interface to the Rust compiler to experiment with the language

17:04пожаловаться #4

Т8

Т-34 85 in rust_offtopic

https://godbolt.org/z/YebPKo

enum class Result
{
Success,
Error
};

[[nodiscard]]Result CalculateFactorial(const int value, int &result)
{
if (value < 0)
{
result = -1;
return Result::Error;
}

result = 1;
for(int i = 2; i <= value; ++i)
{
result *= i;
}
return Result::Success;
}

int main()
{
int factorial;
auto _ = CalculateFactorial(5, factorial);
std::cout << "factorial is " << factorial << std::endl;
return 0;
}

https://godbolt.org/z/anK1df

enum class Result
{
Success,
Error
};

[[nodiscard]]Result CalculateFactorial(const int value, int &result)
{
if (value < 0)
{
result = -1;
return Result::Error;
}

result = 1;
for(int i = 2; i <= value; ++i)
{
result *= i;
}
return Result::Success;
}

int main()
{
int factorial;
auto _ = CalculateFactorial(5, factorial);
std::cout << "factorial is " << factorial << std::endl;
return 0;
}

17:06пожаловаться #5

Т8

Т-34 85 in rust_offtopic

Георгий Седометов

что значит "просто так не достать"? Кто мне запретит пощупать, не проверив на null?

тот же, кто запретит заюзать unwrap() без проверок

17:07пожаловаться #6

Т8

Т-34 85 in rust_offtopic

A browser interface to the Rust compiler to experiment with the language

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=be3599a07acacd3496487c47ca351cec

покажи теперь как результатом factorial можно воспользоваться без проверки в расте

play.rust-lang.org

Rust Playground

.unwrap()?

17:07пожаловаться #7

ГС

Т-34 85

тот же, кто запретит заюзать unwrap() без проверок

ну так unwrap - это буквально и есть "заюзать значение без проверок". Никакого неявного преобразования из null во что угодно нет

17:08пожаловаться #8

AZ

Т-34 85

.unwrap()?

unwrap тебе не достанет значение которого нет

17:09пожаловаться #9

Т8

Т-34 85 in rust_offtopic

Георгий Седометов

ну так unwrap - это буквально и есть "заюзать значение без проверок". Никакого неявного преобразования из null во что угодно нет

то есть, защиты нет от того, что ты забьёшь на проверку? А разница?

17:09пожаловаться #10

AZ

Т-34 85

тот же, кто запретит заюзать unwrap() без проверок

unwrap без проверок не получится вызывать

17:09пожаловаться #11

AZ

unwrap это буквально "проверить и кинуть панику если значения нет"

17:10пожаловаться #12

AZ

ключевое слово "проверить"

17:11пожаловаться #13

AZ

никакого unwrap_unsafe() нет слава богу

17:11пожаловаться #14

ГС

unwrap это буквально "проверить и кинуть панику если значения нет"

да, так правильнее

17:11пожаловаться #15

Т8

Т-34 85 in rust_offtopic

ключевое слово "проверить"

а если не нужна паника? Но она будет кинута...

17:12пожаловаться #16

Т8

Т-34 85 in rust_offtopic

неожиданно

17:12пожаловаться #17

Ct

Casual tears in rust_offtopic

Т-34 85

а если не нужна паника? Но она будет кинута...

Не нужна паника - проверяй ручками или пользуйся другими методами на Result.

17:13пожаловаться #18

Т8

Т-34 85 in rust_offtopic

ты думал, что там всё заебись, но не предусмотрел всего

17:13пожаловаться #19

ГС

Т-34 85

а если не нужна паника? Но она будет кинута...

если хочешь обработать ошибку - обработай через паттерн матчинг или комбинаторы. Программа с некорректным значением не должна работать