本文主要是介绍TS为什么被叫做类型体操，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
目录
1.简单类型系统
2.支持泛型系统
3、类型编程的类型系统
类型系统不止ts有，比如说java、c++都有，为什么只有ts被称为类型体操
本文将讲述为什么ts被称为类型体操。静态类型编程语言都有一套自己的类型系统，从简单到复杂可以分为3类。
1、简单类型系统
最基本的类型系统，类型不匹配会报错，能保证数据安全，但几乎没有拓展性
例如:
int add(int a ,int b){return a+ b
}double add(double a, double b){return a + b
}2、支持泛型系统
泛型的意思是可以代表任何一种类型，也叫类型参数，他可以给你定义的类型点增加一些灵活性，但整体比较固定，可以减少很多重复代码，例如上面的add函数
T add<T>(T a, T b) {return a + b;
}add(2,3);
add(3.14, 3.14156);
如上所示，声明的时候会把类型去声明成泛型，在调用的时候去确定泛型的类型
那如果想要返回对象中的某一个属性值该怎么去写呢？
const fn = <T>(obj: T, key): key => {return obj[key];
};
但是这样 我们该如何实现对<T>去做一些逻辑处理呢？所以就有了第三种类型系统
3、类型编程的类型系统
我们可以对传入的类型（泛型）去各种逻辑计算，产生新的类型，例如
const getObjValue = <T extends object, key extends keyof T>(obj: T,key: key
): T[key] => {return obj[key];
};
在这段代码中：
我们声明了两个泛型 <T>、<key> 并且对这两个泛型进行了约束，<T>必须是一个带有属性的object，key 必须是 <T>中的某一个键名
所以这个函数的的意思就是 getObjValue 函数接受两个参数（1.一个带有属性的对象 2.一个该属性下的键名） 返回的是 这个键对应的值
像java中的类型系统是不能像ts一样去做各种泛型的逻辑处理，所以都说ts的类型编程是是类型体操。
例如下面的这段代码，第一眼看上去难免会有些迷糊
type ParseParam<Param extends string> = Param extends `${infer Key}=${infer Value}`? {[K in Key]: Value } : {};type MergeValues<One, Other> = One extends Other ? One: Other extends unknown[]? [One, ...Other]: [One, Other];type MergeParams<OneParam extends Record<string, any>,OtherParam extends Record<string, any>
> = {[Key in keyof OneParam | keyof OtherParam]: Key extends keyof OneParam? Key extends keyof OtherParam? MergeValues<OneParam[Key], OtherParam[Key]>: OneParam[Key]: Key extends keyof OtherParam ? OtherParam[Key] : never
}
type ParseQueryString<Str extends string> = Str extends `${infer Param}&${infer Rest}`? MergeParams<ParseParam<Param>, ParseQueryString<Rest>>: ParseParam<Str>;
本系列会持续更新ts的类型编程用法，最后希望大家最后都能看懂编写这种类型体操哈哈
这篇关于TS为什么被叫做类型体操的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
