为什么这个方法返回 double.PositiveInfinity 而不是 DivideByZeroException？

Question

我在 VS2015 C# 交互中运行了以下 sn-p 并得到了一些非常奇怪的行为。

> double divide(double a, double b)
. {
.     try
.     {
.         return a / b;
.     }
.     catch (DivideByZeroException exception)
.     {
.         throw new ArgumentException("Argument b must be non zero.", exception);
.     }
. }    
> divide(3,0)
Infinity    
> 3 / 0
(1,1): error CS0020: Division by constant zero
> var b = 0;
> 3 / b
Attempted to divide by zero.
> 

为什么方法返回无穷大而 3 / 0 抛出错误而 3 / b 抛出格式化错误？我可以强制除法抛出错误而不是返回无穷大吗？

如果我将方法重新格式化为

double divide(double a, double b)
{
    if ( b == 0 )
    {
        throw new ArgumentException("Argument b must be non zero.", new DivideByZeroException());
    }
    return a / b;
}

新的 DivideByZeroException 是否包含与捕获的异常相同的所有信息和结构？

Answer 1

因为你使用System.Double。

如MSDN 所述，DivideByZeroException 仅针对整数类型和Decimal 抛出。

那是因为很难为 Double 值定义“所谓的”零。

PositiveInfinity 也是由零除以正数 被除数，NegativeInfinity 由一个除以零产生 负股息。 （来源：MSDN again）

DivideByZeroException 不适用于浮点类型。注意：您可以得到NaN，但当您尝试除以零且除数为零时。

Answer 2

为什么方法返回无穷大而 3 / 0 抛出错误而 3 / b 抛出了一个格式化错误？

因为在第一种情况下，0 不是整数，而是双精度数。而在第二个是一个整数。您应该在这里意识到 double 是一个浮点数。所以它没有像整数那样的精确值。另一方面，一个整数可以被计算机以 100% 的准确率表示。

Here 你可以找到一篇关于浮点数的非常好的文章。

Answer 3

正如其他人在上面所说，这是由于您使用 double 作为除数。您可以通过使用变量示例来证明这一点，但使用 double 而不是 var。

> double a = 3;
> double b = 0;
> a/b
∞

Answer 4

Java 中的 Int 是 2 的补码。二进制补码整数没有任何位可用于存储 Infinity 或 NaN 等特殊值，因此由于结果无法以所需类型表示，因此必须抛出异常。浮点数没有这个问题（Infinity 有一个位模式可用），因此不需要例外。