小编Ple*_*tro的帖子

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

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>();
}

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