在 C# 中复制后是否保证双精度/浮点相等？ [复制]

Question

对于一个非常简单的问题，我找不到一个清晰、简单的答案！我将把我的问题分成两个版本。

在 C# 中，假设我运行以下命令：

double x = 76239.78362194721;
double y = -3;
y = x;  // copied by value, as doubles are literals
//y = y + 1.4;  // Version 1 of my question has these commented-out
//x = x + 1.4;  // Version 2 of my question has these not commented-out
bool b = (x == y);

布尔值b 总是 是真的吗？也就是说，虽然双打之间的平等度量是不准确的，但计算机不会故意添加噪音吗？

b 能否取决于我问的是版本 1 还是版本 2？ （我们可以假设 x 和 y 不接近 double 的最大值或最小值，也不接近 plus/minus epsilon。

谢谢！ 〜格雷格

Answer 1

使用y = x; 复制不会导致任何精度损失。

赋值后x == y为真。

由于x 和y 相等，所以在

y = y + 1.4;
x = x + 1.4;

x == y 很可能是真的；然而，正如 Eric Lippert 所指出的（见下面的 cmets），这并不能保证。

始终以所需的精度比较双精度数：

const double Eps = 1e-10;
if (Math.Abs(x - y) < Eps) {
    // x and y are equal enough
} else {
    // x and y are not equal
}

当然，如果您只注释其中一个，x 和 y 将相差大约 1.4。它们可能相差1.399999999999999 或1.400000000000001 左右。如果两者都很大（例如1.0e25），则加法将无效，因为它会影响被截断的小数。 double 的精度为 15-16 位。如果两者都非常小（例如1.0e-25），也是如此，因为它们的原始值将丢失，结果将是1.4。

在 C# 交互窗口中，您可以对其进行测试

> 1e+25 + 1.4 == 1e+25
true

还有那个

> 1e-25 + 1.4 == 1.4
true

---

... 按值复制，因为双精度数是文字

嗯，不完全是。 System.Double（C# 别名double）是一个值类型。 3.141592654 是 double 文字。在double x; 中，标识符x 是double 变量（或字段，如果它在类型级别声明）。

但即使你复制...

var p1 = new Person { Name = "John" }; // Where Person is a class.
var p2 = p1;
// Now, p1 and p2 reference the same object. I.e. they have the same value.

...变量的值是按值复制的。不同的是，这个值是一个参考。该值不是一个人对象，而是对它的引用。

p2.Name = "Mark";

现在p1.Name == "Mark" 为真，但p1 的值没有改变。它仍然是相同的参考。引用的对象确实发生了变化。

---

double d1 = 5;
double d2 = d1;
d2 = 77;

d1 仍然是 5。因为double 是值类型，所以变量中直接包含数字。不涉及引用。

---

在另一个示例中，引用是通过引用传递的

var p1 = new Person{ Name = "John" };
AssignAnotherPerson(ref p1);

void AssignAnotherPerson(ref Person p)
{
    p = new Person{ Name = "Sue" }; // Here p is an alias for p1.
}

调用此方法后，p1 将包含人员 Sue。

可以有四种情况： (1) 值类型按值传递。 (2) 通过引用传递的值类型。 (3) 按值传递的引用类型。 (4) 通过引用传递的引用类型。