TypeScript 中的变量声明：变量声明的语法、变量的作用域、变量的类型推断和类型断言