Rust collect生成(usize,usize)元组Vec时触发减法溢出panic问题

疑问1：报错是否为真实溢出问题 #

是，这是明确的无符号整数算术下溢错误，不是通用错误提示。
报错指向的位置sandbox.rs:4:18正好对应代码中x - 1的减法运算位置，和错误描述完全匹配。

疑问2：为什么usize类型下会触发报错 #

不是usize类型本身不能用，是代码逻辑在类型推导为usize后触发了无符号数的下溢边界问题：

• Rust的类型推导是反向传播的：你指定collect的目标元素类型为(usize, usize)后，迭代器链路中所有的x、y都会被推导为usize无符号整数类型，而非之前使用的i32有符号整数类型。
• 原代码第一次迭代时，外层范围(0..4)的第一个值是x = 0，此时会先计算内层范围的上界x - 1：
  • 当x是i32类型时，0i32 - 1 = -1i32是合法值，构造出的范围0..=-1是起始值大于结束值的空迭代器，flat_map遇到空迭代器会直接跳过，后续x=1/2/3时x-1均为非负值，逻辑正常运行，输出符合预期。
  • 当x是usize无符号类型时，合法取值最小为0，0usize - 1属于算术下溢，Rust在debug编译模式下默认开启整数溢出检查，会直接触发panic，根本没走到内层范围构造的步骤。

你原本的逻辑是：x=0时内层无元素，x=1时y取0，x=2时y取0、1，x=3时y取0、1、2，完全等价于右开区间0..x，不需要做减法运算，可以从根源上规避下溢问题：

let result = (0..4)
    .flat_map(|x| {
        (0..x).map(move |y| {
            println!("{y},{x}");
            (y, x)
        })
    })
    .collect::<Vec<(usize, usize)>>();
assert_eq!(usize::BITS, 64);

运行上述代码可以得到预期的全部输出，不会触发溢出panic。

补充：如果你一定要保留0..=x-1的写法，也可以先把x转为i32做减法再转回usize，但这种写法不如直接用右开区间简洁安全。

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