Typescript 创建一个TypeScrip对象并基于来自输入对象的约束定义其类型

里边

function transformObject<T extends In<T>>(input: T): Out<T> {
  const result = {} as Out<T>;
  for (const key in input) {
    const value = input[key];
    result[key] = value === undefined ? undefined : value.length; // error
  }
  return result;
}

result变量的类型为Out<T>，这是一种根据conditional type编写的类型，它依赖于generic类型参数T.当您try 为类型为keyof T的key键的属性赋值时(好的，使用the Extract utility type是Extract<keyof T, string>，因为for-in循环跳过symbol个属性……不过，我们在这里只使用keyof T)，然后编译器判断类型Out<T>[keyof T]，发现它需要是泛型条件类型T[keyof T] extends undefined ? number | undefined : number.

但是众所周知，TypeScrip不能像这样对泛型条件类型进行太多分析.这类类型通常大部分没有求值，因此对类型判断器是不透明的.如果您try 为此类类型赋一个特定值，除非该值与您要赋值的类型相同，否则类型判断器不知道它是否为有效赋值.表达式value === undefined ? undefined : value.length是union type number | undefined中的一个.这与T[keyof T] extends undefined ? number | undefined : number不一样，所以编译器抱怨说.

您可能希望像t === v ? y : n这样的conditional expression会巧妙地映射到像T extends V ? Y : N这样的条件type上，但事实并非如此.判断value === undefined只影响变量value，而不影响其类型T[keyof T].泛型类型参数T完全不受该判断的影响.在其他更糟糕的情况下，control flow analysis目前不能很好地处理泛型类型.

所以你有点被困在这里了.GitHub中有各种功能请求，要求改进对此类情况的支持.这里最适用的可能是microsoft/TypeScript#33912，它显式地要求提供一种将控制流(如if/else、switch/case或?/:)与条件类型相关联的方法.GitHub问题讨论的是函数返回类型，但一般的问题是可赋值，因此它是适用的.即使只支持函数返回类型，您也可以使用它来编写帮助函数以使表达式正常工作.

在任何情况下，这种支持目前不是语言的一部分，您需要解决它.

最直接的解决方法是使用type assertion，并且只使用tell(它可以将(value === undefined ? undefined : value.length)视为类型Out<T>[keyof T]的编译器)，然后继续前进:

function transformObject<T extends In<T>>(input: T): Out<T> {
  const result = {} as Out<T>;
  for (const key in input) {
    const value = input[key];
    result[key] = 
      (value === undefined ? undefined : value.length) as Out<T>[keyof T]; // okay
  }
  return result;
}

在这里，您正在将类型判断的责任从编译器手中移开，而编译器不能这样做.这意味着如果您在断言中犯了错误，编译器不能真正捕捉到它.所以你应该小心了.但至少在微软/TypeScrip#33912或类似的实现之前，并没有太多的事情要做.

Playground link to code