在vec! 宏实现中有这样的规则：
($($x:expr),+ $(,)?) => (
$crate::__rust_force_expr!(<[_]>::into_vec(box [$($x),+]))
);
里面的<[_]>到底是什么？
【问题讨论】：
<[_]>:: 看起来像是直接来自 esolang 的东西。
标签： rust
分解语法的具体部分：
<T>::f 是显式调用与类型T 关联的f 的语法。通常只使用T::f 就足够了，但学究式地，:: 需要一个路径，这就是为什么在这里使用它，因为[_] 不是。 <...> 允许将任何类型用作路径。见Why do I need angle brackets in <$a> when implementing macro based on type?
[T] 是表示 slice 类型的类型 T。_ 用作类型是占位符或“通配符”。它本身不是类型，但用于指示应该推断类型。见What does it mean to instantiate a Rust generic with an underscore?
【讨论】：
<[()]> 的完美解释。 danielkeep.github.io/tlborm/book/blk-counting.html#slice-length
让我们一步一步来看看<[_]>::into_vec(box [$($x),+])是如何产生Vec的：
[$($x),+] 扩展为输入元素数组：[1, 2, 3]
box ... 将其放入 Box。 box 表达式是 Box::new 的夜间语法糖：box 5 是 Box::new(5) 的语法糖（实际上是相反的：在内部 Box::new 使用 box，这是在编译器中实现的）
<[_]>::into_vec(...) 在包含具有推断类型 ([_]) 的元素的切片上调用 to_vec 方法。出于语法原因，需要将[_] 括在尖括号中，以便在切片类型上调用方法。而into_vec 是一个函数，它接受一个盒装切片并产生一个Vec：
pub fn into_vec<A: Allocator>(self: Box<Self, A>) -> Vec<T, A> {
// ...
}
这可以以许多更简单的方式完成，但此代码经过微调以提高vec! 的性能。例如，由于可以提前知道Vec 的大小，所以into_vec 不会导致Vec 在其构造过程中被重新分配。
【讨论】：