标签：Control Typescript const 控制流 number shape typescript arg toFixed

所谓Control flow analysis是指，typescript根据代码上下文的可以推断出当前变量类型。比如典型的类型断言：

// 字符串存在substring方法
// 数字存在toFixed方法
const foo11 = (arg: string | number) => {
  // type guard (类型守卫)
  if (typeof arg === "string") {
  	// 这里此时一定是字符串
    arg.substring(0, 1);
  } else {
  	// 剩下的一定是数字。
    arg.toFixed(2);
  }
};
// 通过编译，不会有问题，感觉很智能。

但这也是感觉上的智能，实际还是有些问题的：

const foo12 = (arg: string | number) => {
  const numberGuard = typeof arg === "number";
  if (numberGuard) {
    // 此时已经可以确保arg就是一个Number，但typescript 4.3并不能确保分析出这是一个数字。。
    arg.toFixed(2); //Property 'toFixed' does not exist on type 'string | number'.

    // 不得不再次强转类型才可以
    (arg as number).toFixed(2);
  }
};

在4.4以后，Control flow analysis 更加强大了，虽然参考官方文档，并没有看出其是否可以推断出所有情况，但足以应付各种场景了。除了上边的numberGuard不会再抛错，typescript甚至可以做的更多：

通过属性的类型，确定对象的类型

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; sideLength: number };
 
function area(shape: Shape): number {
  const isCircle = shape.kind === "circle";
  if (isCircle) {
    // 这里通过属性得知对象一定是Circle
    return Math.PI * shape.radius ** 2;
  } else {
    // 剩下的就是Square!
    return shape.sideLength ** 2;
  }
}

值得思考的是，在上面的这些例子中，本质仍旧是通过一种断言去确认类型。而如isCircle或者numberGuard变量仅仅是这个条件断言的别名(alias)。之后就可以通过这个别名去做各种判断，所以typescript 也称这个特性为Aliased Conditions and Discriminants 这里可详见下方文档

参考文档： https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-4.html

标签：Control,Typescript,const,控制流,number,shape,typescript,arg,toFixed
来源： https://blog.csdn.net/weixin_43459866/article/details/120448548

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。