是否可以在 TypeScript 中的类型定义中进行类型检查

Question

I have a class for returning reactive forms as forms with available controls listed in IntelliSense. That works fine for FormControls but what I would like to achieve is to have FormGroups that are part of queried parent FormGroup to be returned as TypedFormGroup<T[key]>, hope that makes sense, is there any way I can have some type of assertion like controls:: { [key in keyof T]: (AbstractControl & T[key] is string) | TypedFormGroup<T[key]>} controls:: { [key in keyof T]: (AbstractControl & T[key] is string) | TypedFormGroup<T[key]>} ?

export class TypedFormGroup<T> extends FormGroup {
  controls!: { [key in keyof T]: AbstractControl }

  constructor(controls: { [key in keyof T]: AbstractControl }) {
    super(controls);
  }
}

Answer 1

Found solution to my problem

export interface TypedFormGroup<T> extends FormGroup {
  controls: { [key in keyof T]: T[key] extends (string | number | boolean) ? AbstractControl : TypedFormGroup<T[key]> }
}