为什么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()]; 
}