TypeScript type assertion学习中代码运行输出为String的疑问咨询

出现这个运行结果没有任何奇怪的地方，核心是两类新手常踩的认知偏差：

• 类型断言没有任何运行时转换能力
  你把TS的类型断言当成了其他强类型语言里的强制类型转换，这是最根本的错误。不管是<number> val还是val as number的写法，做的唯一一件事就是告诉TS编译器：“我知道这个值的类型，你做静态检查的时候别拦我”。
  所有TS的类型相关语法，在代码被编译成JS的阶段都会被完全擦除，不会留下任何可执行的逻辑。你写的带双重断言的那行代码，编译成JS后直接就变成了var str2 = str——没有任何字符串转数字的操作，str2拿到的就是原本的字符串'1'，typeof(str2)当然会返回string。
• 双重断言本质是静态检查的“后门”
  你可能会疑惑，既然断言不做转换，为什么TS编译器没有在赋值的时候报错？
  因为你在中间加了一层<any>的过渡：先把原本是string类型的str断言成TS体系里的万能兼容类型any，再把any断言成number类型。按照TS的规则，从any类型向任何其他类型做断言都是完全合法的，所以整个静态检查流程不会报任何错。但这个过程从头到尾，都没有对实际运行的值做任何修改。
• 你之前的两个完全错误的预期：
  1. 以为断言会把str本身改成number类型：类型断言从来不会修改原变量的类型，str在第一行就被推断成了string类型，这个推断结果从声明到结束都不会改变。
  2. 以为str2标注了: number，运行时就必须是number类型：TS的类型标注是纯粹的编译期约束，根本不会在运行时对值的类型做任何强制。哪怕你写var str2: number = "随便写的字符串"，只要用断言绕过了静态检查，运行时str2照样是字符串。

如果真的需要把字符串转成number，必须靠JS本身的运行时API实现，和TS的类型语法没有任何关系：

var str = '1'
var str2: number = Number(str) // 这里才是真的做了运行时的类型转换
console.log(typeof(str2)) // 输出 number

补充：你看的这段教程里的注释“str is now of type number”完全是错的，双重断言根本不会修改原变量的类型，只是临时把表达式的类型上报给编译器而已。把这种用来绕过检查的技巧当类型转换来教，本身就是非常误导新手的内容。

内容的提问来源于stack exchange，提问作者ryan。