ts类型 interface I { a: number; b?: number; } 如何实现a为1时，b为必传

在TypeScript中，要实现当属性`a`的值为1时，属性`b`变为必传属性，我们可以使用条件类型或者利用TypeScript的高级特性来实现这一逻辑。以下是一个可能的实现方法：

interface I {
    a: number;
    b?: number;
}

// 为I定义一个条件类型
type IWithB = I & { b: number };
type IWithoutB = Omit<I, 'b'>;

// 利用类型映射来决定b是否为必传
type ConditionedI = I extends { a: 1 } ? IWithB : IWithoutB;

在上述代码中，我们定义了两个类型`IWithB`和`IWithoutB`，分别表示带有和不带有属性`b`的接口`I`的变体。接着，我们使用条件类型来判断属性`a`是否等于1。如果是，我们使用`IWithB`，这将使得`b`成为必传的属性；如果不是，我们使用`IWithoutB`，这将使得`b`成为可选的属性。

现在，当你声明一个变量并指定类型为`ConditionedI`时，TypeScript的类型系统会根据`a`的值是否为1来决定`b`是否为必传属性。

let example: ConditionedI;
example = { a: 1, b: 10 }; // 正确，因为a为1，b为必传
example = { a: 1 }; // 错误，因为缺少必传的属性b

example = { a: 2, b: 10 }; // 正确，因为a不为1，b可选
example = { a: 2 }; // 正确，因为a不为1，b可选