Машинописный текст:не удается записать разнородные литералы массива

Question

какой тип утверждений мне нужен, чтобы заставить это скомпилироваться?

class Foo {}
class Bar {}

var f =
[
    [Foo, [1, 2, 3]],
    [Bar, [7, 8, 9]],
];

ошибка:

Incompatible types in array literal expression

Answer 1

Это похоже на машинописный текст делает теперь у вас есть разнородные массивы.Итак, поскольку этот вопрос возник первым, когда я искал это, и поскольку его трудно найти иначе, вот как этот код может быть написан сейчас:

class Foo {}
class Bar {}

var f: [Foo|Bar, number[]][] =
    [[new Foo(), [1, 2, 3]],
     [new Bar(), [7, 8, 9]]];

(Теперь, если это пойдет по пути синтаксиса типа, имитирующего выражения, тип также получит синтаксис [Foo|Bar, [...number]][]...)

Он даже работает с аргументами функции, так что этот тип проверяется нормально:

function foo([obj,nums]: [Foo|Bar, number[]]) {
  for (let i of nums) console.log(`i = ${i}`);
}

f.forEach(foo);

и экстремальный вариант:

f.forEach(([obj,nums]: [Foo|Bar, number[]]) => {
  for (let i of nums) console.log(`i = ${i}`); });

Answer 2

Это будет работать:

class Foo {}
class Bar {}

var f: any[][] = [
    [Foo, [1, 2, 3]],
    [Bar, [7, 8, 9]],
];

.

Это говорит, что у вас есть двумерный массив, ценности которых могут быть чем угодно (Foo, Bar, другие массивы и т. Д.).Вы также можете использовать утверждение типа для ваших вложенных массивов:

class Foo {}
class Bar {}

var f = [
    [<any>Foo, [1, 2, 3]],
    [<any>Bar, [7, 8, 9]],
];

.

Наличие одного любого во внутреннем массиве заставляет компилятор вывести его тип как любой [].

Answer 3

на Tymentscript 1.4 вы можете сделать профсоюзы типа.Я смог сделать это так:

function zip<T, X> (array1: T[], array2: X[]): (T|X)[][] {
    return array1.map(function (v: T, i: number) { return [v, array2[i]]; });
}

.

Конкретный тип, который вы ищете в вашем случае:

(Foo|Bar|number[])[][]

.

или:

(typeof Foo|typeof Bar|number[])[][]

.