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

Question

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

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

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

当在操场上（或在我的机器上）运行时，编译器似乎忽略了 T 的隐式特征绑定“大小”。

这是错误：

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

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

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

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

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

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

Answer 1

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

一般而言，目前没有一个好的解决方法，尽管可能有一个适合您的特定用例。