Обработка паники и безопасность памяти в Rust

RustRustBeginner
Практиковаться сейчас

This tutorial is from open-source community. Access the source code

💡 Этот учебник переведен с английского с помощью ИИ. Чтобы просмотреть оригинал, вы можете перейти на английский оригинал

Введение

В этом практическом занятии мы изучаем макрос panic! в Rust, который можно использовать для генерации паники и начала разматывания стека, что заставляет программу вывести сообщение о панике и завершиться. Время выполнения освобождает все ресурсы, принадлежащие потоку, вызывая деструктор его объектов. Мы также рассмотрим пример использования макроса panic! для обработки деления на ноль и проверим, что это не приводит к утечкам памяти с использованием Valgrind.

Примечание: Если практическое занятие не задает имя файла, вы можете использовать любое имя файла, которое хотите. Например, вы можете использовать main.rs, скомпилировать и запустить его с помощью rustc main.rs &&./main.


Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/ErrorHandlingandDebuggingGroup(["Error Handling and Debugging"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/ErrorHandlingandDebuggingGroup -.-> rust/panic_usage("panic! Usage") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/integer_types -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/string_type -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/function_syntax -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/expressions_statements -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/lifetime_specifiers -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/method_syntax -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/panic_usage -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} rust/operator_overloading -.-> lab-488373{{"Обработка паники и безопасность памяти в Rust"}} end

panic!

Макрос panic! можно использовать для генерации паники и начала разматывания стека. Во время разматывания время выполнения освободит все ресурсы, принадлежащие потоку, вызвав деструктор всех его объектов.

Поскольку мы работаем с программами, содержащими только один поток, panic! заставит программу вывести сообщение о панике и завершиться.

// Переосуществление деления целых чисел (/)
fn division(dividend: i32, divisor: i32) -> i32 {
    if divisor == 0 {
        // Деление на ноль вызывает панику
        panic!("деление на ноль");
    } else {
        dividend / divisor
    }
}

// Задача `main`
fn main() {
    // Целое число, выделенное в куче
    let _x = Box::new(0i32);

    // Эта операция вызовет неудачу задачи
    division(3, 0);

    println!("Эта точка не будет достигнута!");

    // `_x` должно быть уничтожено в этом месте
}

Проверим, что panic! не утекает память.

<!-- REUSE-IgnoreStart -->
<!-- Prevent REUSE from parsing the copyright statement in the sample code -->
$ rustc panic.rs && valgrind./panic
==4401== Memcheck, a memory error detector
==4401== Copyright (C) 2002-2013, and GNU GPL'd, by Julian Seward et al.
==4401== Using Valgrind-3.10.0.SVN and LibVEX; rerun with -h for copyright info
==4401== Command:./panic
==4401==
thread '<main>' panicked at 'деление на ноль', panic.rs:5
==4401==
==4401== HEAP SUMMARY:
==4401==     in use at exit: 0 bytes in 0 blocks
==4401==   total heap usage: 18 allocs, 18 frees, 1,648 bytes allocated
==4401==
==4401== All heap blocks were freed -- no leaks are possible
==4401==
==4401== For counts of detected and suppressed errors, rerun with: -v
==4401== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
<!-- REUSE-IgnoreEnd -->

Резюме

Поздравляем! Вы завершили практическое занятие по Panic!. Вы можете выполнить больше практических занятий в LabEx, чтобы улучшить свои навыки.