在我用react + typescript写项目的时候，ts总会报一些类型的错误，比如下图的错误：Type ‘string | string[]’ is not assignable to type ‘string | undefined’.

在我确定我的类型是正确的情况下不理解为啥报这样一个错，在网上找了很久，就是加类型断言，解决方法如下图：（值 as 类型）

这样就不会报错拉。
关于typescript类型断言，整理知识点如下：

typescript很强大，但是用不好时也会很头痛，开发遇到类型错误的情况不在少数，或许你需要了解类型断言。使用断言，简单来说就是先做好一个假设，使得编译通过。

我一开始接触类型断言时是有点不明白的，后来我了解到原因是 “类型断言更像是类型的选择，而不是类型转换” 。我发现不少博客文章里把类型断言说成了类型转换，这在最开始给我带来了一些困扰。

使用类型断言有两种方式：

推荐以 as 方式，因为 jsx 这样的语法中只支持 as 方式。
举例：

function func(val: string | number): number {
  if (val.length) {
    return val.length
  } else {
    return val.toString().length
函数的参数 val 是一个联合类型，在这里的意思是说 val 可以是字符串类型也可以是数值类型。代码中要返回参数的长度，但是 length 可以是字符串的属性，而数值是没有这个属性的，所以当 val 是数值时，就先用 toSting() 来将数字转换为字符串再取长度。这样的逻辑本身没问题，但是在编译阶段一访问 val.length 时就报错了，因为 访问联合类型值的属性时，这个属性必须是所有可能类型的共有属性，而length不是共有属性，val 的类型此时也没确定，所以编译不通过。为了通过编译，此时就可以使用类型断言了，如下：
 
function func(val: string | number): number {
  if ((<string>val).length) {
    return (<string>val).length
  } else {
    return val.toString().length
function func(val: string | number): number {
  if ((val as string).length) {
    return (val as string).length
  } else {
    return val.toString().length
例子中，把 val 断言为了 string类型，此时就可以访问 length 属性了。你可能会疑惑如果 val 断言为了string，那么开始定义的联合类型是不是失去了它的意义？答案是否定的。我在一开始就说了类型断言不是类型转换，而是类型选择，可以理解为在编译阶段强行把 val 当作 string类型来访问了。
                    在我用react + typescript写项目的时候，ts总会报一些类型的错误，比如下图的错误：Type ‘string | string[]’ is not assignable to type ‘string | undefined’.在我确定我的类型是正确的情况下不理解为啥报这样一个错，在网上找了很久，就是加类型断言，解决方法如下图：（值 as 类型）这样就不会报错拉。关于typescript类型断言，整理知识点如下：typescript很强大，但是用不好时也会很头痛，开发遇到类型错误的
					
error TS2322 Type ‘string | LocationQueryValue[] | null‘ is not assignable to type ‘string‘.
// eslint-disable-next-line @typescript-eslint/ban-ts-comment
// @ts-ignore
const redirect: string = this.$route.query && this.$route.query.redirect;
const redirect: string | null = this.$route.query && this.$rou
				
报错如下：
Type ‘string | null’ is not assignable to type ‘string’.
Type ‘null’ is not assignable to type ‘string’.ts(2322)
解决办法：
token: localStorage.getItem("token") || ''
				
ts 报错 Type ‘string’ is not assignable to type ‘never’.Vetur(2322)
Type ‘string’ is not assignable to type ‘never’.Vetur(2322)
在这里插入代码片
date = []
    this.date = [moment(new Date().getTime() - 3600 * 1000 * 24 * 30).format('YYYY-MM-DD'), moment(new Da
Registering type handler against HashMap causes ClassCastException. #1089
Unable to register TypeHandler once TypeHandlerRegistry.hasTypeHandler is called. #1177
Serializing and deserializing cached objects causes NullPointerException. #1084
Invalid error message 'Two methods with same method signature but not providing classes assignable?' in System.err. #929
				
下面就来详细说一说 Javascript 中 Boolean、Nnumber、String 强制类型转换的区别。 我们知道 Boolean(value) 是把值转换成Boolean类型，Nnumber(value) 是把值转换成数字（整型或浮点数），而 String(value) 是把值转换成字符串。先来分析下Boolean，Boolean在转换值为“至少有一字符的字符串”、“非0的数字”或“对象”的情况下返回true；在转换值为“空字符串”、“数字0”、“undefined”，“null”的情况下返回false。 例如：  代码如下: var b1 = Boolean(“”);//返回fal
				
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
Table of Contents
Part I Judgments and Rules
Chapter 1 Abstract Syntax
Chapter 2 Inductive Definitions
Chapter 3 Hypothetical and General Judgments
Part II Statics and Dynamics
Chapter 4 Statics
Chapter 5 Dynamics
Chapter 6 Type Safety
Chapter 7 Evaluation Dynamics
Part III Total Functions
Chapter 8 Function Definitions and Values
Chapter 9 System T of Higher-Order Recursion
Part IV Finite Data Types
Chapter 10 Product Types
Chapter 11 Sum Types
Part V Types and Propositions
Chapter 12 Constructive Logic
Chapter 13 Classical Logic
Part VI Infinite Data Types
Chapter 14 Generic Programming
Chapter 15 Inductive and Coinductive Types
Part VII Variable Types
Chapter 16 System F of Polymorphic Types
Chapter 17 Abstract Types
Chapter 18 Higher Kinds
Part VIII Partiality and Recursive Types
Chapter 19 System PCF of Recursive Functions
Chapter 20 System FPC of Recursive Types
Part IX Dynamic Types
Chapter 21 The Untyp