Question

为了减少用Angular编写单元测试时的样板，我想使用Typescript泛型的功能轻松地基于现有类型声明一个新类型。

例如，来自类似

的类

class BaseClass {
    member1: number;
    member2: Observable<boolean>;
    get getter1(): Observable<string> {return null};
    method1(): void {};
}

我想使用这种表示法声明一个“派生”类型

type FakeClass = Fake<BaseClass>;

与该声明相对应的

interface FakeClass {
    member2: Subject<boolean>;
    getter1: Subject<string>;
}

换句话说，Fake<T>应该：

仅保留类型为Observable<any>的键
将类型从Observable<U>更改为Subject<U>

到目前为止，我能够保留正确的键并将类型从Observable<U>更改为Subject<any>

type KeysWithTypesFlags<T, U> = {
    [key in keyof T]: T[key] extends U ? key : never;
};
// KeysWithTypesFlags<SomeClass, Observable<any>> => interface {
//     member1: never;
//     member2: 'member2';
//     getter1: 'getter1';
//     method1: never;
// }

type KeysWithTypes<T, U> = KeysWithTypesFlags<T, U>[keyof T];
// KeysWithTypes<SomeClass, Observable<any>> => 'member2' | 'getter1'

type ObservableKeys<T> = KeysWithTypes<T, Observable<any>>;
// ObservableKeys<SomeClass> => 'member2' | 'getter1'

type Fake<T> = {
    [key in ObservableKeys<T>]: Subject<any>;
};
// Fake<SomeClass> => {
//     member2: Subject<any>;  // I'd like Subject<boolean>
//     getter1: Subject<any>;  // I'd like Subject<string>
// }

但是我无法找出一种方法来保持原始Observable的泛型类型。要真正通用，它应该可以使用任何Observable类型（即，我们不能假设像示例中那样仅存在布尔值或字符串的Observable）

关于如何实现这一目标的任何想法吗？

Answer 1

使用infer！在条件类型中，您可以推断出通用类型，例如此处用Observable<infer T>。

type Fake<C> = {
    [K in KeysWithTypes<C, Observable<any>>]: C[K] extends Observable<infer T> ? Subject<T> : never;
}

查看更多：https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#type-inference-in-conditional-types

使用相同的键声明类型，但使用typescript泛型来派生类型

1 个答案: