TypeScript学习（三）：联合类型及推论

前面说到了typescript中的数据类型的定义及类型推论，定义的方式也就是单数据类型定义或者是任意类型的定义，但是我们在开发中，有时候会涉及到一些变量的值类型校验，例如只需要数值和字符串，或者数值和布尔值等等，这个时候，我们就需要利用typescript中的联合类型的定义方式，如下：

let a : string | number;

看到上面的定义方式，我们可以从字面意思上理解，意思是我们定义变量a的数值类型为字符串类型或者是数值类型，所以我们在使用变量a的时候，给a赋值为字符串类型或者是数值类型，如下：

let a : string | number;
a = 'string';
a = 1;

但是这样定义就是确定了变量a的数值类型为字符串类型或者是数值类型，所以我们如果赋值变量a的值不是这两种类型及这两种类型的子类型，编译就会报错。

在实际开发中，我们还会遇到一种情况，比如利用变量的某种属性来做一些判断，像利用字符串的长度判定等等，但是你会发现，按照上述定义变量的联合类型时，这种编译会报错，如下：

let a : string | number;
a = 'string';
console.log(a.length);   // 打印变量a的长度
a = 1;
console.log(a.length);

这种联合类型的定义，我们编译的时候会发现，第二个console.log会编译报错：number类型没有length属性，为什么呢？

前面我们提到了typescript中有一种特性，就是变量的类型推论，我们在这里定义变量a的时候，是以联合类型定义的，及变量a是字符串或者是数值类型，第一个console打印的变量a的长度，可以打印，且值为6，是因为此时变量a的类型，typescript自动推论为字符串类型，而字符串是有length属性的，所以不会报错；而第二个console打印变量a的长度，编译报错，是因为typescript将变量a的类型自动推论为number类型，而number类型是没有length属性的，所以编译就报错了。

 

 

到底啦！！！！！！！！！