JavaScript中的类型检查

JS 的动态类型有好有坏。好的一面，不必指明变量的类型。不好的是，咱们永远无法确定变量的类型。

typeof运算符可以确定 JS 中的6种类型：

1. typeof 10; // => 'number'
2. typeof 'Hello'; // => 'string'
3. typeof false; // => 'boolean'
4. typeof { a: 1 }; // => 'object'
5. typeof undefined; // => 'undefined'
6. typeof Symbol(); // => 'symbol'
7.  

同样，instanceof 运算符用于检测构造函数的 prototype 属性是否出现在某个实例对象的原型链上。

1. class Cat { }
2. const myCat = new Cat();
3.  
4. myCat instanceof Cat; // => true
5.  

但是typeof和instanceof的一些行为可能会令人混淆。防范于未然，咱们需要提前了解一些边缘情况。

1. typeof null

typeof myObject === 'object'会告知myObject是否是一个对象类型。举个例子:

1. const person = { name: '前端小智' };
2.  
3. typeof person; // => 'object'
4.  

typeof person是'object'，因为person是一个普通的 JS 对象。

在某场景下，变量值可能需要指定为 null，下面是一些场景：

可以使用null来跳过指示配置对象
使用null初始化稍后要保存对象的变量
当函数由于某种原因无法构造对象时，返回null
例如，如果不存在正则表达式匹配项，则str.match(regExp)方法返回null：

1. const message = 'Hello';
2. message.match(/Hi/); // => null
3.  

这里引出一个问题，可以使用typeof 来区分有值的对象和具有 null 值的对象吗？

1. let myObject = null;
2. typeof myObject; // => 'object'
3.  
4. myObject = { prop: 'Value' };
5. typeof myObject; // => 'object'
6.  

从上面可以看出，typeof 对象有值的对象和具有 null 值的对象，得到的结果都是'object'。

可以如下面方法来检测变量是否有对象且不是null：

1. function isObject(value) {
2. return typeof value === 'object' && value !== null;
3. }
4.  
5. isObject({}); // => true
6. isObject(null); // => false
7.  

除了检查value是否为object: typeof value === 'object'之外，还需要明确地验证null: value !== null。

2. typeof array

如果试图检测一个变量是否包含一个数组，常见的错误就是使用typeof操作符：

1. const colors = ['white', 'blue', 'red'];
2.  
3. typeof colors; // => 'object'
4.  

检测数组的正确方法是使用Array.isArray()：

1. const colors = ['white', 'blue', 'red'];
2. const hero = { name: 'Batman' };
3.  
4. Array.isArray(colors); // => true
5. Array.isArray(hero); // => false
6.  

Array.isArray(colors)返回一个布尔值true，表示colors是一个数组。

3.虚值类型检查

JS中的undefined是一个特殊值，表示未初始化的变量。

如果试图访问未初始化的变量、不存在的对象属性，则获取到的值为 undefined :

1. let city;
2. let hero = { name: '前端小智', villain: false };
3.  
4. city; // => undefined
5. hero.age; // => undefined
6.  

访问未初始化的变量 city 和不存在的属性hero.age的结果为undefined。

要检查属性是否存在，可以在条件中使用object[propName]，这种遇到值为虚值或者undefined是不可靠的：

1. function getProp(object, propName, def) {
2. // 错误方式
3. if (!object[propName]) {
4. return def;
5. }
6. return object[propName];
7. }
8.  
9. const hero = { name: '前端小智', villain: false };
10.  
11. getProp(hero, 'villain', true); // => true
12. hero.villain; // => false
13.  

如果对象中不存在propName，则object [propName]的值为undefined。 if (!object[propName]) { return def }保护缺少的属性。

hero.villain属性存在且值为false。 但是，该函数在访问villan值时错误地返回true：getProp(hero, 'villain', true)

undefined是一个虚值，同样false、0和''和null。

不要使用虚值作为类型检查，而是要明确验证属性是否存在于对象中：

1. typeof object[propName] === 'undefined'
2. propName in object
3. object.hasOwnProperty(propName)

接着，咱们来改进getProp()函数：

1. function getProp(object, propName, def) {
2. // Better
3. if (!(propName in object)) {
4. return def;
5. }
6. return object[propName];
7. }
8.  
9. const hero = { name: '前端小智', villain: false };
10.  
11. getProp(hero, 'villain', true); // => false
12. hero.villain; // => false
13.  

if (!(propName in object)) { ... }条件正确确定属性是否存在。

逻辑运算符

我认为最好避免使用逻辑运算符||作为默情况，这个容易打断阅读的流程：

