首页 > 其他 > 详细

[TypeScript] Use TypeScript’s never Type for Exhaustiveness Checking

时间:2017-11-09 23:49:33      阅读:286      评论:0      收藏:0      [点我收藏+]

TypeScript 2.0 introduced a new primitive type called never, the type of values that never occur. It helps model the completion behavior of functions more accurately and can also be used for exhaustiveness checking.

 

In somecases, never type can be useful as well.

enum ShirtSize {
  XS,
  S,
  M,
  L,
  XL
}

function assertNever(value: never): never {
  // throw Error(`Unexpected value ‘${value}‘`)
  // Adjusted for plunker output
  console.log(Error(`Unexpected value ${value}`));
}

function prettyPrint(size: ShirtSize) {
  switch (size) {
      case ShirtSize.S: console.log("small");
      case ShirtSize.M: return "medium";
      case ShirtSize.L: return "large";
      case ShirtSize.XL: return "extra large";
      // [ts] Argument of type ‘ShirtSize.XS‘ is
      // not assignable to parameter of type ‘never‘.
      default: return assertNever(size);
  }
}

prettyPrint(ShirtSize.S)
prettyPrint(ShirtSize.XXL)

In the example, we want to make sure that every time in the enum ShirtSzie has been handled by the ‘prettyPrint‘ function.

But sometime, we might miss one case. That‘s where ‘assertNever‘ function can help to make sure, we have gone though all the cases.

[TypeScript] Use TypeScript’s never Type for Exhaustiveness Checking

原文:http://www.cnblogs.com/Answer1215/p/7811540.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!