Qu'est-ce qu'une signature et un type de fonction?

Question

J'ai trouvé l'alias de type ci-dessous dans un interpréteur Scheme que j'étudie. Lors de l'évaluation de l'AST, il reconnaît une fonction soit comme une fonction supportée nativement, soit comme une fonction définie par l'utilisateur. Je comprends la deuxième partie de la définition Enum, mais la première partie me échappe.

pub enum Function { 
    Native(ValueOperation), 
    Scheme(Vec<String>, Vec<Value>, Rc<RefCell<Environment>>), 
} 


type ValueOperation = fn(&[Value], Rc<RefCell<Environment>>) -> Result<Value, RuntimeError>; 

Comment fonctionne ce type d'alias? Est-ce que cette définition indique qu'un ValueOperation est juste un raccourci pour une signature de fonction? Je n'ai pas trouvé de mention de cet idiome dans les docs/livres officiels.

Quel est le but de la définition d'un alias de type pour une signature de fonction? Que pouvez-vous "faire" avec? Est-ce une sorte de pointeur de fonction?

Answer 1

La signature d'une fonction décrit:

• son nom
• ses arguments
• son résultat
• dans le cas des fonctions génériques, ses paramètres génériques, avec des limites potentiellement spécifiques

Par exemple, si vous définissez:

fn hello(s: &str) { 
    println!("Hello {}", s); 
} 

La signature de la fonction est fn hello(&str).

---

à Rust, chaque fonction a un type unique de , qui ne peut être nommé. Cependant, si vous avez une fonction, vous pouvez également la contraindre dans un type générique fn qui ne se soucie pas de l'identité de la fonction, mais seulement de la façon dont elle peut être utilisée.

Pour la fonction ci-dessus, ce type générique est: fn(&str) (ou fn(&str) ->() si nous souhaitons être explicites).

---

Ce type générique est utile pour faire abstraction de plusieurs fonctions avec une signature similaire. Par exemple:

fn add(left: i32, right: i32) -> i32 { left + right } 
fn sub(left: i32, right: i32) -> i32 { left - right } 

fn select(name: &str) -> fn(i32, i32) -> i32 { 
    match name { 
     "add" => add, 
     "sub" => sub, 
     _ => unimplemented!(), 
    } 
} 

fn main() { 
    let fun = select("add"); 
    println!("{} + {} = {}", 1, 2, fun(1, 2)); 
} 

---

Il est proche de pointeurs de fonction en C ou C++, mais à la différence des pointeurs de fonction ne peut être nulle.

Si vous avez besoin d'une fonction Nullable, vous pouvez utiliser Option<fn(i32, i32) -> i32> à la place.

---

Et donc finalement nous arrivons à cet alias de type: il est tout simplement un raccourci parce que le type générique fn est longue. Comme tout autre alias de type.