为什么堆栈上的项目必须具有在编译时已知的大小？答案

【问题标题】：Why must items on the stack have a size that's known at compile time?为什么堆栈上的项目必须具有在编译时已知的大小？
【发布时间】：2020-12-02 17:17:00
【问题描述】：

我明白为什么它们必须具有恒定大小，但我不明白为什么必须在编译时知道该大小。甚至 C 也允许堆栈上的可变长度数组。这个限制对 Rust 有什么帮助？

【问题讨论】：

另见Why can fixed-size arrays be on the stack, but str cannot?; Why is let ref a: Trait = Struct forbidden?; What does “Sized is not implemented” mean?
C 也允许——C 允许很多不好的东西。语言允许某些东西这一事实并不能使它好。
@Shepmaster：问题与选择的技术原因有关，而不是关于 VLA 看起来有多有用
当然可以，但是一项功能必须至少有一个好的用途，否则技术原因可能是“没有充分的理由支持这一点”。我并不是说 VLA 有用或没用，只是说“C 可以做 X”是一个弱论点。
C11 删除此功能是有原因的：p

标签： rust

【解决方案1】：

甚至 C 也允许在堆栈上使用可变长度数组。

C 可以相对容易地支持这一点，因为它的语义很简单。

当您必须调用 destructors/drop 时，这要简单得多，因此 Rust 最初并不支持它，因为它努力实现并且没有带来太多好处。

感谢RFC 1909 — unsized rvalues，Rust 最终将支持这一点（以及already does on nightly）。

【讨论】：