Как представить вложенный массив с машинописью - PullRequest
Новая
       13

Как представить вложенный массив с машинописью

0 голосов
/ 22 ноября 2018

Скажем, у меня есть массив строк, например: 

const a = ['foo', ['aa'], [['zzz',['bar']]]];

export const acceptsArray = (v: Array<any>) : string => {
   returns flattenDeep(v).join(' ');
};

, кроме использования Array<any> как я могу представить вложенный массив строк?

1 Ответ

0 голосов
/ 28 июня 2019

КОРОТКИЙ ОТВЕТ 

const a = ['foo', ['aa'], [ ['zzz',['bar'] ] ] ];

type X = string | string[] | (string | string[])[][]

export const acceptsArray = (v: Array<X>) : string => {
   returns flattenDeep(v).join(' ');
};

ПОЛНЫЙ ОТВЕТ

Ответ выше работает, но давайте, возможно, решим ваш более общий вопрос:

Как представить вложенный массив произвольного уровня любого произвольного типа?

NESTING: Представление

Прежде всеголюбой массив имеет тип .Вот массив строк: 

type A = Array<string> // type definition
const a: A = ['a','b','c'] //instance

Ниже мы идем немного дальше и вводим в массив другой массив.В частности, у нас есть Array of Array of string и ничего более этого : 

type A = Array<string>
type B = Array<A>
// Ok ! 
const b0: B = [['a','b','c'],['foobar'],['1','2','3','4','5']] //ok
const b1: B = [['1','2','3']] //ok

//Attention !!!
const b2: B = ['1','2','3'] //error! Array<string> is not equal to Array<Array<string>>
const b3: B = [[1,2,3]] // error! Array<Array<number>> is not equal to Array<Array<string>>

Тип B выше можно записать так: type B = Array<Array<string>>.В Typescript, если вам нужен 'Array of Array of strings', вы также можете представить его следующим образом:

Кратчайшее представление 

type X0 = Array<Array<string>>
type X1 = string[][]  // short form!

Аналогично, если вы хотите Arrayиз массива строк из массива 'вы можете сделать это: 

type Y0 = Array<Array<Array<string>>>
type Y1 = string[][][] // short form!

// this also works!!
type Y2 = (string | number)[][][]

и так далее ...

NESTING: проверка типа

Важно понимать, что Typescript строго соответствует тому, что вы указываете в качестве типа массива.Например: 

// Given this types...
type A = string
type B = Array<string>
type Both = A | B

// and this instances...
const a:A = 'foo'
const b:B = ['foo']

// so...

const r0: Array<A> = [a,a] //ok
const r1: Array<B> = [a,a] //error: string is not of type Array<string>
const r2: Array<B> = [b,b] //ok
const r3: Array<Both> = [a,b] //ok

NESTING: Genericity

Что если нам нужен массив типа T, где T равен any определенный тип. 

// Some specific types
type SPECIFIC_TYPE_01 = string
type SPECIFIC_TYPE_02 = number
type SPECIFIC_TYPE_03 = //...etc

// A generic array of any specific type
type GenericArray<T> = Array<T>

// use:
const a: GenericArray<SPECIFIC_TYPE_01> = ['a','b','c'] //ok
const b: GenericArray<SPECIFIC_TYPE_02> = [1,2,3] //ok

Примечание: Очевидно, что вместо использования этих длинных имен вы можете использовать только Array<string>, Array<number> и т. Д.дидактика, показывающая, как генерики работают с массивами.

Подведение итогов

Ниже я использую знания выше для решения вашей исходной проблемы.

// Given...
type NestedArray0<T> = T[] //same as Array<T>
type NestedArray1<T> = T[][] //same as Array<Array<T>>
type NestedArray2<T> = T[][][] // same as Array<Array<Array<T>>>
type NestedArray3<T> = T[][][][]  // etc you get the point...

// So you can do things like...
const a0: NestedArray0<number> = [1,2,3]  //ok
const a1: NestedArray1<number> = [[1,2,3]]   //ok
const a2: NestedArray2<number> = [[[1,2,3]]]   //ok
const a3: NestedArray3<number> = [[[[1,2,3]]]]  //ok

// The type of your examples (based in what you informed) is...
type MyType = 
    | string  // 'foo'
    | NestedArray0<string> // ['aa']
    | NestedArray1<string | string[]> //  [['zzz',['bar']]]

const a: Array<MyType> = ['foo', ['aa'], [['zzz',['bar']]] ]; //ok

// so you can do

export const acceptsArray = (v: Array<MyType>) : string => {
   returns flattenDeep(v).join(' ');
};

Спасибо.

...