Rust中的"<[_]>"是什么？

Question

在vec!宏的实现中，有这个规则：

($($x:expr),+ $(,)?) => (
    $crate::__rust_force_expr!(<[_]>::into_vec(box [$($x),+]))
);

那个<[_]>到底是什么意思呢？

- at54321

---

呼，Rust通常相当易读且直观，但<[_]>::看起来像是从esolang中抽出来的东西。 - Silvio Mayolo

Answer 1

分解语法的特定部分：

• <T>::f 是显式调用与类型 T 关联的 f 的语法。通常只需要 T::f，但是严谨地说，:: 需要一个 路径，这就是为什么在这里使用它，因为 [_] 没有。 <...> 允许使用任何类型作为路径。请参见在实现基于类型的宏时为什么需要尖括号？
• [T] 是表示类型为 T 的切片的类型。
• 用作类型的下划线 _ 是占位符或“通配符”。它本身不是一种类型，但用于指示应推断出类型。请参见如何理解在 Rust 泛型中使用下划线？

- kmdreko

---

参考：合格的路径。 - IInspectable

这个答案是 Rust Macro 书中 <[()]> 的完美解释。https://danielkeep.github.io/tlborm/book/blk-counting.html#slice-length - Peter

Answer 2

让我们逐步看看 <[_]>::into_vec(box [$($x),+]) 是如何生成 Vec 的：

1. [$($x),+] expands to an array of input elements: [1, 2, 3]
2. box ... puts that into a Box. box expressions are nightly-only syntax sugar for Box::new: box 5 is syntax sugar for Box::new(5) (actually it's the other way around: internally Box::new uses box, which is implemented in the compiler)
3. <[_]>::into_vec(...) calls the to_vec method on a slice containing elements that have an inferred type ([_]). Wrapping the [_] in angled brackets is needed for syntactic reasons to call an method on a slice type. And into_vec is a function that takes a boxed slice and produces a Vec:

   pub fn into_vec<A: Allocator>(self: Box<Self, A>) -> Vec<T, A> {
       // ...
   }
   

这个可以用更简单的方式来实现，但是这段代码经过优化以提高vec!的性能。例如，由于Vec的大小可以预先知道，因此into_vec在构建期间不会导致Vec重新分配。

- smitop