TypeScript中的类型重写与泛型

在TypeScript的类型系统中，开发者常常会遇到需要重写或限制接口类型的情况。假设我们有这样一个场景：我们有一个基础接口A，其中包含了两个属性Foo和Bar，而我们想创建一个新的接口B，它基于A但只允许修改A中已有的属性类型，不允许增加新的属性。下面我们将详细探讨如何实现这一目标。

问题描述

首先，我们看一下原始的需求：

interfaceA{Foo:unknown;Bar:any;}