TypeScript能否像Rust那样省略类型参数并自动推断具体类型？

TypeScript目前不支持像Rust那样用_作为类型参数占位符来实现部分类型参数的自动推断，但针对Angular MatDialog.open这类场景，有几种实用方案可以达到你想要的效果——让第一个类型参数T从传入的组件自动推断，只显式指定第二个参数D。

方案1：封装工具函数调整泛型参数逻辑 #

MatDialog.open的原始签名大致为：

open<T, D = any>(component: Type<T>, config?: MatDialogConfig<D>): MatDialogRef<T, D>

问题在于泛型参数顺序是T在前，而T可以从component参数自动推断，但如果要显式指定D，必须同时写T。我们可以封装一个工具函数，把需要显式指定的D作为唯一的泛型参数，T由组件参数自动推断：

import { MatDialog, Type, MatDialogConfig, MatDialogRef } from '@angular/material/dialog';

// 封装后的函数：仅需指定D，T由传入的组件自动推断
export function openDialog<D>(
  dialog: MatDialog,
  component: Type<any>,
  config?: MatDialogConfig<D>
): MatDialogRef<InstanceType<typeof component>, D> {
  return dialog.open(component, config) as MatDialogRef<InstanceType<typeof component>, D>;
}

// 使用示例
const dialogRef = openDialog<MyDialogData>(this.dialog, MyDialogComponent, {
  data: { /* 符合MyDialogData结构的数据 */ }
});

这里通过InstanceType<typeof component>自动获取组件的实例类型，替代原函数的T，无需手动指定。

方案2：使用类型断言（简单直接但略繁琐） #

如果不想封装函数，可以直接用类型断言覆盖返回值的类型，让T由编译器自动推断，仅显式指定D：

// 让T从MyDialogComponent自动推断，手动指定D为MyDialogData
const dialogRef = this.dialog.open(MyDialogComponent, {
  data: { /* 符合MyDialogData结构的数据 */ }
}) as MatDialogRef<MyDialogComponent, MyDialogData>;

这种方式无需额外封装，但需要重复写组件类型，适合临时场景。

方案3：利用数据类型自动推断（无需显式指定D） #

如果你的config.data已经有明确的类型，TypeScript通常可以自动推断出D，此时无需指定任何泛型参数：

// 假设myData的类型是MyDialogData，编译器会自动推断D=MyDialogData，T=MyDialogComponent
const myData: MyDialogData = { /* 数据内容 */ };
const dialogRef = this.dialog.open(MyDialogComponent, { data: myData });

这种方式最简洁，前提是你的数据变量有明确的类型定义。

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