精进TypeScript--【类型设计】倾向选择总是代表有效状态的类型

本文主要是介绍精进TypeScript--【类型设计】倾向选择总是代表有效状态的类型,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

如果你看不到代码所操作的数据或数据类型,代码就很难理解。这就是类型系统的一大优势:通过写出类型,让你的代码的读者可以看到它们,而且这也将使得你的代码变得易懂。

要记住的事情:

  • 既代表有效状态又代表无效状态的类型,很可能使得代码混乱,容易出错
  • 优先选择只代表有效状态的类型。即使它们较长或较难表达,但最终会为你节省时间和较少痛苦

假设你正在构建一个Web应用程序,允许你选择一个页面,加载该页面的内容,然后显示它:

interface State {pageText: string;isLoading: boolean;error?: string;
}

当你编写代码来渲染页面时,你需要考虑所有这些领域:

function renderPage(state: State) {if (state.error) {return `Error! Unable to load ${currentPage}: ${state.error}`;} else if (state.isLoading) {return `Loading ${currentPage}...`;}return `<h1>${currentPage}</h1>\n${state.pageText}`;
}

上面的做法对吗?如果 isLoading 和 error 都设置了呢?是显示加载信息好还是错误信息好?这个很难说,目前信息量不够。

或者,如果你要写一个changePage函数呢?比如:

async function changePage(state: State, newPage: string) {state.isLoading = true;try {const response = await fetch(getUrlForPage(newPage));if (!response.ok) {throw new Error(`Error! Unable to load ${newPage}: ${response.statusText}`);}const text = await response.text();state.isLoading = false;state.pageText = text;} catch(e) {state.error = '' + e;}
}

这里有很多问题:

  • 在错误的情况下,我们忘记将 state.isLoading 设置为 false
  • 我们没有清除 state.error,所以如果之前的请求失败,那么你会一直看到这个错误信息,而不是加载信息
  • 如果用户在页面加载过程中再次刷新页面,谁也不知道会发生什么。他们可能会看到一个新的页面,然后出现一个错误:或者看到第一个页面,而不是第二个页面,这取决于响应回来的顺序

问题在于状态包括的信息太少:哪个请求失败了?哪个正在加载?或者包括的信息太多:State 类型允许设置 isLoading 和 error,即使这代表一个无效的状态。这使得 render() 和 changePage() 都无法很好地实现。

这里有一种更好的方式来表示应用状态:

interface RequestPending {state: 'pending';
}
interface RequestError {state: 'error';error: string;
}
interface RequestSuccess {state: 'ok';error: string;
}
type RequestState = RequestPending | RequestError | RequestSuccess;interface State {currentPage: string;requests: {[page: string]: RequestState};
}

这里使用一个标签联合类型来明确地模拟网络请求可能处于的不同状态。尽管这个版本的状态要更长,但它有一个巨大的优势,就是不接受无效 状态。当前页面是基于显式建模的,你发出的每个请求的状态也是基于显式建模的。因此,renderPage 和 changePage 函数很容易实现:

function renderPage(state: State) {const {currentPage} = state;const requestState = state.requests[currentPage];switch (requestState.state) {case 'pending':return `Loading ${currentPage}...`;case 'error':return `Error! Unable to load ${currentPage}: ${requestState.error}`;case 'ok':return `<h1>${currentPage}</h1>\n${requestState.pageText}`;case default:return '';}
}async function changePage(state: State, newPage: string) {state.requests[newPage] = {state: 'pending'};state.currentPage = newPage;try {const response = await fetch(getUrlForPage(newPage));if (!response.ok) {throw new Error(`Error! Unable to load ${newPage}: ${response.statusText}`);}const pageText = await response.text();state.requests[newPage] = {state: 'ok', pageText};} catch(e) {state.requests[newPage] = {state: 'error', error: '' + e};}
}

和第一次实现相比,歧义完全消失了。当前页面是什么很清楚,每一个请求正好对应一个状态。如果用户在请求发出后改变了页面,那也没有问题。旧的请求仍然会完成,但不会影响 UI。

