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

Question

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

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

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

当运行在操场上（或在我的机器上）时，编译器似乎忽略了 T 的隐式特征绑定 '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>();
}

有什么我想念的吗？是编译器错误吗？

Answer 1

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

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

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

Why can't Rust use the size of a generic parameter as an array length?

templates

generics

rust

compile-time