`cargo check` în Rust

Cargo și rustup Cargo 1.16

Verifică dacă proiectul se compilează (tipuri, borrow checker) fără să producă executabilul. Este mult mai rapid decât cargo build.

Sintaxă

cargo check
cargo check --all-targets     # include testele și exemplele
cargo check --release

Ce face `cargo check`

cargo check parcurge toate etapele compilării care pot găsi erori – analiza sintaxei, verificarea tipurilor, borrow checker-ul – dar sare peste generarea codului mașină. De aceea este de câteva ori mai rapid decât cargo build.

Îl folosești des în timp ce scrii cod, ca să vezi erorile cât mai repede. Editoarele (prin rust-analyzer) fac o verificare asemănătoare la fiecare salvare.

--all-targets verifică și testele, exemplele și benchmark-urile, care altfel nu sunt compilate. Dacă vrei să și rulezi programul, ai nevoie tot de cargo build sau cargo run.

Exemple

Exemplul 1: Verificare fără erori

Cuvântul este „Checking”, nu „Compiling”, și durează doar câteva sutimi de secundă.

$ cargo check

Rezultat în terminal

Checking salut v0.1.0 (/home/ana/proiecte/salut)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.07s

Exemplul 2: Verificare cu o eroare de tip

Aceeași eroare pe care ar da-o cargo build, găsită fără compilarea completă.

// src/main.rs
fn main() {
    let varsta: u32 = "17";
    println!("Vârsta: {varsta}");
}

$ cargo check