typescript 在 Object.entries 的回调中丢失了类型怎么办？

可能因为我菜吧 /(ㄒoㄒ)/~~

@xiaoming1992 并不，他们不是一个概念，补充一个新的签名是重载，js 里面没有这个概念

@azh7138m 不是说`重载`必须要将`函数定义`紧挨着`interface`写吗？还可以半中间插进来？王自如觉得很 awesome

@xiaoming1992
- 随时可以重载
- https://www.typescriptlang.org/docs/handbook/declaration-merging.html#merging-interfaces

type List = {
[key in Vegetable]: {
price: number;
num: number;
};
}
这只能保证 list[Vegetable] 的 type 是 {price,num}，并不能保证所有 key 都是{price,num}
不信你试试
const list = {} as List
const o = list['any']
list['xx'] = 1;
是合法的，list['any'] 的类型是 any

能保证的是
type List = {
[key : Vegetable]: {
price: number;
num: number;
};
}
但是这又是不合法的。

@xiaoming1992 , 我这边可以的啊，难道是版本问题？我 typescript 的版本是 3.5.3

PS: List 其实可以用 Record 来定义，Record<Vegetable, { price: number; num: number }>

@optional 声明里面没有"xx"这个 key，你添加`list['xx'] = 1;`不会报错吗？难道是因为我开了严格模式的缘故？等我回去看看。


@azh7138m 感谢，等我吃完饭回去看看。

@xiaoming1992 不会报错

entries 的签名写死了 string，你试试加上这个自动推导的签名：

declare global {
interface ObjectConstructor {
entries<S extends string, T>(list: { [key in S]: T }): [S, T][];
}
}

@zbinlin .如果这么搞的话，那什么 map foreach 什么的都要声明。。。

@xiaoming1992 不需要呀，为什么需要，map, foreach 这些已经能正确地推导出数组里的类型的。

@zbinlin 对，被搞懵了

@azh7138m #4
> entries 定义是
> entries<T>(o: { [s: string]: T } | ArrayLike<T>): [string, T][]

虽然的确如此（可见于文件`lib.es2017.object.d.ts`），但我想不出需要 `<T>` 的情形，你能不能举个例子？谢谢啦！

@wawaforya 才知道 Record 这么个东西，对我的类型定义是个很好的补充，感谢。虽然还是没什么卵用。。。


@zbinlin 写到 global 上不知道会不会对编译产生什么负担？

不知道怎么，按照 @azh7138m 写的，添加一个定义
``` typescript
interface ObjectConstructor {
entries<S extends string, T>(o: Record<S, T>): [S, T][];
}
```
没起作用。

或许 @optional 是对的，我不应该默认生成的 key 是 Vegetable，应该再次校验一下。

@azh7138m 呃，我还是不太明白……

为什么不都是第二种定义的 `any`，毕竟值不都是任意类型的么，所以会有什么特殊的情形需要 `<T>`？

修正：
“毕竟值不都是任意类型的么”
→
“毕竟值不都 *可以* 是任意类型的么”

@xiaoming1992
- 我没有写 extends


@Oucreate
特殊的情形 -> 把对象当 Map<string, T>用的时候

```
```ts
type Vegetable = "茄子" | "黄瓜" | "西红柿";
type Value = { price: number, num: number };

const list: Record<Vegetable, Value> = {
"茄子": {
price: 5,
num: 2
},
"西红柿": {
price: 5,
num: 2
},
"黄瓜": {
price: 5,
num: 2
},
};

(Object.entries(list) as [Vegetable, Value][]).map(([key, item]) => {
// ...
});
```

要是我的话就这么写。

或者就直接使用 Map，这样 list.entries() 能保持 key 的类型。

@azh7138m 这种情形下指定为 `<T>` 是为了统一和方便吗？

@Oucreate 一般是为了更好 /多的类型检查

@lhc70000 对，我后来就这么写的，省得到里面一个一个的给 key 加 as。

@Oucreate 对于复杂一些的对象，有类型检查和提示更方便啊，我现在恨不得所有变量都尽可能精确地描述它的类型。正常情况下 key 确实是 string,但是当我的 key 受到业余限定，只有这么确定的几种的话，用 a | b | c 来限定它们的类型会更方便。