Programação em Rust | Manipulação de Erros e Segurança de Memória

Introdução

Neste laboratório, aprendemos sobre o macro panic! em Rust, que pode ser usado para gerar um erro (panic) e iniciar o desempilhamento da sua pilha, fazendo com que o programa reporte a mensagem de erro e saia. O tempo de execução cuida de liberar todos os recursos pertencentes à thread, chamando o destrutor dos seus objetos. Também analisamos um exemplo de utilização do macro panic! para lidar com divisão por zero e verificamos que não resulta em vazamentos de memória usando o Valgrind.

Nota: Se o laboratório não especificar um nome de ficheiro, pode usar qualquer nome de ficheiro que desejar. Por exemplo, pode usar main.rs, compilá-lo e executá-lo com rustc main.rs && ./main.

`panic!`

O macro panic! pode ser usado para gerar um erro (panic) e iniciar o desempilhamento da sua pilha. Durante o desempilhamento, o tempo de execução cuidará de liberar todos os recursos possuídos pela thread, chamando o destrutor de todos os seus objetos.

Como estamos a lidar com programas com apenas uma thread, panic! fará com que o programa reporte a mensagem de erro e termine.

// Reimplementação da divisão de inteiros (/)
fn division(dividend: i32, divisor: i32) -> i32 {
    if divisor == 0 {
        // Divisão por zero dispara um erro
        panic!("divisão por zero");
    } else {
        dividend / divisor
    }
}

// A tarefa `main`
fn main() {
    // Inteiro alocado no heap
    let _x = Box::new(0i32);

    // Esta operação irá disparar uma falha na tarefa
    division(3, 0);

    println!("Este ponto não será atingido!");

    // `_x` deverá ser destruído neste ponto
}

Vamos verificar se panic! não causa vazamentos de memória.

<!-- 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 'division by zero', 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 -->

Manipulação de Erros e Segurança de Memória em Rust

Introdução

`panic!`

Resumo