F#实现纯函数惰性序列元素索引装饰的更简单方案？

数据老陈

2026-10-2

最优解决方案

F#核心库已经内置了满足所有要求的原生API：Seq.mapi，它可以在遍历序列的同时传入元素对应的索引，本身是惰性求值的纯函数实现，无需手动编写复杂的Seq.unfold逻辑。

你需要的decorate函数可以一行实现：

let decorate = Seq.mapi (fun index item -> (item, index))

方案验证

Seq.mapi完全匹配两个核心要求：

惰性求值：只有迭代到序列的对应元素时才会执行映射逻辑，适配REST服务的按需拉取场景，不会提前全量加载数据
纯函数实现：内部状态由库封装，无任何对外暴露的可变变量，符合函数式编程规范

完整测试代码（保留调试日志）

let nums = 
    seq {
        // 加入调试日志
        let getN n =
            printfn "get: %d" n
            n

        getN 9; 
        getN 12; 
        getN 4; 
        getN 17; 
        getN 9; 
        getN 7; 
        getN 13 
    }

let decorate = Seq.mapi (fun index item -> (item, index))

nums
|> Seq.cache 
|> decorate
|> Seq.iter (fun (n,index) -> printfn "ITEM %d: %d" index n)

执行后输出和预期完全一致，日志也会验证只有迭代到对应元素时才会触发getN调用，满足惰性要求。