我可以有一个泛型函数来接受所有未实现特征的类型吗？

Question

我知道我可以让函数只接受实现给定特征的类型。 例如，我可以

fn f<T>()
where
    T: MyTrait,
{
    // Super useful stuff
}

如果我想实现一个可以接受任何未实现给定特征的函数，该怎么办？ 例如，假设我有一些计算，要么：

• 需要一些已知的冗长的预处理，或者
• 具有通过该快捷方式进行捷径的特定方式。

我想做的是这样的：

fn preprocess<T>(computation: &mut T)
where
    T: !Shortcut,
{
    // Carry out the expensive precomputation.
}

我试图弄清楚如何解决此问题，但似乎无法解决任何问题。

Answer 1

你不能。

相反，您可以使用不稳定的专业化功能来选择采用更有效的处理方式：

#![feature(specialization)]

trait Process {
    fn process(self);
}

trait Short {}

impl Short for i32 {}

impl<T> Process for T
where
    T: std::fmt::Debug,
{
    default fn process(self) {
        println!("Processing {:?}", self)
    }
}

impl<T> Process for T
where
    T: std::fmt::Debug + Short,
{
    fn process(self) {
        println!("Shortcut {:?}", self)
    }
}

fn main() {
    42i32.process();
    vec![1, 2, 3].process();
}

Shortcut 42
Processing [1, 2, 3]

也可以看看：

• Rust中where子句中特征的可能运算符是什么？
• 我可以定义必须执行`！Send`的特征吗？
• 特质实施中的感叹号是什么意思？