为何netstandard2.1中FParsec被netcoreapp2.0调用时递归解析器栈溢出？

这个问题我之前处理过类似的场景，核心矛盾出在**.NET版本兼容性和FParsec递归解析器的运行时机制**上，具体拆解如下：

一、异常产生的原因 #

• .NET平台API不匹配：.NET Core 2.0并不完全支持.NET Standard 2.1的全部API特性，尤其是在委托闭包的内存管理、尾递归优化的实现上存在差异。FParsec的递归解析器依赖于运行时对递归调用栈的高效回收，而跨这两个版本调用时，栈帧无法被正确释放，积累到一定阈值就触发StackOverflowException。
• 递归解析器的闭包问题：FParsec中用let rec定义的递归解析器本质是创建了递归委托闭包。当跨不同.NET平台边界（netstandard2.1 → netcoreapp2.0）调用时，委托的调用机制出现兼容问题，导致递归调用的栈帧无法被及时回收，最终栈溢出。

补充：为什么float这类简单解析器能正常运行？因为它们没有递归调用逻辑，栈帧不会持续积累，自然不会触发栈溢出，只有递归解析器才会暴露这个版本兼容的问题。

二、无临时方案的修复方法 #

1. 升级CoreProj的目标框架（推荐） #

.NET Core 3.0及以上版本才完全支持.NET Standard 2.1，把CoreProj的目标框架修改为netcoreapp3.1或更高版本（比如net6.0）。这样两个项目的运行时API完全对齐，跨项目调用时递归解析器的栈管理逻辑就能正常工作，从根源解决兼容性问题。

修改CoreProj的.csproj文件：

<TargetFramework>netcoreapp3.1</TargetFramework>

2. 调整递归解析器的实现方式 #

如果暂时无法升级.NET版本，可以改用FParsec提供的createParserForwardedToRef方法显式创建转发解析器，替代直接的let rec递归闭包。这种方式通过引用间接调用递归解析器，避免跨平台时闭包的栈管理异常。

示例代码改造：
原来的递归解析器：

open FParsec

type Expr = | Number of float | Add of Expr * Expr

let rec exprParser : Parser<Expr, unit> = parse {
    let! num = pfloat
    return! parse {
        // 递归调用exprParser的逻辑
        let! op = skipChar '+' >>. exprParser
        return Add(Number num, op)
    } <|> preturn (Number num)
}

改造后：

open FParsec

type Expr = | Number of float | Add of Expr * Expr

// 创建转发解析器引用
let exprParserRef = createParserForwardedToRef<Expr, unit>()

// 定义解析器逻辑，通过引用间接调用递归部分
let exprParser = parse {
    let! num = pfloat
    return! parse {
        let! op = skipChar '+' >>. exprParserRef.Value
        return Add(Number num, op)
    } <|> preturn (Number num)
}

// 绑定引用到解析器实例
exprParserRef.Value <- exprParser

这种显式的转发方式绕开了跨平台下递归闭包的栈管理问题，能让递归解析器在netcoreapp2.0环境中正常运行。

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