Haskell恩尼格玛模拟器中递归函数无法运行的问题咨询

问题根源解析 #

1. 索引越界未处理 #

恩尼格玛的转子映射基于26个字母的循环，但当前代码未对计算后的索引做mod 26处理。当alphaPos a + offset或head (elemIndices b (fst ro)) + offs的值超出0-25范围时，!!操作会抛出索引越界异常，直接中断递归流程。

2. reversePass 核心逻辑错误 #

反向转子的索引计算逻辑完全颠倒：

• 恩尼格玛反向传递的正确逻辑是：先找到目标字母在转子输出序列中的位置，减去偏移量（取模26），再映射回原字母。
• 当前代码用加法替代减法，不仅会导致字母映射完全错误，还会进一步加剧索引越界的概率，让递归表现出“失效”的现象。

3. 未处理边界异常 #

虽然恩尼格玛转子是双射结构（每个字母唯一映射），但如果代码逻辑出错导致目标字母不在转子序列中，elemIndices会返回空列表，head操作会抛出空列表取头异常，直接终止递归。

修复后的代码示例 #

-- 辅助函数：确保索引在0-25范围内
mod26 :: Int -> Int
mod26 n = n `mod` 26

-- 正向通过转子
pass :: Char -> Rotor -> Int -> Char
pass a rotor offset = fst rotor !! mod26 (alphaPos a + offset)

-- 反向通过转子
reversePass :: Char -> Rotor -> Int -> Char
reversePass b ro offs = 
    let targetPos = head (elemIndices b (fst ro))  -- 转子为双射，必存在唯一索引
    in ['A'..'Z'] !! mod26 (targetPos - offs)

优化建议 #

• 替换!!操作：它是部分函数，索引越界会直接崩溃。建议使用lookup或自定义安全索引函数，返回Maybe Char，在递归中显式处理异常情况。
• 明确Rotor类型：通过type Rotor = ([Char], Int)（假设第二个元素为转子偏移位）定义类型，提升代码可读性与类型安全性。

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