Generic Const Args and You
3 hours ago
- Rust 中通用常量参数（GCA）特性系列旨在取代现有的 `generic_const_exprs` 特性，从而支持带有泛型参数的更复杂的常量泛型表达式。
- 关键特性包括：用于构造结构体、枚举、元组和数组的 `gca_adts`；用于在类型系统中使用常量项的 `gca_const_items`；以及需要显式 `gca!()` 表达式的有限子集 `gca_min_const_items`。
- 目前，所有新表达式都必须包裹在 `gca!()` 宏中，未来可能会通过实验性的 `gca_macroless_args` 和 `gca_macroless_items` 特性使其变为隐式。
- GCA 特性尚未稳定，Rust 团队希望就可用性和设计问题收集反馈。