山重水复疑无路，柳暗花明又一村。

语法：可以理解成需要返回render函数，即return（）的形式。

总结: 如果是非对象类型的声明使用 type，如果是对象类型的声明那么使用 interface。

泛型参数T类似于any类型,可以表示任意值。但是有些情况下，函数需要处理的数据有一定的约束，比如有一个泛型函数需要访问泛型参数T的length属性，并加1。基于这种需求，必须对泛型参数T进行约束，也就是泛型约束。指广泛的类型，多种类型或者任意类型，是一个类型参数或类型变量。

总的来说，冒号在 TypeScript 中主要是用于类型注解，有助于静态类型检查和代码可读性。

ts 文件，既包含类型信息又包含可执行代码。可以被编译成 .js 文件。.d.ts 文件，只包含类型信息的类型声明文件。不会生成 .js 文件，仅用于提供类型信息。.ts 是 implementation（代码实现文件）.d.ts 是 declaration（类型声明文件）ts 的代码最后会编译成 .js 的 js 代码供他人使用，这个时候，类型信息就丢失了，所以 ts 编译器会自动根据 .ts 中的信息，生成对外的 .d.ts 文件，和生成的 js 文件搭配使用。js 文件是给运行引擎用的。

当我们在用 typescript 进行开发时，会遇到很多类型定义的问题。比如说当我们npm install完一个包，却发现 import 的时候 ts 报错，说找不到这个包。其原因是这个包内不含类型声明，所以 ts 并不能识别这个模块。例如我们在下载 classnames 不含类型声明文件，那我们就可以通过 npm install @types/classnames 来下载 classnames 的声明文件。所有下载的声明文件都会保存在下图所示的路径下。来下载这个包的声明文件，从而解决 ts 的报错。