1. const hero = { name: '前端小智', villain: false };
2.  
3. const name = hero.name || 'Unknown';
4. name; // => '前端小智'
5. hero.name; // => '前端小智'
6.  
7. // 不好方式
8. const villain = hero.villain || true;
9. villain; // => true
10. hero.villain; // => false
11.  

hero 对象存在属性villain，值为 false,但是表达式hero.villain || true结果为true。

逻辑操作符||用作访问属性的默认情况，当属性存在且具有虚值时，该操作符无法正确工作。

若要在属性不存在时默认设置，更好的选择是使用新的双问号(??)操作符,

1. const hero = { name: '前端小智', villan: false };
2.  
3. // 好的方式
4. const villain = hero.villain ?? true;
5. villain; // => false
6. hero.villain; // => false
7.  

或使用解构赋值:

1. const hero = { name: '前端小智', villain: false };
2.  
3. // Good
4. const { villain = true } = hero;
5. villain; // => false
6. hero.villain; // => false
7.  

4. typeof NaN

整数，浮点数，特殊数字（例如Infinity，NaN）的类型均为数字。

1. typeof 10; // => 'number'
2. typeof 1.5; // => 'number'
3. typeof NaN; // => 'number'
4. typeof Infinity; // => 'number'

NaN是在无法创建数字时创建的特殊数值。NaN是not a number的缩写。

在下列情况下不能创建数字：

1. Number('oops'); // => NaN
2.  
3. 5 * undefined; // => NaN
4. Math.sqrt(-1); // => NaN
5.  
6. NaN + 10; // => NaN
7.  

由于NaN，意味着对数字的操作失败，因此对数字有效性的检查需要额外的步骤。

下面的isValidNumber()函数也可以防止NaN导致的错误：

1. function isValidNumber(value) {
2. // Good
3. return typeof value === 'number' && !isNaN(value);
4. }
5.  
6. isValidNumber(Number('Z99')); // => false
7. isValidNumber(5 * undefined); // => false
8. isValidNumber(undefined); // => false
9.  
10. isValidNumber(Number('99')); // => true
11. isValidNumber(5 + 10); // => true
12.  

除了typeof value === 'number'之外，还多验证!isNaN(value)确保万无一失。

5.instanceof 和原型链

JS 中的每个对象都引用一个特殊的函数:对象的构造函数。

object instanceof Constructor是用于检查对象的构造函数的运算符：

1. const object = {};
2. object instanceof Object; // => true
3.  
4. const array = [1, 2];
5. array instanceof Array; // => true
6.  
7. const promise = new Promise(resolve => resolve('OK'));
8. promise instanceof Promise; // => true
9.  

现在，咱们定义一个父类Pet和它的子类Cat：

1. class Pet {
2. constructor(name) {
3. this.name;
4. }
5. }
6.  
7. class Cat extends Pet {
8. sound = 'Meow';
9. }
10.  
11. const myCat = new Cat('Scratchy');
12.  

现在，尝试确定myCat的实例

1. myCat instanceof Cat; // => true
2. myCat instanceof Pet; // => true
3. myCat instanceof Object; // => true
4.  

instanceof运算符表示myCat是Cat，Pet甚至Object的实例。

instanceof操作符通过整个原型链搜索对象的构造函数。要准确地检测创建对象的构造函数，需要检测 constructor 属性

1. myCat.constructor === Cat; // => true
2. myCat.constructor === Pet; // => false
3. myCat.constructor === Object; // => false
4.  

只有myCat.constructor === Cat的计算结果为true，表示 Cat 是 myCat实例的构造函数。

6. 总结

运算符typeof和instanceof 用于类型检查。 它们尽管易于使用，但需要注意一些特殊情况。

需要注意的是：typeof null等于'object'。 要确定变量是否包含非null对象，需要显示指明null：

typeof myObject === 'object' && myObject !== null
检查变量是否包含数组的最佳方法是使用Array.isArray(variable)内置函数。

因为undefined是虚值的，所以我们经常直接在条件句中使用它，但这种做法容易出错。更好的选择是使用prop in object来验证属性是否存在。

使用双问号操作系符号object.prop ?? def 或者 { prop = def } = object 来访问可能丢失的属性。

NaN是一个类型为number的特殊值，它是由对数字的无效操作创建的。为了确保变量有正确的数字，最好使用更详细的验证:!isNaN(number) && typeof number === 'number'。

最后，请记住instanceof通过prototype链搜索实例的构造函数。如果不知道这一点，那么如果使用父类验证子类实例，可能会得到错误的结果。

代码部署后可能存在的BUG没法实时知道，事后为了解决这些BUG，花了大量的时间进行log 调试，这边顺便给大家推荐一个好用的BUG监控工具 Fundebug。