Question

据我了解，TS倾向于直接使用类型而不是使用“盒装”（例如，在函数中）来推断通用类型。

type Props<O, V> = {
  options: O[]
  getOptionValue: (o: O) => V
  value?: V
  onChange?: (v: V, o: O) => void
}

在此代码段中，从V字段推断出value类型，这是不希望的，因为value属性是可选的。我可以以某种方式强制泛型类型推断依赖于getOptionValue属性吗？

Sandbox example，如果没有value传递给组件，则其onChange自变量v变为unknown

Answer 1

我倾向于将其作为this question的副本来关闭。尝试推断单个对象的类型时，编译器不会进行多次推断。

我的解决方法建议与此处相同：将函数拆分为多个参数，而不是具有多个属性的单个参数。您甚至可以像这样创建一个辅助函数：

const props = <O, V>(
    options: O[],
    getOptionValue: (o: O) => V,
    value?: V,
    onChange?: (v: V, o: O) => void
): Props<O, V> => ({ options, getOptionValue, onChange })

然后使用它：

const theProps = props(
    [""],
    (o) => "test",
    undefined,
    (v, o) => v.length < o.length
);

在这里您可以看到O回调中正确地推断出V和string为v，而unknown不是onChange 。您还可以通过传播将其与JSX一起使用：

const c = <C {...theProps} />;

这不是完美的，因为您可以通过推理来换取多步jsx元素创建。但这确实有效。

Playground link to code

Answer 2

我认为这是不可能的，因为即使完全删除了value属性，打字稿仍然不会使用getOptionValue来推断类型。

function C<O, V>(props: {
    options: O[]
    getOptionValue: (o: O) => V
    onChange?: (v: V, o: O) => void
}) {}

C({
    options: [""],
    getOptionValue: (o) => "test",
    onChange: (v, o) => v.test // error: v is STILL 'unknown'
})

由错误用法推断出的泛型类型

2 个答案: