函数指针类型

^语法
BareFunctionType :
   ForLifetimes^? FunctionTypeQualifiers fn
      ( FunctionParametersMaybeNamedVariadic^? ) BareFunctionReturnType^?

FunctionTypeQualifiers:
   unsafe^? (extern Abi^?)^?

BareFunctionReturnType:
   -> TypeNoBounds

FunctionParametersMaybeNamedVariadic :
   MaybeNamedFunctionParameters | MaybeNamedFunctionParametersVariadic

MaybeNamedFunctionParameters :
   MaybeNamedParam ( , MaybeNamedParam )^* ,^?

MaybeNamedParam :
   OuterAttribute^* ( ( IDENTIFIER | _ ) : )^? Type

MaybeNamedFunctionParametersVariadic :
   ( MaybeNamedParam , )^* MaybeNamedParam , OuterAttribute^* ...

函数指针类型，使用 fn 关键字编写，指的是一个函数，其标识不一定在编译时已知。

它们可以通过从 函数项 和非捕获、非异步 闭包 的强制转换来创建。

unsafe 限定符表示该类型的值是一个 不安全函数，而 extern 限定符表示它是一个 外部函数。

可变参数只能在使用 "C" 或 "cdecl" 调用约定的 extern 函数类型中指定。

Binop 被定义为函数指针类型的示例

#![allow(unused)]
fn main() {
fn add(x: i32, y: i32) -> i32 {
    x + y
}

let mut x = add(5,7);

type Binop = fn(i32, i32) -> i32;
let bo: Binop = add;
x = bo(5,7);
}

函数指针参数的属性

函数指针参数的属性遵循与 常规函数参数 相同的规则和限制。