结论：负步长切片要求start > stop，否则为空；[::-1]等价于[-1:None:-1]，而[0:-1:-1]因起点小于终点返回空列表；切片赋值带step时，左右长度必须严格相等。
直接说结论：列表反转用 [::-1]，步长采样用 [::n] 或 [start::n]，但真正容易出错的是负步长下 start 和 stop 的大小关系、边界自动截断的隐式行为，以及切片赋值时对右侧长度的严格要求。
为什么 [::-1] 能反转，但 [0:-1:-1] 却返回空列表？
因为负步长（step < 0）会反转遍历方向，默认起始点变成序列末尾（即索引 -1），默认终点变成序列开头（即索引 0）。所以 [::-1] 等价于 [-1:None:-1]，而 [0:-1:-1] 是让 Python 从索引 0 往左走到 -1——这根本走不通，起点比终点还小，结果只能是空列表。
常见错误现象：my_list[5:0:-1] 看似“从5到0倒着取”，但实际不包含索引 0 位置的元素；若要包含首元素，得写成 my_list[5::-1]（省略 stop，让默认终点生效）。
- 负步长时，
start必须 >stop，否则切片为空 - 省略
start或stop比硬写数字更安全，系统会按方向自动补全合理边界 -
my_list[::-2]是从末尾开始、每次跳两格往前取，不是“去掉偶数索引”
[::n] 步长采样在不同起始点的行为差异
正步长采样看似简单，但起始偏移会显著影响结果分布。比如日志按时间倒序排列，你想每两条取最新的一条，不能只用 [::2]，而要用 [::-2]；反过来，如果数据是正序时间戳，要等间隔抽样最新 N 条，就得先切尾部再采样，如 data[-100:][::5]。
立即学习“Python免费学习笔记（深入）”；
使用场景：时间序列降采样、批量任务分片、UI 列表懒加载分页。
-
data[::3]：从索引 0 开始，取 0, 3, 6, 9… -
data[1::3]：从索引 1 开始，取 1, 4, 7, 10… -
data[-10:][::2]：先取最后 10 个，再隔一个取一个（避免原始索引漂移） - 越界索引（如
data[100::2]）不报错，直接返回空列表——这点常被误认为“逻辑没执行”
切片赋值时，step 参数对右侧可迭代对象长度的硬性约束
这是最常踩坑却极少被文档强调的一点：当切片带 step != 1（如 [::2]）时，左侧选中的元素个数，必须和右侧可迭代对象长度完全一致，否则抛 ValueError。
示例：nums = [1, 2, 3, 4, 5]，执行 nums[::2] = ['a', 'b', 'c'] 合法（选中索引 0/2/4 共 3 个）；但 nums[::2] = ['x'] 就会报错——哪怕你只想改第一个。
- 不带
step的切片赋值（如nums[1:3] = [...]）对右侧长度无限制：可扩容、缩容、等长替换 - 带
step的切片赋值本质是“位置映射”，不是“区域覆盖” - 调试时可用
len(nums[::2])预先检查左侧长度，避免运行时报错
真正难的不是写出 [::-1]，而是当你在嵌套循环里用 data[i:i+batch][::skip] 时，能一眼看出 i 偏移是否导致采样点错位，以及空切片是否掩盖了本该触发的异常分支。
