爲什麼TypeScript在從concat構建時不會抱怨數組的類型？

Question

在下面的代碼，我希望打字稿編譯器失敗在兩個getThings_concat和getThings_nocats但它只是抱怨後者：

interface IThing { 
    name: string; 
} 
function things1() { 
    return [ 
     {name: 'bob'}, 
     {name: 'sal'}, 
    ] 
} 
function things2() { 
    return [ 
     {garbage: 'man'}, 
    ] 
} 
function getThings_concat():Array<IThing> { 
    return <Array<IThing>>([].concat(things1(), things2())); 
} 
function getThings_nocats():Array<IThing> { 
    let ret:Array<IThing> = []; 
    things1().forEach(thing => { 
     ret.push(thing); 
    }); 
    things2().forEach(thing => { 
     ret.push(thing); 
    }); 
    return ret; 
} 

下面是一個編譯器錯誤，但我期望兩個錯誤（一個用於各getThings_*功能）：

test.ts(24,18): error TS2345: Argument of type '{ garbage: string; }' is not assignable to parameter of type 'IThing'. 
    Property 'name' is missing in type '{ garbage: string; }'. 

我能在getThings_concat改變，這樣我可以使用[].concat但它抱怨時things2()返回非IThing S'

Answer 1

這會給你你所期望的錯誤，從any[]到IThing[]改變[]類型：

function getThings_concat():Array<IThing> { 
    return (<IThing[]>[]).concat(things1(), things2()); 
} 

但是它要好得多簡單地寫函數這種方式，不需要任何類型的斷言

function getThings_concat2():Array<IThing> { 
    return [...things1(), ...things2()]; 
}