【typescript】什么是类型参数全局？如何使用它们？

在TypeScript中，“类型参数全局”并不是一个标准术语，这里是指如何在全局范围内定义和使用类型参数，或者是如何处理全局类型的定义。不过，如果从全局类型的角度来看，我们可以讨论一下如何在TypeScript中定义和使用全局类型，以及如何通过类型参数在全局范围内传递类型信息。

全局类型定义

在TypeScript中，可以通过在全局作用域中定义类型来使这些类型在整个应用程序中可用。这可以通过在.d.ts（声明文件）中定义类型来实现，这些文件会被TypeScript编译器自动识别，并且其中定义的类型会成为全局类型。

示例：定义全局类型

假设我们有一个应用程序，需要在多个文件中使用同一个类型User，我们可以在一个名为global.d.ts的文件中定义这个类型：

// global.d.ts
declare global {
  interface User {
    id: number;
    name: string;
    email: string;
  }
}

export {};

在这个例子中，我们使用了declare global来扩展全局命名空间，并在其中定义了一个接口User。export {}是为了确保文件被视为模块，从而避免与其它声明文件发生冲突。

在其他文件中使用全局类型

一旦定义了全局类型，就可以在任何地方直接使用而无需导入：

// user-service.ts
function getUserById(id: number): User {
  // 模拟从数据库获取用户
  return {
    id,
    name: 'John Doe',
    email: '[email protected]'
  };
}

const user = getUserById(1);
console.log(user.name); // 输出: John Doe

通过类型参数传递全局类型信息

有时候，我们希望在定义某些组件或函数时能够接受一个类型参数，并且这个类型参数能够在全局范围内传递和使用。这种情况下，可以通过泛型来实现。

示例：使用泛型传递类型参数

假设我们正在构建一个库，库中有一个函数createStore，用于创建状态存储。我们希望这个函数能够接受一个类型参数，表示存储的数据结构。

// store.ts
export function createStore<T>(initialState: T): { getState: () => T, setState: (state: T) => void } {
  let state = initialState;

  return {
    getState: () => state,
    setState: (newState: T) => {
      state = newState;
    }
  };
}

在这个例子中，createStore函数接受一个类型参数T，这个类型参数代表了初始状态的类型。函数返回一个对象，该对象有两个方法：getState用于获取当前状态，setState用于更新状态。

在其他文件中使用带有类型参数的函数

现在，我们可以在其他文件中调用createStore，并传入具体的类型参数：

// app.ts
import { createStore } from './store';

interface AppState {
  count: number;
  user: User; // 使用之前定义的全局类型User
}

const store = createStore<AppState>({
  count: 0,
  user: {
    id: 1,
    name: 'Alice',
    email: '[email protected]'
  }
});

console.log(store.getState().count); // 输出: 0

store.setState({
  count: 1,
  user: {
    id: 1,
    name: 'Bob',
    email: '[email protected]'
  }
});

console.log(store.getState().user.name); // 输出: Bob

在这个例子中，我们在调用createStore时指定了类型参数AppState，这样在使用store对象的方法时，TypeScript编译器就能够正确地推断出类型，从而提供更好的类型安全性和代码补全支持。

总结

通过在全局作用域中定义类型，我们可以让这些类型在整个应用程序中可用。而通过使用泛型，我们可以在定义函数或组件时接受类型参数，并在全局范围内传递这些类型信息。这两种方式结合使用，可以帮助我们构建更加灵活和类型安全的应用程序。