代码之家 › 专栏 › 技术社区 › brainimus user417509

为什么把一个NaN转换成一个long会产生一个有效的结果?

brainimus user417509 · 技术社区 · 14 年前

在下面的示例代码中,我将除以0,当我使用调试器遍历它时,(除数/除数)将产生无穷大或NaN(如果除数为零)。当我将这个结果转换为long时,我得到一个有效的结果,通常类似于-9223372036854775808。为什么这个演员有效?为什么它不停止执行(例如抛出一个异常)而不是分配一个任意值?

double divisor = 0;
double dividend = 7;
long result = (long)(dividend / divisor);

5 回复 | 直到 14 年前

Eric Lippert 14 年前

为什么这个演员有效?

可以成功或总是成功。只有当转换不可能成功时,强制转换才是非法的(例如,将密封类型强制转换为它没有实现的接口。)从double到long的转换可能会成功。因此,演员阵容是有效的。

为什么它不停止执行(例如抛出一个异常)而不是分配一个任意值?

因为你没有要求例外!规范非常清楚预期的行为是什么。见第6.2.1节:

在选中的上下文中,转换过程如下:

[...]

您正在未检查的上下文中执行代码;你没有要求任何例外,所以你没有例外。如果你想要一个例外,就要求一个例外;使用选中的上下文。

SLaks 14 年前

你可以使用 checked block 强制运行时检查溢出并抛出异常,如下所示:

checked {
    double divisor = 0;
    double dividend = 7;

    long result = (long)(dividend / divisor);
}

请注意,将有轻微的性能损失。

Hans Passant 13 年前

C语言规范第6.2.1节明确记录了该行为:

对于从float或double到integral类型的转换转换发生在:

在选中的上下文中,转换过程如下:

抛出System.OverflowException。

最近的整数值。如果该整数值在目标类型则此值是转换的结果。

如下所示。

如果操作数的值为NaN或无穷大,则转换是目标类型的未指定值。

否则,源操作数将向零舍入为零最近的整数值。如果该整数值在目标类型则此值是转换的结果。

否则,转换的结果是目标类型。