你怎么能弄清楚（引用）一个函数的类型签名？

Question

我想测试一个函数的一些实现。为了清楚地做到这一点，我想将对它们的引用放入一个数组中并一个一个地调用它们。由于最近的语法更改，为此，您需要首先将函数显式转换为具有正确类型签名的函数引用。由于您用于声明函数的语法与其实际类型不同，因此这是一项非常重要的任务。

如何确定对具有非平凡签名的 Rust 函数的引用类型（例如，它涉及泛型、生命周期、采用另一个函数等）？

用签名声明了一个特定的function（我写的）：

pub fn take_while2<'a,T,F:Fn(&T)->bool >(initial: &'a [T], predicate: F) -> Option<&'a [T]> {...}

Answer 1

你不能，至少，没有那个功能。

首先，你不能有一个泛型变量。也就是说，x 不能依赖于T。举个更简单的例子：

fn test<T>(_: &T) { unimplemented!() }

fn main() {
    let x: fn(&u8) = test;
}

这是可行的，因为编译器可以推断出具体类型 T 是（在本例中为 u8）。那你为什么不能这样做呢？因为F。您要求的是闭包类型，而闭包类型是匿名；无论你做什么，你都无法说出一个名字。如果你设法让类型系统推断闭包类型，那么它只对exactly一个特定的闭包有效。就像函数一样，每个闭包都有自己独特的类型，即使它字面意思是相同的。与函数不同，闭包没有可以使用的通用基类型。

在不知道您实际想要完成什么的情况下，很难给出任何建议。但是，要在黑暗中尝试一下，您可能想尝试以下方法：

pub fn take_while2<'a,T>(initial: &'a [T], predicate: Box<Fn(&T) -> bool>) -> Option<&'a [T]> { // '
    // ...
}

fn main() {
    let functions: Vec<for<'a> fn(&'a [u8], Box<Fn(&u8) -> bool>) -> Option<&'a [u8]>> = vec![take_while2]; // '
    // ...
}

注意for<'a> 的使用，这是一个更高级别的生命周期，它与take_while2 定义的'a 通用参数具有相同的功能。 另外请注意，此语法不适用于类型参数。

感谢 Shepmaster 提醒我您可以也使用&Fn(&T) -> bool 而不是盒装封口。这提高了调用者堆分配的要求。

这还需要您将要传递给predicate 的任何闭包装箱。