咨询Rust中Range<usize>范围索引行为的官方文档位置

在Rust中，使用反向Range<usize>索引切片会触发panic，示例代码如下：

let arr = [0,1,2,3,4,5,6];
let slice = &arr[4..1]; // panic: slice index starts at 4 but ends at 1 

针对你提出的官方文档定义问题，以下是明确说明：

明确的Panic条件 #

当使用Range<usize>索引切片时，满足以下任一条件一定会触发panic：

• 范围的end值大于切片的长度（range.end > slice.len()）
• 范围的start值大于end值（即反向范围，比如4..1这种range.start > range.end的情况）

文档依据 #

虽然Index::index trait的通用文档仅提到“可能因索引越界而panic”，但[T]类型对Index<Range<usize>>的具体实现文档补充了精确规则：官方明确将反向范围（start > end）和end超出切片长度这两种情况列为确定性的panic触发场景，而非模糊的“可能panic”。这类panic属于定义明确的行为，不属于未定义行为（UB）。

设计选择差异 #

你提到Python会对反向范围返回空切片，这是两种语言的设计思路差异：Rust更倾向于在出现明显逻辑错误（反向范围通常是开发者的疏忽）时立即panic，避免静默返回不符合预期的空切片导致后续逻辑隐藏问题；而Python则选择了更灵活的容错行为。

内容的提问来源于stack exchange，提问作者RBF06