Question

我无法理解引用如何通过函数转发。以下方案似乎按预期编译：

trait Trait {}

struct ImplementsTrait {}
impl Trait for ImplementsTrait {}

fn foo(t: &mut Trait) {
    // ... use the mutable reference
}

fn forward(t: &mut Trait) {
    foo(t); // forward the type '&mut Trait' to foo
}

fn main() {
    let mut t = ImplementsTrait{};
    forward(&mut t); // need to pass as reference because Trait has no static size
}

但是，在使用capnp crate的API时，我会遇到意外行为：

fn parse_capnp(read: &mut BufRead) {
    let reader = serialize_packed::read_message(read, message::ReaderOptions::new());
    Ok(())
}

fn main() {
    // ... ///
    let mut br = BufReader::new(f);
    parse_capnp(&mut br);
    Ok(())
}

error[E0277]: the trait bound `std::io::BufRead: std::marker::Sized` is not satisfied
  --> src/main.rs:18:16
   |
18 |     let reader = serialize_packed::read_message(read, message::ReaderOptions::new());
   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `std::io::BufRead` does not have a constant size known at compile-time

read_message的签名是：

pub fn read_message<R>(
    read: &mut R, 
    options: ReaderOptions
) -> Result<Reader<OwnedSegments>> 
where
    R: BufRead,

当read &mut BufRead和read_message期待&mut BufRead时，fn parse_capnp(mut read: &mut BufRead) { let reader = serialize_packed::read_message(&mut read, message::ReaderOptions::new()); Ok(()) }似乎正在按值传递。让这个代码片段为我编译的唯一方法是将其更改为：

&mut &mut BufRead

我相信我在这里遗漏了一些简单的类型。对我来说，这似乎传递了read，这不是预期的类型，而是编译。

有人可以为这两个示例添加t和import tensorflow as tf tf.reset_default_graph() x = tf.placeholder(tf.float32, [None, 3],name='x') W_1 = tf.get_variable('W_1', [3,3], dtype = tf.float32, initializer=tf.constant_initializer(1.0)) layer_out = tf.matmul(x, W_1, name = 'layer_out') sess = tf.Session() sess.run(tf.global_variables_initializer()) sess.run([tf.gradients(layer_out, [x])], feed_dict = {x: np.array([[1,7,5]])} )类型的清晰度吗？

我查看了以下主题：

对于第一个线程，我会说由于Rust应用的解除引用规则，与C风格指针的比较是错误的。

Answer 1

创建一个可以重现问题的Minimal, Complete, and Verifiable example是一个很有用的步骤：

use std::io::BufRead;

pub fn read_message<R>(read: &mut R)
where
    R: BufRead,
{}

fn parse_capnp(read: &mut BufRead) {
    read_message(read);
}

fn main() {}

error[E0277]: the trait bound `std::io::BufRead: std::marker::Sized` is not satisfied
 --> src/main.rs:9:5
  |
9 |     read_message(read);
  |     ^^^^^^^^^^^^ `std::io::BufRead` does not have a constant size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `std::io::BufRead`
note: required by `read_message`
 --> src/main.rs:3:1
  |
3 | / pub fn read_message<R>(read: &mut R)
4 | | where
5 | |     R: BufRead,
6 | | {}
  | |__^

现有问题很好地涵盖了错误消息：

TL; DR：不保证特征对象具有大小，但是泛型默认绑定了Sized特征。

read正在按值传递

是的，Rust中的所有内容都是始终按值传递。有时这个值恰好是一个参考。

read_message期待&mut BufRead

不是。期望实现特征BufRead的泛型类型。这两个签名是不同的：

// Reference to a concrete type
pub fn read_message<R>(read: &mut R)
where
    R: BufRead,

// Trait object
pub fn read_message<R>(read: &mut BufRead)

另见：

&mut &mut BufRead，这不是预期的类型

这是一种完美的类型。 BufRead implemented for是对BufRead本身实现的任何类型的任何可变引用：

impl<'a, B: BufRead + ?Sized> BufRead for &'a mut B

此外，在这种情况下，您没有&mut &mut BufRead，而是&mut &mut R。您显示的类型的具体单形化实际上是&mut &mut Bufreader。

你可以通过以下方式修复它：

更改read_message函数以接受未分类的类型。这很好，因为R总是在指针后面：
```
pub fn read_message<R>(read: &mut R)
where
    R: ?Sized + BufRead,
```

更改parse_capnp函数以引用具体类型而不是特征对象：

fn parse_capnp<R>(read: &mut R)
where
    R: BufRead,
{
    read_message(read);
}

更改parse_capnp函数以采用具体类型而不是特征对象。然后你需要自己参考一下：
```
fn parse_capnp<R>(mut read: R)
where
    R: BufRead,
{
    read_message(&mut read);
}
```

对通过多个功能转发引用感到困惑

1 个答案: