如何使用float_of_int在Ocaml中获取小数点后的自然整数作为新数字？

如何解决如何使用float_of_int在Ocaml中获取小数点后的自然整数作为新数字？

我想要什么？

我想将5转换为0.5，将12345转换为0.12345的整数

我尝试了什么？

let rec getDecFrac c = if c < 1.0 then ((float_of_int c) /. (float_of_int 1)) else getDecFrac ((float_of_int c)/. (float_of_int 10));;

我遇到以下错误：

Error: This expression has type float but an expression was expected of type int

我在做什么？

解决方法

函数式编程的主要亮点是将一个复杂的任务分解为一组较小的任务。我们可以看到1234和0.1234在数学上以1234 / 10^4连接，或更普遍地以x / 10^d(x)连接，其中d(x)是{{1}中的小数位数}。的确，将小数点移动一位就等于除以十。

所以让我们对其进行编码。我们将如何编写x函数？我们可能会变得肮脏，将数字转换为字符串并计算字母。但是，确实，它感觉很脏。让我们写一个简单的递归算法，计算一个数字除以十可以除以多少，

number_of_digits

看起来很简单，但不要忘记测试您的实现，

let rec number_of_digits x = 
  if x < 10 then 1 else 1 + number_of_digits (x/10)

看起来不错。显然，它不适用于负数，但很容易解决（作为练习），

# number_of_digits 1;;
- : int = 1
# number_of_digits 1234;;
- : int = 4

现在我们可以按照我们的数学规范编写函数了，

# number_of_digits (-1234);;
- : int = 1

并测试它是否有效

let to_frac x = 
  float x /. 10. ** float (number_of_digits x)

高级主题

当然，任何人知道OCaml（以及许多其他语言，包括C / C ++）中的浮点都是使用2而不是10表示的，他们会惊叹此功能不起作用。好吧，确实，我们可以看到并非所有的十进制数字都可以使用以2为底的浮点数来表示。甚至我们简单的# to_frac 1234;; - : float = 0.1234 # to_frac 0;; - : float = 0. # to_frac 1;; - : float = 0.1 并没有真正返回1234，而是二进制浮点数中最接近的数字表示形式，

0.1234

因此请注意这一事实，尤其是以下事实：如果一个数字看起来像# printf "%.60f" (to_frac 1234);; 0.123399999999999995803356966916908277198672294616699218750000- : unit = () ，那么它实际上可能不是0.1234，而仅仅是一个近似值。

,

如果您从缺少前导0.的字符串开始，则可以仅在"0."前面添加前缀，然后使用内置的float_of_string函数进行解析：>

let decimals_of_string s =
  float_of_string ("0." ^ s)

utop # decimals_of_string "123";;
- : float = 0.123
utop # decimals_of_string "42";;
- : float = 0.42