需要了解的其他类型

有一些额外的类型你会想要认识，它们在处理函数类型时经常出现。像所有的类型一样，你可以在任何地方使用它们，但这些类型在函数的上下文中特别相关。

void

void 表示没有返回值的函数的返回值。当一个函数没有任何返回语句，或者没有从这些返回语句中返回任何明确的值时，它都是推断出来的类型。

typescript

// 推断出的返回类型是void 
function noop() { 
  return; 
}

在JavaScript中，一个不返回任何值的函数将隐含地返回 undefinded 的值。然而，在TypeScript中，void 和 undefined 是不一样的。在本章末尾有进一步的细节。

void 与 undefined 不一样。

object

特殊类型 object 指的是任何不是基元的值（ string 、 number 、 bigint 、 boolean 、 symbol 、null 或 undefined ）。这与空对象类型 { } 不同，也与全局类型 Object 不同。你很可能永远不会使用 Object 。

object 不是 Object 。始终使用 object !

请注意，在JavaScript中，函数值是对象。它们有属性，在它们的原型链中有 Object.prototype ，是 Object 的实例，你可以对它们调用 Object.key ，等等。由于这个原因，函数类型在TypeScript中被认为是 object 。

unknown

unknown 类型代表任何值。这与 any 类型类似，但更安全，因为对未知 unknown 值做任何事情都是不合法的。

typescript

function f1(a: any) { 
  a.b(); // 正确 
}
function f2(a: unknown) { 
  a.b(); 
}

这在描述函数类型时很有用，因为你可以描述接受任何值的函数，而不需要在函数体中有 any 值。

反之，你可以描述一个返回未知类型的值的函数：

typescript

function safeParse(s: string): unknown { 
  return JSON.parse(s); 
}

// 需要小心对待'obj'! 
const obj = safeParse(someRandomString);

never

有些函数永远不会返回一个值：

typescript

function fail(msg: string): never { 
  throw new Error(msg); 
}

never 类型表示永远不会被观察到的值。在一个返回类型中，这意味着函数抛出一个异常或终止程序的执行。

never 也出现在TypeScript确定一个 union 中没有任何东西的时候。

typescript

function fn(x: string | number) { 
  if (typeof x === "string") { 
    // 做一些事 
  } else if (typeof x === "number") { 
    // 再做一些事 
  } else { 
    x; // 'never'! 
  } 
}

Function

全局性的 Function 类型描述了诸如 bind 、 call 、 apply 和其他存在于JavaScript中所有函数值的属性。它还有一个特殊的属性，即 Function 类型的值总是可以被调用；这些调用返回 any 。

typescript

function doSomething(f: Function) { 
  return f(1, 2, 3); 
}

这是一个无类型的函数调用，一般来说最好避免，因为 any 返回类型都不安全。如果你需要接受一个任意的函数，但不打算调用它，一般来说， () => void 的类型比较安全。

需要了解的其他类型 ​

void ​

object ​

unknown ​

never ​

Function ​

需要了解的其他类型

void

object

unknown

never

Function