这篇关于精进TypeScript--【类型设计】倾向选择总是代表有效状态的类型的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/883811

相关文章

MyBatis设计SQL返回布尔值(Boolean)的常见方法

《MyBatis设计SQL返回布尔值(Boolean)的常见方法》这篇文章主要为大家详细介绍了MyBatis设计SQL返回布尔值(Boolean)的几种常见方法,文中的示例代码讲解详细,感兴趣的小伙伴... 目录方案一:使用COUNT查询存在性(推荐)方案二:条件表达式直接返回布尔方案三:存在性检查(EXI

IIS 7.0 及更高版本中的 FTP 状态代码

《IIS7.0及更高版本中的FTP状态代码》本文介绍IIS7.0中的FTP状态代码,方便大家在使用iis中发现ftp的问题... 简介尝试使用 FTP 访问运行 Internet Information Services (IIS) 7.0 或更高版本的服务器上的内容时,IIS 将返回指示响应状态的数字代

Kali Linux安装实现教程(亲测有效)

《KaliLinux安装实现教程(亲测有效)》:本文主要介绍KaliLinux安装实现教程(亲测有效),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、下载二、安装总结一、下载1、点http://www.chinasem.cn击链接 Get Kali | Kal

一文教你如何解决Python开发总是import出错的问题

《一文教你如何解决Python开发总是import出错的问题》经常朋友碰到Python开发的过程中import包报错的问题,所以本文将和大家介绍一下可编辑安装(EditableInstall)模式,可... 目录摘要1. 可编辑安装(Editable Install)模式到底在解决什么问题?2. 原理3.

exfat和ntfs哪个好? U盘格式化选择NTFS与exFAT的详细区别对比

《exfat和ntfs哪个好?U盘格式化选择NTFS与exFAT的详细区别对比》exFAT和NTFS是两种常见的文件系统,它们各自具有独特的优势和适用场景,以下是关于exFAT和NTFS的详细对比... 无论你是刚入手了内置 SSD 还是便携式移动硬盘或 U 盘,都需要先将它格式化成电脑或设备能够识别的「文

使用Python实现IP地址和端口状态检测与监控

《使用Python实现IP地址和端口状态检测与监控》在网络运维和服务器管理中,IP地址和端口的可用性监控是保障业务连续性的基础需求,本文将带你用Python从零打造一个高可用IP监控系统,感兴趣的小伙... 目录概述:为什么需要IP监控系统使用步骤说明1. 环境准备2. 系统部署3. 核心功能配置系统效果展

MySQL 中查询 VARCHAR 类型 JSON 数据的问题记录

《MySQL中查询VARCHAR类型JSON数据的问题记录》在数据库设计中,有时我们会将JSON数据存储在VARCHAR或TEXT类型字段中,本文将详细介绍如何在MySQL中有效查询存储为V... 目录一、问题背景二、mysql jsON 函数2.1 常用 JSON 函数三、查询示例3.1 基本查询3.2

SpringSecurity JWT基于令牌的无状态认证实现

《SpringSecurityJWT基于令牌的无状态认证实现》SpringSecurity中实现基于JWT的无状态认证是一种常见的做法,本文就来介绍一下SpringSecurityJWT基于令牌的无... 目录引言一、JWT基本原理与结构二、Spring Security JWT依赖配置三、JWT令牌生成与

Pydantic中Optional 和Union类型的使用

《Pydantic中Optional和Union类型的使用》本文主要介绍了Pydantic中Optional和Union类型的使用,这两者在处理可选字段和多类型字段时尤为重要,文中通过示例代码介绍的... 目录简介Optional 类型Union 类型Optional 和 Union 的组合总结简介Pyd

关于WebSocket协议状态码解析

《关于WebSocket协议状态码解析》:本文主要介绍关于WebSocket协议状态码的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录WebSocket协议状态码解析1. 引言2. WebSocket协议状态码概述3. WebSocket协议状态码详解3