从两个角度理解 TypeScript 中的类型是什么?

更新日期: 2020-02-03阅读: 1.7k标签: 类型

TypeScript中的类型是什么?本文中描述了两种有助于理解它们的观点。


每个角度三个问题

以下三个问题对于理解类型如何工作非常重要,并且需要从两个角度分别回答。

myVariable 具有 MyType 类型是什么意思?

let myVariable: MyType = /*...*/;

SourceType 是否可以分配给 TargetType?

   let source: SourceType = /*...*/;
   let target: TargetType = source;

TypeUnion 是如何从 Type1,Type2 和 Type3 派生的?

type TypeUnion = Type1 | Type2 | Type3;


观点1:类型是值的集合

从这个角度来看,类型是一组值:

如果 myVariable 的类型为 MyType,则意味着所有可以分配给 myVariable 的值都必须是 MyType 集合的元素。

SourceType 可分配给 TargetType ,SourceType 是 TargetType 的子集。结果所有能被 SourceType 接受的值也被 TargetType 接受。

类型 Type1、Type2 和 Type3 的类型联合是定义它们集合的集合理论 union。


观点2:类型兼容性关系

从这个角度来看,我们不关心值本身以及在执行代码时它们是如何流动的。相反,我们采取了更加静态的观点:

源代码中包含 location,每个 location 都有一个静态类型。在支持 TypeScript 的编辑器中,如果将光标悬停在 location 上方,则可以看到该 location 的静态类型。

当源 location 通过分配、函数调用等连接到目标 location 时,则源 location 的类型必须与目标 location 的类型兼容。 TypeScript 规范通过所谓的类型关系定义类型兼容性。

类型关系分配兼容性定义什么时候把源类型 S 分配给目标类型 T:

S 和 T 是相同的类型。
S 或 T 是 any 类型。

让我们考虑以下问题:

如果将 myVariable 的静态类型分配给 MyType,则 myVariable 的类型为 MyType。

如果 SourceType 是兼容分配的,则可以将它们分配给 TargetType。

通过类型关系apparent 成员定义类型 union 的工作方式。

TypeScript 类型系统的一个有趣特征是,同一变量在不同位置可以具有不同的静态类型:

const arr = [];
// %inferred-type: any[]
arr;

arr.push(123);
// %inferred-type: number[]
arr;

arr.push('abc');
// %inferred-type: (string | number)[]
arr;


名义类型系统与结构类型系统

静态类型系统的职责之一是确定两种静态类型是否兼容:

实际参数的静态类型 U(例如,通过函数调用提供)

对应形式参数的静态类型 T(在函数定义中指定)

这通常意味着检查 U 是否为 T 的子类型。大致有两种检查方法:

名义类型系统中,两个静态类型如果具有相同的标识(“名称”)则相等。如果明确声明了它们的子类型关系,则一种类型是另一种类型的子类型。

名义类型的语言为 C ++、Java、C#、Swift 和 Rust。

结构类型系统中,两个静态类型具有相同的结构(如果它们具有相同的名称和相同的类型)则相等。如果 U 具有 T 的所有部分(可能还有其他),并且 U 的每个部分具有 T 的相应部分的子类型,则类型 U 是另一种类型 T 的子类型。

具有结构化类型的语言为 OCaml/ReasonML、Haskell 和 TypeScript。

以下代码在名义类型系统中会产生类型错误(A 行),但在 TypeScript 的结构类型系统中是合法的,因为类 A 和类 B 具有相同的结构:

class A {
  name = 'A';
}
class B {
  name = 'B';
}
const someVariable: A = new B(); // (A)

TypeScript 的 interface 在结构上也可以正常工作 —— 不必为了匹配而实现它们:

interface Point {
  x: number;
  y: number;
}
const point: Point = {x: 1, y: 2}; // OK
作者:Dr. Axel Rauschmayer
翻译:疯狂的技术
原文:https://2ality.com/2020/02/


链接: https://www.fly63.com/article/detial/8104

JS中Null与Undefined的区别

在JavaScript中存在这样两种原始类型:Null与Undefined。这两种类型常常会使JavaScript的开发人员产生疑惑,在什么时候是Null,什么时候又是Undefined?Undefined类型只有一个值,即undefined。当声明的变量还未被初始化时,变量的默认值为undefined。

Javascript的类型检测

主要介绍了JS中检测数据类型的几种方式,typeof运算符用于判断对象的类型,但是对于一些创建的对象,它们都会返回\'object\',有时我们需要判断该实例是否为某个对象的实例,那么这个时候需要用到instanceof运算符

js类型转换的各种玩法

对于object和number、string、boolean之间的转换关系,ToPrimitive是指转换为js内部的原始值,如果是非原始值则转为原始值,调用valueOf()和toString()来实现。

JavaScript类型:关于类型,有哪些你不知道的细节?

Undefined类型表示未定义,它的类型只有一个值为undefined。undefined和null有一定的表意差别。非整数的Number类型无法使用 == 或 === 来比较,因为 JS 是弱类型语言,所以类型转换发生非常频繁

为你的 JavaScript 项目添加智能提示和类型检查

近在做项目代码重构,其中有一个要求是为代码添加智能提示和类型检查。智能提示,英文为 IntelliSense,能为开发者提供代码智能补全、悬浮提示、跳转定义等功能,帮助其正确并且快速完成编码。

js的类型

基本类型:按值访问,可以操作保存在变量中实际的值;引用类型数据存在堆内存,而引用存在栈区,也就是说引用类型同时保存在栈区和堆区,关于==的执行机制,ECMASript有规范,因为==前后的值交换顺序,返回的值也是一样的,所以在此对规范做出如下总结

再也不用担心 JavaScript 的数据类型转换了

JavaScript 是一种弱类型或者说动态类型语言。所以你不用提前声明变量的类型,在程序运行时,类型会被自动确定,你也可以使用同一个变量保存不同类型的数据。

JavaScript基础之值传递和引用传递

js的值传递和引用(地址)传递:js的5种基本数据类型 number,string,null,undefined,boolean 在赋值传递时是值传递,js的引用数据类型(object,array,function)进行引用传递,其实底层都是对象。

JS中的布尔 数字 字符串

JS中所有的值都可以转换成布尔类型 使用Boolean()或者 !!(两个感叹号),JS中所有的值都可以转换成数字类型,使用Number()或+。数字类型转换场景目的只有一个,用于计算,将后台传递的数据,从字符串转换为数字并参与计算

if条件中,js的强制类型转换

众所周知,JS在很多情况下会进行强制类型转换,其中,最常见两种是:1.使用非严格相等进行比较,对==左边的值进行类型转换2.在if判断时,括号内的值进行类型转换,转化为布尔值

点击更多...

内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!