如何将索引签名的值类型的索引访问类型用作函数参数类型？

嘿，我来帮你拆解这个问题！首先咱们先看你遇到的报错场景：

当BaseType里的a用索引签名{[key: string]: boolean}定义时，调用f3(p1, true)会抛出类型错误：Argument of type 'boolean' is not assignable to parameter of type 'T["a"][string]'。但把a改成具体属性{b: boolean}后，就完全没问题了，这到底是为啥？

问题根源：泛型推断的字面量类型 vs 宽泛类型 #

咱们先看第一个例子里的类型推断：
在f1中，你定义的p1会被TypeScript自动推断成字面量类型：

{
  a: {
    b: true; // 这里是true字面量，不是boolean类型
  };
}

这个类型是BaseType的子类型，所以当调用f2(p1, true)时，泛型T会被推断为这个字面量类型。此时T["a"][string]对应的是true（字面量类型），而你在f2里直接传的true是boolean类型（包含true和false），TypeScript会严格检查类型兼容性，所以boolean不能赋值给更窄的true字面量，于是报错。

而第二个例子中，BaseType的a明确是{b: boolean}，T["a"]["b"]被推断为宽泛的boolean类型，true作为boolean的子类型，自然可以正常赋值。

解决方法 #

根据你的需求，这里有几种可行的方案：

方案1：明确指定变量类型，避免字面量推断

如果你希望p1的类型就是BaseType，而不是被推断成更窄的字面量类型，可以在定义时手动指定类型：

function f1() { 
  // 明确指定p1的类型为BaseType
  const p1: BaseType = {
    a: {
        b: true,
    }
  }

  f2(p1, true);
}

这样泛型T会被推断为BaseType，T["a"][string]就是boolean类型，传true就完全匹配了。

方案2：修改函数参数类型为宽泛的布尔类型

如果你不需要严格约束p2的类型为T["a"]的属性字面量，只是需要它是布尔值，可以直接把参数类型改成boolean：

function f2<T extends BaseType>(p1: T, p2: boolean) {
  f3(p1, true);
}

function f3<T extends BaseType>(p1: T, p2: boolean) {
  console.log(p1)
  console.log(typeof p2)
}

这种方法简单直接，因为BaseType已经约束了a的索引签名返回boolean，所以不会有类型安全问题。

方案3：使用类型断言（谨慎使用）

如果你必须保留泛型的严格类型约束，又要传true，可以用类型断言告诉TypeScript这个值符合类型要求：

function f2<T extends BaseType>(p1: T, p2: T["a"][string]) {
  f3(p1, true as T["a"][string]);
}

注意：类型断言会跳过TypeScript的类型检查，所以要确保你传的值确实符合T["a"][string]的类型，避免潜在的类型错误。

方案4：传递函数接收的参数而不是硬编码值

如果你的逻辑允许，直接传递f2接收的p2参数给f3，这样类型会自动匹配：

function f2<T extends BaseType>(p1: T, p2: T["a"][string]) {
  f3(p1, p2); // 这里传p2，类型完全匹配
}

备注：内容来源于stack exchange，提问作者michael