整数除法

Question

根据定义，整数除法返回商。

为什么 4613.9145 div 100. 给出错误（“错误的参数”）？

Answer 1

对于 div ，参数必须是整数。 / 接受任意数字作为参数，尤其是浮点数。因此，对于您的示例，以下内容将有效：

1> 4613.9145 / 100.  
46.139145

要对比差异，请尝试：

2> 10 / 10.
1.0

3> 10 div 10.
1

文档： http: //www.erlang.org/doc/reference_manual/expressions.html

---

更新：整数除法，有时表示为 \，可以定义为：

a \ b = floor(a / b)

因此，您需要一个下限函数，该函数不在标准库中。

% intdiv.erl
-module(intdiv).
-export([floor/1, idiv/2]).

floor(X) when X < 0 ->
    T = trunc(X),
    case X - T == 0 of
        true -> T;
        false -> T - 1
    end;

floor(X) -> 
    trunc(X) .

idiv(A, B) ->
    floor(A / B) .

用法：

$ erl
...
Eshell V5.7.5  (abort with ^G)
> c(intdiv).
{ok,intdiv}
> intdiv:idiv(4613.9145, 100).
46

Answer 2

Erlang 中的整数除法 div 被定义为以两个整数作为输入并返回一个整数。您在之前的评论中给出的链接，http://mathworld.wolfram.com/IntegerDivision.html，在其示例中仅使用整数，因此在本次讨论中并没有多大用处。使用 trunc 和 round 将允许您使用您想要的任何参数。

Answer 3

我不太明白你所说的“定义”是什么意思。语言设计者可以按照自己的意愿自由定义运算符。在 Erlang 中，他们定义了 div 来只接受整数参数。

如果您有兴趣了解 Erlang 创建者的设计决策，可以给他们发送电子邮件。另外，如果您有足够的好奇心来筛选（非常短的）语法，您可以找到它此处。祝你好运！

Answer 4

不确定您在寻找什么，@Bertaud。不管它在其他地方如何定义，Erlang 的 div 只适用于整数。您可以在调用 div 之前将参数转换为整数：

trunc(4613.9145) div 100.

将商转换为整数：

trunc(4613.9145 / 100).

或者您可以使用 / 代替 div，然后 trunc 可能是你想要的，也可能不是——你可能想要 round，或者地板或天花板（这在 Erlang 的标准库中没有定义，但定义起来并不难你自己，就像 miku 对上面的 floor 所做的那样）。这就是 Erlang 不做任何假设并为你进行转换的部分原因。但无论如何，如果你想要 Erlang 中两个非整数的整数商，你必须在某个地方有某种显式转换步骤。