函数指针与 Fn 特征对象 [重复]答案

【问题标题】：function pointer vs Fn trait object [duplicate]函数指针与 Fn 特征对象 [重复]
【发布时间】：2019-01-14 12:45:13
【问题描述】：

fn do_twice(f: fn(i32) -> i32, arg: i32) -> i32 { // definition
    f(arg) + f(arg)
}

do_twice(|x| x + 1, 5) // call

这个函数接受闭包和函数指针。它接受一个函数指针作为参数类型。

什么时候我应该更喜欢使用 trait 对象，比如 &dyn Fn(i32) -> i32 或 Box<dyn Fn(i32)-> i32> 而不是 fn

fn do_twice(f: &dyn Fn(i32) -> i32, arg: i32) -> i32 { // definition
    f(arg) + f(arg)
}

do_twice(&|x| x + 1, 5) // call

或

fn do_twice(f: Box<dyn Fn(i32) -> i32>, arg: i32) -> i32 { // definition
    f(arg) + f(arg)
}

【问题讨论】：

【解决方案1】：

什么时候我应该更喜欢这个而不是使用 trait 对象

特征对象不是唯一的其他选择。正如@DarthKotik 指出的那样，接受fn 指针将不允许捕获其环境的闭包，但是您可以只使用以Fn 为界的普通类型参数来接受函数和闭包，而无需装箱：

fn do_twice<F>(f: F, arg: i32) -> i32 
where
    F: Fn(i32) -> i32
{
    f(arg) + f(arg)
}

或者，等效地，但避免额外的类型变量：

fn do_twice(f: impl Fn(i32) -> i32, arg: i32) -> i32 {
    f(arg) + f(arg)
}

【讨论】：

【解决方案2】：

它不适用于捕获环境的闭包，并且不能为您的花哨类型手动实现（如impl Fn for MySuperType）

因此，您的示例有效的唯一原因是它过于简化了！

【讨论】：