例如，我有一些界面:
interface Foo {
bar: string;
baz: (param: any) => void;
}
和一个对象:
const test = {
bar: 'id',
baz: (param) => console.log(param.id),
};
在不使用映射类型的情况下，如何强制TypeScrip将bar值用作param的key类型？所以我想要像这样的东西:
interface Foo<J> {
bar: J;
baz: (param: {[key: J]: any}) => void;
}
和一个对象:
const test = {
bar: 'id',
baz: ({id}) => console.log(id), // <== here should typescript allow only the id property
};
我知道我可以使用映射类型来实现该行为，但这不是我在这里想要的
Typescript 中没有specific种Foo是这样工作的.您可以得到的最接近的结果是将您的需求表示为generic类型Foo<K>，其中K对应于bar属性.它与您所拥有的非常接近，只是您试图使用index signature {[key: K]: any}，这对于泛型是无效的.相反，您需要mapped type {[P in K]: any}:
interface Foo<K extends PropertyKey> {
bar: K;
baz: (param: { [P in K]: any }) => void;
}
不幸的是，编译器无法将类型参数推断为泛型类型，因此您不能编写const test: Foo<infer> = {⋯}、const test: Foo<?> = {⋯}、const test: Foo = {⋯}或类似的代码.不过，当您调用泛型functions时，编译器can会推断类型参数，因此您可以创建一个帮助器函数:
const asFoo = <K extends PropertyKey>(foo: Foo<K>) => foo;
然后像const test = asFoo({⋯})一样使用它:
const test = asFoo({
bar: 'id',
baz: ({ id }) => console.log(id), // okay
});
const test2 = asFoo({
bar: 'id',
baz: ({ oops }) => console.log(oops), // error
});