Haskell 如何生成含固定字符与下划线的字符串的指定字符全量替换组合

你之前的两个实现本质是用命令式循环的思路硬套Haskell的递归：引入了currentColumn、iterations、累积结果列表三类跨步骤的可变状态，靠细碎的边界条件判断推进流程，不仅逻辑冗余，还很容易因为状态判断遗漏分支——这种逐位置做二元选择的问题，完全不需要追踪这么多外部状态，用生成式列表递归就能无遗漏覆盖所有组合。

问题本质是逐字符遍历原字符串，对每个位置做确定性选择：

• 遇到非下划线的固定字符：直接保留，将该字符和后续子串的所有变体结果拼接
• 遇到下划线：该位置有两种完全独立的选择——保留原下划线、替换为指定输入字符，将两种选择对应的后续子串变体结果全部收集，就是当前位置的所有合法组合

这个逻辑的优势是每个递归步骤只处理当前字符，不需要跨步骤记忆列号、迭代进度，从根上避免了状态耦合导致的漏分支问题。

全部用基础列表语法实现，不需要引入额外的复杂类型类操作：

-- 入参：原字符串、指定替换的字符；出参：所有合法变体的列表
generateVariants :: String -> Char -> [String]
-- 递归终止：空字符串仅对应本身这一种变体
generateVariants [] _ = [""]
generateVariants (c:rest) replaceChar
  -- 非下划线位置：固定保留字符，和后续所有变体拼接
  | c /= '_' = [ c : tailVariant | tailVariant <- generateVariants rest replaceChar ]
  -- 下划线位置：合并「保留下划线」和「替换为指定字符」两类场景的所有组合
  | otherwise = 
      [ '_' : tailVariant | tailVariant <- generateVariants rest replaceChar ]
      ++ [ replaceChar : tailVariant | tailVariant <- generateVariants rest replaceChar ]

对照你给出的两个示例验证：

• 输入"____"、替换字符'F'：4个独立下划线，每个2种选择，总组合数为2^4=16，和预期输出的全量组合完全匹配，不会出现需要靠反转字符串补漏的情况
• 输入"__F_W"、替换字符'G'：3个独立下划线，总组合数为2^3=8，包含所有保留下划线、替换单个/多个下划线的场景，和预期输出完全一致

你之前的代码最后需要手动调用removeDuplicates，本质是因为多状态的追踪逻辑可能多次生成同一个字符串变体。而这个生成式递归的每一条路径都唯一对应一个“逐位置选择”的决策序列，不同的决策序列不可能生成同一个字符串，所以输出的列表天然是无重复的，根本不需要额外的去重步骤。

你之前的逻辑把“替换某个下划线”的操作和“固化已替换位置”的判断绑在了手动追踪的列号、迭代轮次上：比如遇到夹在固定字符中间的下划线（像_F_F_这类结构），很容易因为列号超过迭代轮次的判断条件，把“隔位替换下划线”的组合直接过滤掉，最后只能靠写第二个函数补漏，但状态耦合的问题不解决，补漏逻辑永远追不上漏的分支。

举个实际的漏判例子：原字符串"_F_F_"，如果要生成“第一个下划线保留、第三个下划线替换、中间的F固定”的组合"_FGF_"，你之前的possibleNewWordsBlank需要同时满足“列号大于迭代轮次+1”的判断才会把这个组合加入结果，一旦迭代轮次的推进和列号的边界算错，这个组合就会被直接漏掉。

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