rust - 为什么 Rust 告诉 "unknown size at compile time"而不是(无效)切片到切片分配中的另一个错误？

Question

我有一段看起来很奇怪的代码，我知道 Rust 编译器拒绝它，但我不明白具体的错误消息。
TL; 博士; 为什么 Rust 以“在编译时没有已知的大小”而不是“非法语法”或“不能将切片分配给切片”之类的东西拒绝这一点？

fn main() {
    let mut data1 = vec![0, 1, 2, 3].as_slice();
    let mut data2 = vec![8, 9].as_slice();
    data1[1..3] = *data2; // of course this is illegal; but I don't understand the error message
}

这是代码。理论上它应该替换 data1 的子切片切片中的数据 data2 . (例如，正确的方法是 for 循环，我知道!)。但是让我们来看看这个。 Rust 编译器说:

error[E0277]: the size for values of type `[{integer}]` cannot be known at compilation time
 --> src\main.rs:4:5
  |
4 |     data1[1..3] = *data2;
  |     ^^^^^^^^^^^ doesn't have a size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `[{integer}]`

为什么在 data1[1..3] 处出现错误，仅在作业的左侧？我希望 Rust 编译器告诉错误是在赋值的右侧，甚至是整个赋值。类似 "can't assign a slice to a slice" .
但是为什么 Rust 会准确地传达这个信息呢？为什么是 data1[1..3]在这种情况下大小未知？当然 [{integer}]不是 Sized .但是此时应该不需要堆栈分配了吧？我希望有任何其他错误消息。

Answer 1

我看不到您作业左侧的切片，编译器也看不到!
总是尽量减少你的例子，大多数时候这样做你会发现编译器实际上在提示什么。所以，如果你想写这个:

let data1 = [0u8, 1, 2, 3];
let x = data1[1..3];

您会看到，编译器在您的示例中实际提示的是什么:

error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
 --> src/main.rs:4:9
  |
4 |     let x = data1[1..3];
  |         ^   ----------- help: consider borrowing here: `&data1[1..3]`
  |         |
  |         doesn't have a size known at compile-time

你看， [T] 之间有很大的不同。和 &[T] ! [T]是 T 的连续序列s, 而 &[T]是这个连续序列的动态大小 View 。前者没有静态已知的大小，而后者有。
在你说你使用了 Vec::as_slice 之前方法，之后你尝试取一片切片，即:

// Type of `data1` is `&[u8]`
let data1 = vec![0u8, 1, 2, 3].as_slice();

// Type of `x` is `[u8]`
// (which doesn't have a size known at compile-time
let x = data1[1..3];  

所以我相信你的问题的答案是编译器没有达到它实际上可以查看作业另一侧的地步，因为当它试图找出左侧时它已经发现了一个问题:在编译时没有已知大小的表达式。
现在，如果您真的要在左侧写一个切片:

let mut data1 = [0u8, 1, 2, 3];
let data2 = [8u8, 9];

&mut data1[1..3] = &data2[..];

然后编译器会提示左侧的无效性质(除其他外):

error[E0070]: invalid left-hand side of assignment
 --> src/main.rs:6:22
  |
6 |     &mut data1[1..3] = &data2[..];
  |     ---------------- ^
  |     |
  |     cannot assign to this expression