函数指针类型
Syntax
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 关键字编写,指向一个在编译时不一定知道其标识的函数。
以下示例中 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);
}
函数指针可以通过从函数项和非捕获、非异步闭包强制转换来创建。
unsafe 限定符表示该类型的值是一个不安全函数,extern 限定符表示它是一个外部函数。
要使函数为可变参数函数,其 extern ABI 必须是 items.extern.variadic.conventions 中列出的之一。
函数指针参数上的属性
函数指针参数上的属性遵循与常规函数参数相同的规则和限制。