OCaml 中的整数取幂

Question

OCaml 中是否有整数取幂函数？ ** 仅用于 float 。虽然它似乎大部分是准确的，但是否存在精度错误的可能性，例如 2. ** 3. = 8. 有时返回 false？是否有用于整数取幂的库函数？我可以自己编写，但会涉及到效率问题，而且如果还没有这样的功能，我也会感到惊讶。

Answer 1

不在标准库中。但是您可以轻松地自己编写一个(使用 exponentiation by squaring 更快)，或者重用提供此功能的扩展库。在 Batteries ，是Int.pow .

下面是一个建议的实现:

let rec pow a = function
  | 0 -> 1
  | 1 -> a
  | n -> 
    let b = pow a (n / 2) in
    b * b * (if n mod 2 = 0 then 1 else a)

如果由于操作非常大的数字而存在溢出的风险，则可能应该使用大整数库，例如 Zarith ，它提供了各种求幂函数。

(您可能需要“模取幂”，计算 (a^n) mod p ；这可以通过在中间计算中应用 mod 来避免溢出，例如在上面的函数 pow 中。)