Typescript 如何将泛型对象作为返回类型添加到类型脚本中

问题是，FormData表示一组键-值对，其中键是一些未知的string，值是一些未知的FormDataEntryValue，即defined作为either、string或File.绝对不能保证当您将它们组合到一个对象中时，该对象是否与您的T类型匹配.编译器错误基本上是警告您，它不能安全地将value赋给data[key]，因为它既不知道key是有效的键T，也不知道value是该键的适当值(如果它确实存在于T上).

事实上，使用像<T>(req: Request) => Promise<T>这样的调用签名可以安全地实现impossible.有人可以用same req变量同时调用getFormData<MyInterface>(req)和getFormData<AnotherInferface>(req).根据调用签名，第一个调用将返回Promise<MyInterface>，第二个调用将返回Promise<AnotherInterface>.但这是不可能的；在运行时，这两个数字都只有getFormData(req).这些预测最多只有一个是正确的.

因此，如果您真的想要像这样保留调用签名，您实际上是依赖于调用者通过某个带外信息源知道为给定的req指定哪个T.而呼叫者基本上只有asserting，这T的正确率.

因此，您不妨在getFormData()的主体内使用type assertions.类型断言不是类型安全的，但它们是将此类带外类型信息传递给编译器的一种方式.这里有一种方法:

async function getFormData<T>(req: Request): Promise<T> {
    let data: Record<string, FormDataEntryValue> = {};
    (await req.formData()).forEach((value, key) => {
        data[key] = value;
    });
    return data as T;
}

制造data唯一安全的东西是Record<string, FormDataEntryValue>(使用Record实用程序类型).这是一个带有index signature的类型，这意味着"data可能有任何string个键，而它的所有属性都是FormDataEntryValue类型."一旦您进行了更改，return之前的代码就会编译而不会出错...毕竟，将FormDataEntryValue赋给类型为FormDataEntryValue的属性是安全的.

第return行现在具有类型断言return data as T;.这是您告诉编译器调用方指定的任何T都将与data的类型匹配的部分.再说一次，这不是类型安全...或者至少您正在将类型安全的负担从编译器转移到您自己身上.如果有人在他们的代码中调用getFormData<TheWrongInterface>(req)，那么在运行时可能会出现问题，因为编译器只是认为data将是TheWrongInterface类型的.这种错误信念的任何负面后果都不能归咎于编译器，它会警告您存在问题，直到您断言它符合要求.

这就对了.该代码编译时没有错误，并且它may在运行时表现良好，假设调用者知道返回数据的实际形状，并且他们在调用时正确地指定了它.或者，它可能会在运行时爆炸.当被问及哪一种情况更有可能发生，以及如何让事情变得更安全时，这是超出了问题的范围.

Playground link to code个