当我在 Rust 函数中注释类型时，为什么会收到错误“预期类型参数”？

Question

我正在玩 Rust 的 capnproto library。因为 Rust 在某些情况下可以推断类型，所以我可以这样做：

let mut message = ::capnp::message::Builder::new_default();

无需知道消息的类型。如果我想将message 的引用传递给函数，我现在需要知道是什么消息让函数知道会发生什么。

一般来说有没有方便的方法来做到这一点？

到目前为止，我已经完成了以下工作：

let testing: () = message;

编译器错误失败：

error[E0308]: mismatched types
   --> src/main.rs:197:18
    |
197 |                 let temp: () = message;
    |                           ^^^^^^^ expected (), found struct `capnp::message::Builder`

但是当我输入注释时，我的函数如下：

fn example_fn(message: capnp::message::Builder) {...}

我收到如下错误：

error[E0243]: wrong number of type arguments: expected 1, found 0
  --> src/main.rs:72:32
   |
72 | fn dump_capnp_to_file(message: capnp::message::Builder, filename: &str) {
   |                                ^^^^^^^^^^^^^^^^^^^^^^^ expected 1 type argument

错误：由于先前的错误而中止

我是来自 C++ 背景的 Rust 新手；对不起，如果这是一个菜鸟问题！

Answer 1

Rust 不会在函数参数位置推断类型。这是设计使然，正如Rust language FAQ 所述：

为什么不推断函数签名？

在 Rust 中，声明往往带有显式类型，而实际代码具有推断类型。这种设计有几个原因：

• 强制声明签名有助于在模块和 crate 级别加强接口稳定性。

• 签名提高了程序员对代码的理解能力，无需 IDE 在整个 crate 上运行推理算法来猜测函数的参数类型；它始终是明确的和附近的。

• 从机制上讲，它简化了推理算法，因为推理一次只需要查看一个函数。

由于capnp::message::Builder<A> 采用类型参数A，您需要通过给A 一个值来限定参数的类型：

fn dump_capnp_to_file(message: capnp::message::Builder<SomeType>, filename: String) {
//                                                    ^^^^^^^^^^

或者让你的函数也通用，所以它可以接受任何类型A:

fn dump_capnp_to_file<A>(message: capnp::message::Builder<A>, filename: String) {
//                   ^^^                                 ^^^

限制A

如果您选择最后一个选项，您可能需要额外的trait bounds 以允许您在函数内使用message 执行不同的操作。例如，您可能希望将message 发送到另一个线程，这需要Builder<A> 实现Send。 Builder 具有以下 impl (reference)：

impl <A> Send for Builder<A> where A: Send + Allocator

这意味着Builder<A> 可以实现Send，但只有当A 实现Send 和Allocator 时。您可以在A 上设置您自己的绑定（要求）：

fn dump_capnp_to_file<A>(message: capnp::message::Builder<A>, filename: String)
    where A: Send + Allocator
{
    // multi-threaded code...
}

或者（可能稍微好一点），直接将Builder<A> 与Send 绑定：

fn dump_capnp_to_file<A>(message: capnp::message::Builder<A>, filename: String)
    where capnp::message::Builder<A>: Send

那么您将只能在实现Send 的Builder 上调用dump_capnp_to_file。