如何制作特征别名？

Question

我正在尝试为函数提供别名，这样每当我实现此 trait 时就不必编写它的签名：

type PhySend = Fn();
trait MyTrait {
    fn set_phy_send<F: PhySend>(callback: F);
}

但我明白了：

type aliases cannot be used as traits rustc(E0404)

那么，给特征/函数签名起别名是不可能的？每次实现这个 trait 的时候写这个签名会很无聊。

Answer 1

这是因为别名可以是任何类型。尝试定义一个新的特征。

trait your_function<T> : FnOnce() -> T {}

impl<T, U> your_function<T> for U where U: FnOnce() -> T {}

fn make_tea<F, T>(f: F) -> T
    where F: your_function<T>
{
    f()
}

fn main() {
    make_tea(|| String::new());
}