为什么 Rust 不能使用泛型参数的大小作为数组长度？ [复制]

Question

我在理解这段代码的问题时遇到了一些麻烦：

fn doesnt_compile<T>() {
    println!("{}", std::mem::size_of::<[T; std::mem::size_of::<T>()]>());
}

fn main() {
    doesnt_compile::<i32>();
}

当在操场上（或在我的机器上）运行时，编译器似乎忽略了 T 的隐式 trait bound 'Sized'。

这是错误：

error[E0277]: the size for values of type `T` cannot be known at compilation time
   --> src/main.rs:2:64
    |
2   |     println!("{}", std::mem::size_of::<[T; std::mem::size_of::<T>()]>());
    |                                                                ^ doesn't have a size known at compile-time
    |
    = help: the trait `std::marker::Sized` is not implemented for `T`
    = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
    = help: consider adding a `where T: std::marker::Sized` bound

我盯着它看了一会儿，试着用不同的方式重写它，但我不明白为什么它不应该编译。我发现它特别令人困惑，因为以下代码可以正常工作：

fn compiles<T>() {
    println!("{}", std::mem::size_of::<T>());
}

fn main() {
    compiles::<i32>();
}

我有什么遗漏吗？是编译器的bug吗？

Answer 1

这是known compiler bug (#43408) 的结果。数组长度表达式目前不能有类型参数，显然如果不进行重大重构甚至不可能改进错误消息。

目前一般来说没有很好的解决方法，但可能有一个适合您的特定用例的解决方法。