如何判斷TypeScript對象的類型？

Question

讓我們先從一些代碼：

export function toArrayStrict(obj: Iterable<any>): any[] { 
    if(obj) { 
     if(isArray(obj)) { 
      return obj; // error TS2322: Type 'Iterable<any>' is not assignable to type 'any[]'. 

     } 
     if(isFunction(obj[Symbol.iterator])) { 
      return [...obj]; 
     } 
    } 
    throw new Error(`Cannot convert ${getType(obj)} to array; it is not iterable.`); 
} 

這是拋出一個錯誤，當我嘗試編譯：

錯誤TS2322：類型「可迭代」是不能分配給類型「任何[]」 。

我完全得到。它不知道我已驗證obj實際上是any[]。

我的問題是，我如何告訴編譯器isArray正在檢查類型，這實際上是安全的？

注意，我知道如果我用Array.isArray代替，錯誤將消失。這個問題不是關於這個問題。我想知道我怎麼告訴tsc這是什麼類型。

Answer 1

您需要使用User-Defined Type Guards：

function isArray(obj: any): obj is Array<any> { 
    return obj instanceof Array; 
} 

function isFunction(obj: any): obj is Function { 
    return typeof obj === "function"; 
} 

if (isArray(obj)) { 
    return obj; // should be fine now 
}