，但它们包含相同的字元序列（第二种意义上相等）。有关此问题的更多信息，请参阅识别（identity）。实数中包括许多简分数，无法以浮点算数精确地表示，所以需要在给定误差范围内来测试相等性。但这样的误差范围将打破一些例如传递性、反身性的要求性质：IEEE浮点标准是判断 Nan ≠ NaN 成立（NaN不等于自身）。其他编程元素例如可计算的函数，可能没有相等性的意义，或者相等性是不能计算的。由于这些原因，一些语言以基础类别、介面、特点（trait）或协定的形式，定义了“可比较”的明确概念，以源码中的显式