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无法使用通用参数的大小作为数组长度？

1 个答案: