Typescript 无法断言继承类型的具体实例的类型

Question

在以下示例中，我创建了一个具有 TState 和 TResult 的 concreate 类 Dialog。问题是，当我将它传递给show() 方法时，即使TResult 与传入的组件类型的TResult 匹配，结果也是Unknown 而不是Boolean | undefined。

interface DialogBase<TState, _TResult> {
    dialogState: TState;
}

class Test {
    public show<TResult, TState>(
      component: { new(...args: any[]): DialogBase<TState, TResult> }, 
      state: TState): TResult | undefined {
        return;
    }
}

class State {}

class Dialog implements DialogBase<State, Boolean> {
    dialogState: State = new State();
}

const test = new Test();
test.show(Dialog, new State());  // return type Unknown

我缺少什么让 typescript 将 show 方法的返回类型断言为 DialogBase 的类型化 TResult？

我什至可以将组件的类型移动到泛型中，但它仍然无法识别返回类型：

interface DialogBase<TState, _TResult> {
    dialogState: TState;
}

class Test {
    public show<TResult, TState, TDialog extends DialogBase<TState, TResult>>(
      component: { new(...args: any[]): TDialog  }, 
      state: TState): TResult | undefined {
        return;
    }
}

class State {}

class Dialog implements DialogBase<State, Boolean> {
    dialogState: State = new State();
}

const test = new Test();
test.show(Dialog, new State());  // return type Unknown

Answer 1

也许你可以通过提供一些提示帮助 TS 解决这个问题？

interface DialogBase<TState, TResult> {
    dialogState: TState;
    isHidden: TResult;
}

class Test {
    public show<TResult, TState>(
      component: { new(...args: any[]): DialogBase<TState, TResult> }, 
      state: TState): TResult | undefined {
        return;
    }
}

class State {}

class Dialog implements DialogBase<State, Boolean> {
    dialogState: State = new State();
    isHidden = false;
}

const test = new Test();
test.show(Dialog, new State());

Answer 2

IT 更多的是解释而不是答案。 请看下一个示例，它与您的相同：

function foo<T>(arg: number): T | undefined {
    return 
}

/**
 * unknown - because TS is unable to figure out what type you are going to return
 */
const result = foo(42)

为了帮助 TS 编译器找出你要返回的类型，你应该为泛型提供一些限制。

例如，您可以这样做：

function foo<T extends Array<number>>(arg: number): T | undefined {
    return 
}

const result = foo(42) // number[] | undefined

在这种情况下，TS 知道您将返回 number[] 或 undefined。

你甚至可以做得更多。

您可以提供重载：

function foo(arg:string):number;
function foo(arg:number):string;
function foo<T extends Array<number>>(arg: number|string): T | undefined {
    return 
}

const result = foo(42) // string
const result2 = foo('42') // number

现在，TS 知道，如果您提供 number，您将收到 string，反之亦然。

它有什么帮助。