TypeScript | nerver 型别 心得纪录

今天要了解 interface 进一步的观念，刚好撞到 nerver 观念还不是那麽懂，所以回来补个never 观念，我觉得要了解nerver，可以根据情境去理解会比较容易，虽然看了多遍还是有点模糊，但就之後多看例子吧，以下纪录心得，细节案例请见文章，非常详细

Day 10. 前线维护・特殊型别 X 永无止尽 - Never Type - iT 邦帮忙::一起帮忙解决难题，拯救 IT 人的一天

nerver 型别

1. 使用情境目前看来有三，变数主动注记、函式return 主动注记、自动推论
2. never 精神，永远不会结束、永远不会有预期结果
3. 主动注记 vs. 被动推论，代表意义各不相同
4. 人中有我，我中只有我概念，所有型别都有never情况、但是nerver型别，只有never
5. 重点纪录
   1. never型别意义，无法跳脱函式执行(无穷回圈)、出现例外中断执行(永不会有预期结果)
   2. never 型别为所有型别 subtype ，任何型别都有可能出错，导致无法成为指定型别，因此都会有 never case ( number | never 等於 number )
   3. never 型别变数指派，注记任意型别，可以被指派对应型别外、也可被指派 never ，但若被注记 never 则不可指派其他型别
   4. 函式型别回传值推论与注记关系，若函式确定不会有结束一天(无穷回圈)，回传值将自动被推论 never ，若你主动注记 never 则，你就必须确定函式不会有结束执行点