F#泛型幂函数实现求助：递归内联方法失效问题

要实现支持任意类型的幂运算函数，核心是利用静态解析类型参数配合inline rec解决递归inline的问题，同时替换硬编码的数值（比如1.0）为通用单位元。以下是针对你现有两个函数的泛化改造：

1. 迭代版泛型幂函数 #

let inline exp (value: ^T) (pow: int) =
    let mutable result = LanguagePrimitives.GenericOne< ^T >
    let absPow = abs pow
    for i = 1 to absPow do
        result <- value * result
    if pow > 0 then result else LanguagePrimitives.GenericOne< ^T > / result

2. 递归快速幂泛型函数 #

let inline rec quickExp (value: ^T) (pow: int) =
    let computeAbsPow absPow =
        if absPow = 0 then
            LanguagePrimitives.GenericOne< ^T >
        else
            let half = quickExp value (absPow / 2)
            if absPow % 2 = 0 then half * half else value * half * half
    let result = computeAbsPow (abs pow)
    if pow > 0 then result else LanguagePrimitives.GenericOne< ^T > / result

关键说明 #

• inline rec的作用：递归泛型函数必须用inline rec声明，确保递归调用的位置也能被编译器inline展开，从而支持静态解析类型参数的推导。
• 静态解析类型参数^T：区别于普通泛型'T，它允许我们约束类型支持特定运算符（比如*、/），而无需显式接口实现。
• LanguagePrimitives.GenericOne：获取对应类型的单位元（比如int的1，float的1.0，decimal的1M），替代原代码中硬编码的1.0，实现类型无关性。
• 类型兼容性：只要传入的类型支持乘法、除法运算，且存在对应的单位元，就能直接使用这两个函数（比如int、float、decimal甚至自定义数值类型）。

测试示例 #

// int类型测试
exp 2 3 // 输出 8
quickExp 3 4 // 输出 81

// float类型测试
exp 2.5 2 // 输出 6.25
quickExp 0.5 3 // 输出 0.125

// decimal类型测试
exp 2.0M 5 // 输出 32.0M
quickExp 0.1M 2 // 输出 0.01M

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