JavaScript是一种动态的、松散的类型语言，这意味着它没有对值的表示和比较执行严格的规则。当使用==、===、<、>等运算符比较数值时，这可能导致一些令人惊讶和不直观的结果。在这篇文章中，我们将研究一些常见的陷阱和最佳实践，以可靠和一致的方式比较JavaScript的值。

严格比较

=== 和 !== 是JavaScript中严格运算符。它们比较操作数的值和类型，而不执行任何类型强制。这意味着它们只在操作数具有相同的值和相同的类型时返回True，我们举几个例子说明：

console.log(5 === 5) // true
console.log(5 === "5") // false
console.log(true === true) // true
console.log(true === 1) // false
console.log(null === undefined) // false
console.log(null === null) // true

缺陷

对于逻辑上相等但有不同表现形式的值，它们会返回错误。我们同样举几个例子说明：

console.log(NaN === NaN) // false
console.log([1] === [1]) // false

根据定义，NaN不等于自己。同样，[1]===[1]也是错误的，因为数组是通过引用而不是通过值进行比较的。为了避免这些陷阱，建议使用其他方法来检查相等，例如Number.isNaN()用于NaN值，Array.prototype.every()用于数组值。

宽松比较

== 和 != 分别用于比较两个值的相等和不相等。然而，这些运算符不检查值的类型，只检查它们的值。下面是个例子：

console.log(2 == '2') // true
console.log(2 != '2') // false

我们用==来比较2和 "2"，它将返回true，因为它在比较前将 "2"转换为一个数字。然而，如果我们使用=，它将返回false，因为它在比较前将 "2"转换为一个数字

为什么会有类型转换

在 JavaScript 中，隐式类型转换（也称为自动类型转换或强制类型转换）是指在表达式中使用不同数据类型的操作数时，JavaScript 引擎自动将其中一个操作数转换为另一种数据类型，以便执行操作。

转换规则

JavaScript 的隐式类型转换规则如下：

1. 字符串和数字之间的隐式类型转换：

   • 在字符串和数字之间使用加法运算符 + 时，如果其中一个操作数为字符串，JavaScript 引擎会将另一个操作数隐式转换为字符串，并执行字符串的拼接操作。
   • 在字符串和数字之间使用其他运算符（如减法、乘法、除法等）时，如果字符串可以转换为有效的数字，JavaScript 引擎会将字符串隐式转换为数字，并执行相应的数学运算。

2. 字符串、数字和布尔值之间的隐式类型转换：

   • 在布尔值和字符串、数字之间进行运算时，布尔值会被隐式转换为数字，true 被转换为 1，false 被转换为 0。
   • 在字符串和布尔值之间进行运算时，布尔值会被隐式转换为字符串，true 被转换为字符串 'true'，false 被转换为字符串 'false'。

3. 对象和原始值之间的隐式类型转换：

   • 在对象和原始值之间进行运算时，JavaScript 引擎会尝试将对象转换为原始值。这个过程涉及到对象的 valueOf() 和 toString() 方法。首先会调用对象的 valueOf() 方法，如果返回的不是原始值，则会调用对象的 toString() 方法。如果最终还没有得到原始值，则会抛出错误。

4. 数组和字符串之间的隐式类型转换：

   • 在数组和字符串之间使用加法运算符 + 时，数组会被隐式转换为字符串，数组的元素会被逗号分隔并拼接成一个字符串。
   • 在数组和字符串之间使用其他运算符时，数组会被隐式转换为字符串，然后执行相应的字符串运算。

5. 其他类型之间的隐式类型转换：

   • 在其他类型之间进行运算时，JavaScript 引擎会尝试将其中一个操作数转换为数字、字符串或布尔值，然后执行相应的运算。

转换规则从哪里来？

隐式类型转换是 JavaScript 语言规范中定义的一种特性，用于在不显式指定类型转换的情况下，自动将一种数据类型转换为另一种数据类型，以进行操作或比较。隐式类型转换是通过抽象操作（Abstract Operations）来定义的，这些抽象操作定义了各种类型之间的转换规则。隐式类型转换发生在运算符、操作符和表达式等语法结构的运行时执行过程中。

JavaScript 语言规范中定义了一系列的抽象操作，这些操作用于描述在语言执行过程中对值的处理方式，包括类型转换、运算符的行为、错误处理等。这些抽象操作在JavaScript引擎的实现中起到了关键作用。

举例来说，以下是一些在JavaScript语言规范中定义的抽象操作：

1. ToPrimitive(input, preferredType) 这个抽象操作用于将一个值转换为其原始值。它接受两个参数，input为待转换的值，preferredType为首选的类型。这个抽象操作在很多地方被用于隐式类型转换，例如在使用运算符时会隐式调用ToPrimitive将操作数转换为原始值。
2. ToString(argument) 这个抽象操作用于将一个值转换为字符串类型。它接受一个参数argument，表示待转换的值。这个抽象操作在字符串拼接、输出日志等场景中经常被使用。
3. ToNumber(argument) 这个抽象操作用于将一个值转换为数字类型。它接受一个参数argument，表示待转换的值。这个抽象操作在数学运算、比较大小等场景中会被隐式调用。
4. ToBoolean(argument) 这个抽象操作用于将一个值转换为布尔类型。它接受一个参数argument，表示待转换的值。这个抽象操作在条件判断、逻辑运算等场景中经常被使用。

详细规范可以在ECMAScript® 2020 Language Specification (ecma-international.org)中找到

相关文档

• 类型强转
• ECMAScript规范