如何在 Typescript 中扩展匿名类型

Question

当在typescript 中使用匿名类型链接功能时，例如：

  let array = [{ seed: 2 }, { seed: 3 }];
  array
    .map(i => ({ seed: i.seed, square: i.seed * i.seed }))
    .forEach(i => console.log(`square for ${i.seed} is ${i.square}`));

我需要为地图函数定义新的匿名类型。如果我将有多个步骤都生成新属性，我最终会编写大量定义代码来获取所有属性。 我可以使用$.extend（或Object.assign），但那样我会失去智能感知和强类型。

  array
    .map(i => $.extend(i, { square: i.seed * i.seed }))
    .forEach(i => console.log(`square for ${i.seed} is ${i.square}`));

如何在不重新定义所有属性的情况下扩展匿名对象，同时保持强类型化？

Answer 1

我终于找到了解决办法。这可以通过Intersection Types 来实现。这些可以与匿名类型和类一起使用。在下面的示例中，extend 函数将从每个对象中复制属性并返回一个交叉类型的对象。这将减少大量类型定义代码，而不会丢失智能感知和强类型。

function extend<T, U>(first: T, second: U): T & U {
    let result = <T & U>{};
    for (let id in first) {
        (<any>result)[id] = (<any>first)[id];
    }
    for (let id in second) {
        if (!result.hasOwnProperty(id)) {
            (<any>result)[id] = (<any>second)[id];
        }
    }
    return result;
}

let array = [{ seed: 2 }, { seed: 3 }];

array
    .map(i => extend(i, { square: i.seed * i.seed }))
    .map(i => extend(i, { cube: i.square * i.seed }))
    .forEach(i => console.log(`square for ${i.seed} is ${i.square} and cube is ${i.cube}`));

Playground中相同

这是实施 f.e.在core-js 及其type definitions 中返回交集类型：

assign<T, U>(target: T, source: U): T & U;

Answer 2

怎么样：

interface A {
    seed: number;
}

interface B extends A {
    square: number;
}

let array: A[] = [{ seed: 2 }, { seed: 3 }];
array
    .map<B>(a => { 
        return { seed: a.seed, square: a.seed * a.seed } 
    })
    .forEach(b => console.log("square for ${b.seed} is ${b.square}"));

或者（如果你想保持匿名）：

let array = [{ seed: 2 }, { seed: 3 }];
array
    .map<{seed: number, square: number}>(a => {
        return { seed: a.seed, square: a.seed * a.seed }
    })
    .forEach(b => console.log("square for ${b.seed} is ${b.square}"));

（在playground中使用）