Funzioni

fn gcd(a: u32, b: u32) -> u32 {
    if b > 0 {
        gcd(b, a % b)
    } else {
        a
    }
}

fn main() {
    println!("gcd: {}", gcd(143, 52));
}
This slide should take about 3 minutes.
  • I parametri di dichiarazione sono seguiti da un tipo (il contrario di alcuni linguaggi di programmazione) e quindi da un tipo restituito.
  • The last expression in a function body (or any block) becomes the return value. Simply omit the ; at the end of the expression. The return keyword can be used for early return, but the "bare value" form is idiomatic at the end of a function (refactor gcd to use a return).
  • Alcune funzioni non hanno alcun valore di ritorno e restituiscono il 'tipo di unità', (). Il compilatore lo dedurrà se il tipo restituito ->() viene omesso.
  • Overloading is not supported -- each function has a single implementation.
    • Always takes a fixed number of parameters. Default arguments are not supported. Macros can be used to support variadic functions.
    • Always takes a single set of parameter types. These types can be generic, which will be covered later.