递归生成字符串子序列：为何传i+1而非index+1？

要搞清楚这个问题，得先理解这段递归+回溯代码的核心逻辑：按原字符串顺序生成所有不重复的子序列，且严格遵循「先输出以第一个字符开头的所有子序列，再第二个，以此类推」的要求。

1. 正确逻辑（传i+1）的运行流程 #

先拆解代码的核心步骤：

• index参数的作用是：标记当前递归层中，我们可以选择字符的起始索引（保证不会回头选择前面的字符，避免生成ba这种不符合原顺序的重复子序列）。
• 循环for (let i = index; i < str.length; i++)：从index开始，依次把每个字符作为当前子序列的下一个元素。
• 递归时传i+1：意思是下一层递归只能从当前选中字符的下一个位置开始选字符。这样做有两个关键作用：
  1. 保证子序列的字符顺序和原字符串一致（不会回头选前面的字符）。
  2. 确保每个起始字符的所有子序列都被完整遍历后，才会轮到下一个起始字符（完全匹配题目要求的输出顺序）。

拿输入"abcd"举例，第一次调用allSubseq([], "abcd", 0)的关键流程：

• 循环i=0（选中a），递归传i+1=1：在这个递归层，循环从i=1开始，依次选中b、c、d，生成所有以a开头的子序列（a、ab、abc、abcd、abd、ac、acd、ad）。
• 回溯后pop掉a，循环i=1（选中b），递归传i+1=2：生成所有以b开头的子序列（b、bc、bcd、bd）。
• 以此类推，直到生成c、d开头的子序列，完全匹配题目要求的输出。

2. 传index+1会导致的问题 #

如果把递归调用改成allSubseq(new_str, str, index+1)，会打破「下一层从当前选中字符的下一个位置开始选」的规则，变成「下一层从当前递归层的起始索引+1开始选」，直接导致两个严重问题：

（1）生成重复/错误的子序列 #

比如当选中a后，递归传index+1=1，在这个递归层的循环中：

• 选中b，递归传index+1=2，下一层循环从i=2开始选c、d，这部分没问题。
• 但回溯后pop掉b，循环i=2（选中c），此时递归传index+1=2（当前层index是1，index+1=2），下一层循环会从i=2开始，再次选中c，生成acc这种原字符串中不存在的错误子序列。

（2）输出顺序完全混乱 #

因为index+1会让下一层递归的起始位置固定为当前层起始索引+1，而不是当前选中字符的下一个位置，导致无法完整遍历某一个起始字符的所有子序列，就跳到了后面的字符，输出顺序会完全不符合题目要求。

总结 #

i是当前循环中实际选中的字符的索引，传i+1是为了严格保证子序列的字符顺序，同时确保每个起始字符的所有子序列都被完整遍历后才处理下一个起始字符。而index只是当前递归层的起始遍历索引，传index+1会破坏这个逻辑，导致错误的结果。

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