TypeScript 基础类型：string、number、boolean 等

TypeScript 的类型描述了一个变量可以保存哪种值。类型写在冒号后面，比如 let name: string，编译器会拒绝任何把错误种类的值放进去的代码。基础类型就是 JavaScript 的七种原始类型，再加上数组和对象这样的对象类型。

let title: string = "TypeScript";
let version: number = 7;
let isStrict: boolean = true;
let big: bigint = 9007199254740993n;
let id: symbol = Symbol("id");
let nothing: null = null;
let notSet: undefined = undefined;

let scores: number[] = [90, 72, 85];
let user: { name: string; age: number } = { name: "Ada", age: 36 };

console.log(title, version, isStrict, big, id);
console.log(nothing, notSet);
console.log(scores, user);

这些注解在编译时接受检查，然后被删除。实际运行的程序是普通的 JavaScript。

原始类型

类型名都是小写的。对其中大多数类型，运行时的 typeof 会返回同样的单词，所以程序运行时，用 typeof x === "number" 就能检查一个值的原始类型。

类型注解

注解就是写在变量、参数或函数参数列表后面的 : Type。参数是最需要注解的地方，因为 TypeScript 猜不到调用者会传入什么。

function describe(name: string, age: number, admin: boolean): string {
    return `${name} (${age})${admin ? " [admin]" : ""}`;
}

let label: string = describe("Ada", 36, true);
console.log(label); // Ada (36) [admin]

// Without an annotation, TypeScript infers the type from the value:
let count = 10; // count: number
count = count + 1;
console.log(count); // 11

如果变量在同一行初始化，注解通常是多余的：let count = 10 已经是 number 类型了。什么时候可以省略类型，请看类型推断页面。

类型错误就是编译错误

把错误类型的值赋给变量，编译器会在任何代码运行之前就停下来：

// This does not compile: a string is not a number.
let port: number = 8080;
port = "3000";
console.log(port);

编译器输出：

index.ts(3,1): error TS2322: Type 'string' is not assignable to type 'number'.

解决办法是转换这个值：port = Number("3000")；如果这个变量确实应该保存文本，就修改它的注解。

number：没有整数类型

JavaScript 把每个数字都存成 64 位浮点数，所以 TypeScript 只有一个 number 类型。整数在 Number.MAX_SAFE_INTEGER（2 ** 53 - 1）以内是精确的，超出这个范围就要用 bigint。

let price: number = 19.99;
let quantity: number = 3; // also number: no int type

console.log(Number.isInteger(quantity)); // true
console.log(Number.isInteger(price));    // false
console.log(Math.trunc(7 / 2));          // 3 (integer division)
console.log(0.1 + 0.2);                  // 0.30000000000000004

console.log(Number.MAX_SAFE_INTEGER);     // 9007199254740991
console.log(Number.MAX_SAFE_INTEGER + 2); // 9007199254740992 (wrong)

let exact: bigint = 9007199254740991n + 2n;
console.log(exact); // 9007199254740993n

// @ts-expect-error: bigint and number cannot be mixed
const mixed = () => exact + 1;
console.log(exact + BigInt(1), Number(exact)); // 9007199254740994n 9007199254740992

bigint 和 number 不能混用：exact + 1 是一个编译错误（TS2365：Operator '+' cannot be applied to types 'bigint' and '1'.，其中 '1' 是 1 的字面量类型），如果它真的运行了，在运行时也会抛出 TypeError。用 BigInt(1) 或 Number(exact) 显式转换其中一边，但要知道 Number 会对超出安全范围的值进行舍入。

如果你想要一个只接受整数的类型，TypeScript 无法对任意值表达这一点。在值进入程序的地方用 Number.isInteger 进行校验。

boolean

boolean 只有两个值：true 和 false。仅仅是真值的值（1、"yes"）并不是布尔值，要用 Boolean(x) 或 x !== 0 把它们转换成布尔值。

let loggedIn: boolean = false;
const items: string[] = ["a", "b"];

const hasItems: boolean = items.length > 0;
const hasName: boolean = Boolean("Ada");

console.log(loggedIn, hasItems, hasName); // false true true

null 和 undefined

开启 strict 时（从 TypeScript 6.0 起默认开启），null 和 undefined 是独立的类型，不属于 string、number 或任何其他类型。可能为空的变量要用联合类型写明：

let nickname: string | undefined;
console.log(nickname); // undefined

nickname = "Ace";
console.log(nickname.toUpperCase()); // ACE

let middleName: string | null = null;
console.log(middleName ?? "(none)"); // (none)

在检查之前，读取可能为 undefined 的值的属性是一个编译错误。null 和 undefined 页面讲解了这些检查以及 ?. 和 ??。

数组和对象概览

不是原始类型的都是对象类型。你最先遇到的三种形式：

let tags: string[] = ["ts", "js"];               // array of strings
let point: { x: number; y: number } = { x: 1, y: 2 }; // object with two number properties
let greet: (name: string) => string = (n) => `hi ${n}`; // function type

每一种都有单独的页面：数组、元组（长度固定的数组）、对象类型和函数类型。

string、number、boolean 与 String、Number、Boolean

首字母大写的名称是 JavaScript 包装对象（new String("x")）的类型，而不是普通值的类型。注解请使用小写的名称。

// This does not compile: String (the wrapper) is not string (the primitive).
const wrapped: String = "text";
const plain: string = wrapped;
console.log(plain);

index.ts(3,7): error TS2322: Type 'String' is not assignable to type 'string'.
  'string' is a primitive, but 'String' is a wrapper object. Prefer using 'string' when possible.

把第一行的 String 改成 string，代码块就能运行。Number、Boolean、Symbol 和 BigInt 也是同样的道理。（Object 是另一回事：它几乎接受任何值，包括原始类型；参见对象类型。）

其他内置类型

还有几个类型很早就会遇到，每个都有单独的页面。