打字稿限制解决方法

Question

我有一个代码，从人类的角度来看是完全可以的。但看起来打字稿类型系统很难理解它。 有没有一种聪明的方法来提示编译器该行中的一切都很好？

  const isMustToRun: boolean = isFunc(condition) ? condition() : condition;

代码：

    export const noop = function() {
    };

    export const isFunc = function(obj: any): boolean {
      return typeof obj === 'function';
    };

    /**
     *
     * @param func funtion to run
     * @param condition condition check
     * @param args
     */
    export const runIf = function f(condition: (Function | boolean), func: Function, ...args: any[]) {
      return () => {
        const isMustToRun: boolean = isFunc(condition) ? condition() : condition;
        return isMustToRun ? func(...args) : noop();
      };
    };

如果我写了

typeof condition === 'function'

而不是“isFunc”调用，然后它可以工作。但我不想重复代码..

Answer 1

改变返回类型

export const isFunc = function(obj: any): boolean {
  return typeof obj === 'function';
};

成为is Function

export const isFunc = function(obj: any): obj is Function {
  return typeof obj === 'function';
};

更多

这叫user defined type guard?

Answer 2

您需要在自定义类型保护中转换isFunc，您的代码将按预期工作。：

export const isFunc = function(obj: any): obj is Function {
  return typeof obj === 'function';
};

我建议不要使用Function，尽管它不是非常安全的类型，您可以使用函数签名加强函数类型，并使用Extract 条件类型来保留传入的实际类型isFunc type-guard 的函数：

export const isFunc = function<T>(obj: T): obj is Extract<T, Function> {
    return typeof obj === 'function';
};

export const runIf = function f(condition: ((()=> boolean) | boolean), func: Function, ...args: any[]) {
    return () => {
        const isMustToRun: boolean = isFunc(condition) ? condition() : condition;
        return isMustToRun ? func(...args) : noop();
     };
};

或者是runIf 的完全类型安全版本，它检查args 和func 参数：

export const runIf = function f<T extends (...a: any)=>any>(condition: ((()=> boolean) | boolean), func: T, ...args: Parameters<T>): (()=>ReturnType<T>) {
    return () => {
    const isMustToRun: boolean = isFunc(condition) ? condition() : condition;
        return isMustToRun ? func(...args as any[]) : noop();
    };
};

function testFn(n: string) : number { return +n;}
runIf(true, testFn, "0"); //ok
runIf(true, testFn, 0); //err