TypeScript：通用 function 类型参数是从错误参数推断的

Question

在下面的代码中，如果我没有在 function 调用中明确指定T ，例如getOrPut<Item>(...) ，它是从create参数推断出来的，因此创建的项目类型可能与obj字典不兼容，有关示例，请参见代码的最后一行。

function getOrPut<T>(
    obj: { [key: string]: T | undefined },
    key: string,
    create: () => T
): T {
    const value = obj[key];
    if (value) {
        return value;
    } else {
        return obj[key] = create();
    }
};

type Item = { title: string };
type Dictionary = { [key: string]: Item };
const dictionary: Dictionary = {};

// the foo type is {} but I expect Item
const foo = getOrPut(dictionary, 'foo', () => ({}));

是否可以强制从obj参数推断T ？

游乐场链接。

Answer 1

它确实有效，您必须在create参数中传递一个Item 。

function getOrPut<T>(
    obj: { [key: string]: T | undefined },
    key: string,
    create: () => T
): T {
    const value = obj[key];
    if (value) {
        return value;
    } else {
        return obj[key] = create();
    }
};

type Item = { title: string };
type Dictionary = { [key: string]: Item }
const dictionary: Dictionary = {};

// the foo type is {} but I expect Item{
const foo = getOrPut(dictionary, 'foo', () => ({} as Item)); // <--- casting here

游乐场链接

Answer 2

我通过根据obj类型指定create返回类型找到了一种解决方法：

function getOrPut<T>(
    obj: { [key: string]: T | undefined },
    key: string,
    create: () => NonNullable<typeof obj[string]>
): T { ... }

不幸的是，由于某种原因，该解决方案仅适用于 TypeScript 3.6.3而我当前的版本是3.5.3 ，但它应该很快更新。 我不确定这是最好的解决方案，也许有更好的解决方案。

游乐场链接。