В этом уроке мы подробнее разберем аннотации типов.

Использование аннотации типов

В простых случаях тип массива определяется как название типа и квадратные скобки после него, например: string[], number[]. Эта схема работает и с псевдонимами типов:

type User = {
  name: string;
};

// При определении констант и переменных
const users: User[] = [];

// В определении функций
function foo(users: User[]) {
  // ...
}

Здесь мы определяем массив, элементами которого являются объекты типа User. В таком массиве можно хранить только объекты, которые соответствуют типу User.

В случае составных типов, например, если мы хотим использовать объединение или описание объекта, добавляются круглые скобки — (Type)[]:

const users: { name: string }[] = [];
const users: (string | null)[] = [];
const users: (User | null | { name: string })[] = [];

Внутри круглых скобок стоит описание типа, а затем уже идут квадратные скобки.

Также TypeScript дает еще один универсальный синтаксис, с помощью которого можно описать любой массив. Описание типа в такой записи выглядит так: Array<Type>. Здесь мы используем угловые скобки, чтобы указать обобщенный тип данных, где Type представляет собой тип элементов, содержащихся в массиве.

Посмотрим, как это выглядит в коде:

const users: Array<User> = [];
const users: Array<number> = [];

const users: Array<{ name: string }> = [];
const users: Array<string | null> = [];

Обычно так не делают. Там, где можно использовать более короткий вариант, используют его. Форма Array нужна в первую очередь для дженериков, которые рассмотрим позже.

Определение пустого массива

Если определить пустой массив и не указать тип, то его типом автоматически станет any[]. В такой массив можно добавить любые данные, включая вложенные массивы:

const items = [];
items.push(1);
items.push("wow");
items.push(["code-basics", "hexlet"]);

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

const items: Array<number> = [];

Реализуйте функцию unique(), которая убирает дубликаты из массива. Функция принимает на вход массив чисел и строк. Результатом работы функции должен быть новый массив, в котором сохраняется только первое вхождение каждого элемента. Порядок значений результата определяется порядком их появления в массиве.

unique([9, 9, 3, 8, 8]); // [9, 3, 8]
unique(["twinkle", "twinkle", "little", "bat"]); // ['twinkle', 'little', 'bat']
unique([1, 1, 3, "oops!"]); // [1, 3, 'oops!']