Typescript 如何成为一种可选择地静态类型的语言

在这篇文章中，我们将探讨Typescript中的静态类型编程以及这种语言可选择地实现静态类型的能力。

Typescript是一种基于JavaScript的强类型编程语言。Typescript允许在代码中指定传递的数据类型，并在类型不匹配时报告错误。

什么是静态类型语言

在静态类型语言中，类型检查发生在编译时。编译器强制使用相同类型的值。让我们看一个示例，在JavaScript中是有效的。

let value = 5
value = "Hello World"

输出：

Error: Type 'string' is not assignable to type 'number'.

数值的类型从数字变为字符串。这在TypeScript中是被禁止的。

Typescript是如何可选静态类型的

Typescript允许为变量赋予类型。Typescript也可以根据变量的初始化来推断类型。在编写程序时，可能会有一种情况，我们希望将一个值存储在变量中，但在编写程序时不知道它的类型。在这种情况下，我们希望编译器取消类型检查并传递值而不出现任何错误。Typescript有一个 any 类型，允许我们存储任意类型的值并跳过类型检查。

示例1：

Typescript

let value: any = 5; 
console.log(value); 
value = "hello"; 
console.log(value);

输出:

5
hello

在这里，值可以从数值类型改变为字符串类型而不会出现任何编译错误。它指示编译器跳过类型检查。

示例2：

Typescript

function add(a: any, b: any): any { 
    if (typeof a === 'number' && typeof b === 'number') { 
        return a + b; 
    } 
    if (typeof a === 'string' && typeof b === 'string') { 
        return a.concat(b); 
    } 
} 
console.log(add(3,6)); 
console.log(add("Hello","TypeScript"));

输出：