Вопросы и ответы React собеседования 2023 - Часть 3

• Вопросы и ответы ReactJS собеседования 2023 - Часть 1
• Вопросы и ответы ReactJS собеседования 2023 - Часть 2
• Вопросы и ответы ReactJS собеседования 2023 - Часть 3 (эта статья)

1. Как программно перейти на страницу с использованием последней версии React Router?

// старая версия - v5
import { useHistory } from "react-router-dom";

function HomeButton() {
  let history = useHistory();
  history.push('/some/path');
};

// новая версия - v6+
import { useNavigate } from "react-router-dom";

function SignupForm() {
  let navigate = useNavigate();

  async function handleSubmit(event) {
    event.preventDefault();
    await submitForm(event.target);
    navigate("../success", { replace: true });
  }

  return <form onSubmit={handleSubmit}>{/* ... */}</form>;
}

// или
import { redirect } from "react-router-dom";

const loader = async () => {
  const user = await getUser();
  if (!user) {
    return redirect("/login");
  }
};

Подробнее о React Router v6 мы можете найти в серии статей:

• Полное руководство по React Router v6. Часть 1 - Основы React Router
• Полное руководство по React Router v6. Часть 2 - Продвинутые определения маршрутов
• Полное руководство по React Router v6. Часть 3 - Управление навигацией
• Полное руководство по React Router v6. Часть 4 - Подробно о роутерах

2. Что такое батчинг состояний в React? Каков будет результат выполнения кода?

Дан фрагмент кода:

export default function Counter() {
  const [number, setNumber] = useState(0);

  return (
    <>
      <h1>{number}</h1>
      <button
        onClick={() => {
          setNumber(number + 1);
          setNumber(number + 1);
          setNumber(number + 1);
        }}
      >
        +3
      </button>
    </>
  );
}

Результат будет следующий:

• при нажатии «+3» будет выведено «1»
• состояние будет обновлено только один раз из-за концепции батчинга состояний

Почему? Это позволяет вам обновлять несколько переменных состояния, не вызывая слишком много повторных рендеров. Но что если вы все равно хотите обновить? То есть - все же нужно вывести 3 при нажатии «+3». Для этого нужно передать метод обратного вызова в setNumber.

setNumber((n) => n + 1);

return (
  <>
    <h1>{number}</h1>
    <button
      onClick={() => {
        setNumber((n) => n + 1);
        setNumber((n) => n + 1);
        setNumber((n) => n + 1);
      }}
    >
      +3
    </button>
  </>
);

3. Как передавать данные между родственными компонентами с помощью React Router?

Передача данных между родственными компонентами React возможна с помощью хука React Router useParams. Родительский компонент (обычно App.js для определения маршрутов)

<Route path="/user/:id" element={<User />} />

import { useParams } from "react-router-dom";

const User = () => {
  let { id } = useParams();

  useEffect(() => {
    console.log(`/user/${id}`);
  }, []);

  // .....
};

О других способах передачи данных между компонентами можно найти в статье Как передавать данные между компонентами в ReactJS.

4. Как получить доступ к глобальной переменной с помощью хука useContext?

// 1. Создайте контекст
const GlobalLanguageContext = React.createContext(null);

const App = () => {
  const contextValue = { language: "EN" };

  return (
    // 2. Предоставьте данные компонентами обернув в Provider
    // В Provider передайте проп value с нужной переменной
    <GlobalLanguageContext.Provider value={contextValue}>
      <Child />
    </GlobalLanguageContext.Provider>
  );
};

const Child = () => {
  // 3. Используйте переменную
  const { language } = React.useContext(GlobalLanguageContext);
  return <div>Application Language: {language}</div>;
};

Подробнее о контексте а React:

• Как работать с контекстом в React?
• Хук useContext - как использовать контекст в React?

5. В чем разница между useMemo и useCallback?

• useCallback дает вам ссылочное равенство между рендерами для функций. А useMemo дает вам ссылочное равенство между рендерами для значений.
• useCallback и useMemo ожидают функцию и массив зависимостей. Разница в том, что useCallback возвращает свою функцию при изменении зависимостей, а useMemo вызывает свою функцию и возвращает результат.
• useCallback возвращает свою функцию без вызова, поэтому вы можете вызвать ее позже, в то время как useMemo вызывает свою функцию и возвращает результат.

Подробнее о useMemo и useCallback - в статье Оптимизация производительности React - memo, useMemo, useCallback.

6. Преимущества vite перед create-react-app

• Create React App (CRA) долгое время было основным инструментом большинства разработчиков для создания React проектов и настройки сервера разработки. Он предлагает современную настройку сборки без настройки.
• Но мы видим увеличение времени разработки и сборки, когда размер проекта увеличивается. Этот медленный цикл связи влияет на продуктивность и удовлетворенность разработчиков.
• Для решения этих проблем в экосистеме появился новый инструмент: Vite.
• В отличие от CRA, Vite не билдит все ваше приложение для режима разработки, а билдит приложение по запросу. Он также использует возможности встроенных модулей ES, esbuild и Rollup для сокращения времени разработки и сборки.
• Vite — это инструмент нового поколения, ориентированный на скорость и производительность.
• Vite — это сервер разработки, который предоставляет широкие возможности по сравнению с нативными ES модулями: быстрая горячая замена модуля (HMR), предварительное объединение, поддержка TypeScript, jsx и динамический импорт.

7. Каковы преимущества React Router?

• Основным преимуществом React Router является то, что страницу не нужно обновлять при нажатии на ссылку на другую страницу.
• Это также позволяет нам историю браузера, сохраняя при этом правильное представление приложения.
• Улучшенный пользовательский опыт, анимацию и переходы можно легко реализовать при переключении между различными компонентами.
• React Router использует динамическую маршрутизацию, чтобы обеспечить маршрутизацию по запросу пользователя. Это также означает, что все необходимые компоненты также отображаются без каких-либо морганий белого экрана или перезагрузки страницы.
• Основными компонентами react-router являются: BrowserRouter, Routes, Route, Link.

8. Как можно оптимизировать производительность React приложения?

• Один из способов — использовать метод жизненного цикла shouldComponentUpdate, чтобы предотвратить ненужную повторную визуализацию классового компонента.
• Другой способ — использовать класс PureComponent, который реализует shouldComponentUpdate с поверхностным сравнением пропсов и состояния.
• Кроме того, использование компонента высшего порядка React.memo может оптимизировать производительность функциональных компонентов.

9. Написать код для CRUD функциональности в React

Чтобы реализовать CRUD функциональность (создание, чтение, обновление, удаление) в приложении React с помощью хуков, вы можете использовать хук useState для управления состоянием вашего приложения и хук useEffect для обработки побочных эффектов, таких как вызовы API на сервер. для создания, чтения, обновления или удаления данных. Вот пример того, как вы можете реализовать функциональность CRUD в компоненте React с помощью хуков:

import React, { useState, useEffect } from "react";

function App() {
  // хук useState для хранения элементов списка
  const [items, setItems] = useState([]);

  // хук useEffect для запроса списка из API
  useEffect(() => {
    fetch("https://example.com/items")
      .then((response) => response.json())
      .then((data) => setItems(data));
  }, []);

  // функция для добавления нового элемента
  const addItem = (name) => {
    const newItem = { name };
    setItems([...items, newItem]);
  };

  // функция для обновления элемента
  const updateItem = (index, name) => {
    const updatedItems = [...items];
    updatedItems[index] = { name };
    setItems(updatedItems);
  };

  // функция для удаления элемента
  const deleteItem = (index) => {
    const updatedItems = [...items];
    updatedItems.splice(index, 1);
    setItems(updatedItems);
  };

  // рендерим элементы списка
  return (
    <ul>
      {items.map((item, index) => (
        <li key={index}>
          {item.name}
          <button onClick={() => updateItem(index, "updated name")}>
            Update
          </button>
          <button onClick={() => deleteItem(index)}>Delete</button>
        </li>
      ))}
      <button onClick={() => addItem("new item")}>Add item</button>
    </ul>
  );
}

10. Что такое хуки в React и чем они полезны?

Хук в React — это функция, которая позволяет разработчикам использовать состояние и другие функции React без написания класса. Это позволяет использовать эти функции в функциональных компонентах, которые легче писать и понимать, чем компоненты на основе классов.

11. Какие хуки используются в React?

Некоторые распространенные хуки, которые используются в React, включают useState, useEffect и useContext. Хук useState позволяет функциональному компоненту иметь локальное состояние, хук useEffect позволяет функциональному компоненту выполнять побочные эффекты, а хук useContext позволяет функциональному компоненту получать доступ к значениям из ближайшего поставщика контекста. Подробнее о хуках:

• useId
• useContext
• useMemo, useCallback
• useMemo, useCallback (видео)
• useTransition и useDeferredValue
• useImperativehandle (видео)
• useLayoutEffect (видео)
• useReducer (видео)
• Все хуки ReactJS до версии React 18 (видео)

12. Можно ли использовать хуки внутри компонента на основе классов?

Нет, хуки можно использовать только внутри функциональных компонентов. Если вам нужно использовать состояние или другие функции React в компоненте на основе класса, вам нужно будет использовать компонент класса.

13. Как вы тестируете компонент, который использует хуки?

Вы можете протестировать компонент, использующий хуки, с помощью утилиты act из пакета react-testing-library. Эта утилита позволяет имитировать эффекты процесса согласования React, что необходимо для корректной работы хуков. Затем вы можете использовать стандартные утверждения Jest или Enzyme для проверки поведения вашего компонента.

14. Для чего используется хук useEffect?

Хук useEffect используется для выполнения побочных эффектов в функциональных компонентах. Это может включать в себя такие вещи, как выборка данных, настройка подписок или ручное изменение модели DOM. Хук useEffect вызывается после рендеринга компонента и может использоваться для обеспечения актуальности вашего компонента с любыми соответствующими данными или зависимостями.

15. Создать простой кастомный хук в React

Чтобы создать кастомный хук в React, вы можете использовать хук useState, чтобы добавить локальное состояние к функциональному компоненту. Вот пример:

import { useState } from "react";

function useCounter() {
  const [count, setCount] = useState(0);

  function increment() {
    setCount(count + 1);
  }

  return { count, increment };
}

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

function MyComponent() {
  const { count, increment } = useCounter();

  return (
    <div>
      <p>The count is {count}.</p>
      <button onClick={increment}>Increment</button>
    </div>
  );
}

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

• Хук useResize для отслеживания ширины экрана в ReactJS
• Кастомный React хук для изменения темы веб-приложения
• Кастомный хук для изменения темы приложения на ReactJS (видео)
• 5 кастомных React хуков, которые улучшат ваш код

16. В чем разница между useEffect и useLayoutEffect?

Вот пример того, как вы можете использовать useEffect и useLayoutEffect в компоненте React:

import React, { useState, useEffect, useLayoutEffect } from "react";

function MyComponent() {
  const [count, setCount] = useState(0);

  // useEffect запускается после завершения цикла рендеринга
  useEffect(() => {
    // Этот код будет запускаться после рендеринга компонента
    console.log("useEffect running");
  });

  // useLayoutEffect запускается синхронно сразу после цикла рендеринга
  useLayoutEffect(() => {
    // Этот код будет запускаться после рендеринга компонента,
    // перед тем как браузер отрисует обновления на экране.
    console.log("useLayoutEffect running");
  });

  return (
    <div>
      <p>Count: {count}</p>
      <button onClick={() => setCount(count + 1)}>Increment</button>
    </div>
  );
}

В этом примере при нажатии кнопки Increment хук useEffect запустится после обновления и повторной визуализации компонента, а хук useLayoutEffect запустится до того, как обновление будет отображено на экране. Это означает, что если вы будете использовать useLayoutEffect для обновления пользовательского интерфейса, пользователь может увидеть обновление пользовательского интерфейса до завершения обновления, что может привести к визуальным несоответствиям. useEffect, с другой стороны, запускается после завершения обновления и поэтому его безопаснее использовать для обновления пользовательского интерфейса. Также можно посмотреть видео на эту тему - Для чего нужен useLayoutEffect и useEffect в ReactJS?

17. Почему виртуальный DOM обновляется быстрее, чем реальный DOM?

• Виртуальный DOM обновляется быстрее, чем реальный DOM, потому что React использует умную технику для минимизации количества обновлений, которые необходимо выполнить для реального DOM. Виртуальный DOM обновляется в памяти.
• Когда вы обновляете виртуальный DOM, React сравнивает новый виртуальный DOM со старым, определяет, какие части изменились, а затем соответствующим образом обновляет реальный DOM. Это означает, что обновляются только те части DOM, которые действительно необходимо изменить, что намного быстрее, чем обновление всего DOM при каждом изменении.
• Кроме того, виртуальный DOM реализован на JavaScript, который обычно выполняется быстрее, чем собственный код, используемый для управления реальным DOM.
• Это означает, что React может быстро выполнять обновления виртуального DOM, а затем использовать полученный diff для эффективных обновлений реального DOM.

В целом, использование виртуального DOM позволяет React эффективно обновлять пользовательский интерфейс, что приводит к более быстрому и отзывчивому взаимодействию с пользователем.

18. Можете ли вы объяснить разницу между чистой и нечистой функцией и почему это важно в контексте React?

В React чистая функция — это функция, которая возвращает один и тот же результат для одного и того же набора входных данных, независимо от того, когда она вызывается. С другой стороны, нечистая функция — это функция, которая может производить разные выходные данные для одного и того же набора входных данных в зависимости от того, когда она вызывается или других факторов. Вот пример чистой функции в React:

function addNumbers(a, b) {
  return a + b;
}

Эта функция принимает два числа, a и b, и возвращает их сумму. Эта функция всегда будет возвращать один и тот же результат для одних и тех же входных данных, независимо от того, когда она вызывается или в каком состоянии находится компонент. Вот пример нечистой функции в React:

function getRandomNumber() {
  return Math.random();
}

Эта функция возвращает случайное число при каждом вызове. Поскольку вывод этой функции зависит от факторов, не зависящих от нее (в данном случае от текущего времени и случайного начального числа), она считается нечистой функцией. В целом в React предпочтительны чистые функции, потому что их легче анализировать и тестировать. Нечистые функции, с другой стороны, могут привести к непредсказуемому поведению и затруднить понимание вашего кода.

19. Объясните Styled Component в React на примере

Styled Components — это библиотека для React и React Native, которая позволяет вам писать CSS код для стилизации ваших компонентов. Это позволяет вам писать свои стили декларативным образом вместе с вашими компонентами, вместо того, чтобы поддерживать отдельные таблицы стилей. Вот пример использования Styled Components в компоненте React:

import styled from "styled-components";

const Button = styled.button`
  background: green;
  border-radius: 3px;
  border: none;
  color: white;
`;

function MyComponent() {
  return <Button>Click me!</Button>;
}

В этом примере компонент Button имеет зеленый фон и белый текст. Стили записываются в литерал шаблона и применяются к элементу кнопки. При отображении компонента Button к нему будут применены эти стили. Styled Components позволяет легко настраивать стили на основе пропсов, переданных компоненту. Например:

const Button = styled.button`
  background: ${(props) => (props.primary ? "green" : "white")};
  border-radius: 3px;
  border: none;
  color: ${(props) => (props.primary ? "white" : "green")};
`;

function MyComponent() {
  return (
    <div>
      <Button>Click me!</Button>
      <Button primary>Click me!</Button>
    </div>
  );
}

В этом примере компонент Button имеет настраиваемый фон и цвет текста в зависимости от пропса primary. Первая кнопка будет иметь белый фон и зеленый текст, а вторая кнопка будет иметь зеленый фон и белый текст.

20. Отличия Styled components и инлайн стилей в React

Это зависит от ваших конкретных потребностей и предпочтений. Как инлайн стили, так и styled components имеют свои преимущества и недостатки. Инлайн стиль относится к практике применения стилей непосредственно к элементам с использованием атрибута style. В React это можно сделать с помощью style для элементов. Например:

function MyComponent() {
  return <div style={{ color: "red", fontSize: "20px" }}>Hello, World!</div>;
}

Одним из преимуществ инлайн стилей является то, что их очень просто использовать и понимать. Нет необходимости импортировать дополнительные библиотеки или настраивать сложные конфигурации. Инлайн стили также позволяют легко применять стили на основе пропсов или состояния, что может быть очень полезно в определенных ситуациях. Однако инлайн стили также могут иметь некоторые недостатки. Это может сделать ваш код более загроможденным и трудным для чтения, особенно для сложных стилей. Также может быть сложнее повторно использовать стили в разных компонентах, так как вам придется копировать и вставлять объекты стилей между компонентами. Styled Components — это библиотека, которая позволяет вам определять стили, используя реальный синтаксис CSS, и применять их к компонентам React. Это позволяет вам писать свои стили декларативным образом вместе с вашими компонентами, вместо того, чтобы поддерживать отдельные таблицы стилей. Вот пример использования Styled Components в компоненте React:

import styled from "styled-components";

const Button = styled.button`
  background: palevioletred;
  border-radius: 3px;
  border: none;
  color: white;
`;

function MyComponent() {
  return <Button>Click me!</Button>;
}

Одним из преимуществ Styled Components является то, что они помогают сохранять ваши стили организованными и модульными. Вместо того, чтобы иметь отдельный файл CSS для каждого компонента, вы можете определить стили непосредственно в самом компоненте. Это может упростить понимание и поддержку вашего кода, поскольку все, что связано с компонентом, хранится в одном месте. Styled Components также позволяют легко настраивать стили на основе пропсов, переданных компоненту, и определять сложные стили с использованием стандартного синтаксиса CSS. Однако Styled Components требует установки и импорта дополнительной библиотеки, что может усложнить ваш проект. У него также может быть немного более высокая кривая обучения для разработчиков, которые не знакомы с библиотеками CSS-in-JS. В конечном счете, выбор между встроенными стилями и стилизованными компонентами будет зависеть от ваших конкретных потребностей и предпочтений. Если вы ищете быстрый и простой способ применения простых стилей, вам может подойти инлайн стиль. Если вам нужен больший контроль и гибкость над вашими стилями, и вы готовы потратить некоторое время на изучение новой библиотеки, Styled Components могут быть лучшим выбором. Еще больше вопросов с собеседований

Мы начнем с обзора самых основных и распространенных типов, с которыми вы можете столкнуться при написании JavaScript или TypeScript кода. Позже они сформируют основные строительные блоки для более сложных типов.

Примитивы: string, number, boolean

В JavaScript есть три очень часто используемых примитива: string, number и boolean. У каждого есть соответствующий тип в TypeScript. Как и следовало ожидать, это те же самые имена, которые вы увидели бы, если бы использовали оператор JavaScript typeof для значений этих типов:

• string представляет строковые значения, такие как "Hello, world"
• number для чисел вроде 42. В JavaScript нет различий между целочисленными значениями и значениями с плавающей точкой, поэтому нет эквивалента int или float — все просто number
• boolean для двух значений true и false

Типы String, Number и Boolean (начинающиеся с заглавных букв) допустимы, но относятся к некоторым специальным встроенным типам, которые очень редко встречаются в коде. Всегда используйте типы string, number или boolean.

Типизация массивов

Чтобы указать тип массива, например [1, 2, 3], вы можете использовать синтаксис number[]; этот синтаксис работает для любого типа (например, string[] — это массив строк и т.д.). Вы также можете встретить синтаксис Array<number>, что означает то же самое. Обратите внимание, что [number] — это не массив чисел, а кортеж (tuple).

Тип any

TypeScript также имеет специальный тип any, который вы можете использовать всякий раз, когда вы не хотите, чтобы определенное значение вызывало ошибки проверки типов. Когда значение имеет тип any, вы можете получить доступ к любым его свойствам (которые, в свою очередь, будут иметь тип any), вызвать его как функцию, присвоить ему значения любого типа или почти все что угодно. Это валидный синтаксис:

let obj: any = { x: 0 };
// Ни одна из следующих строк кода не вызовет ошибок компилятора.
// Использование any отключает все дальнейшие проверки типов и предполагается, что
// вы знаете эти сценарии лучше, чем TypeScript.

obj.foo();
obj();
obj.bar = 100;
obj = 'hello';
const n: number = obj;

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

noImplicitAny

Когда вы не указываете тип и TypeScript не может вывести его из контекста, компилятор обычно по умолчанию использует тип any. Обычно этого следует избегать, потому что тип any не проверяется. Используйте флаг компилятора noImplicitAny, чтобы пометить любое неявное значение any как ошибку.

Аннотации типов переменных

Когда вы объявляете переменную с помощью const, var или let, вы можете дополнительно добавить аннотацию типа, чтобы явно указать тип переменной:

let myName: string = 'Alice';

TypeScript не использует объявления в стиле «типы слева», такие как int x = 0; Аннотации типа всегда будут находится после. Однако в большинстве случаев в этом нет необходимости. Везде, где это возможно, TypeScript пытается автоматически определить типы в вашем коде. Например, тип переменной выводится на основе типа ее инициализатора:

// Аннотации типа не требуются — тип 'myName' выводится как 'string'
let myName = 'Alice';

По большей части вам не нужно явно изучать правила вывода. Если вы только начинаете, попробуйте использовать меньше аннотаций типов — вы удивитесь, как мало нужно для TypeScript, чтобы он понимал, что происходит.

Как типизировать функции в TypeScript?

Функции — это основное средство для работы с данными в JavaScript. TypeScript позволяет указывать типы как входных, так и выходных значений функций.

Аннотации типов параметров

Когда вы объявляете функцию, вы можете добавить аннотации типа после каждого параметра, чтобы объявить, какие типы параметров принимает функция. Аннотации типа параметра идут после имени параметра:

// Аннотация типа параметра
function greet(name: string) {
  console.log('Hello, ' + name.toUpperCase() + '!!');
}

Когда параметр имеет аннотацию типа, будут проверены аргументы этой функции:

// При вызове возникнет ошибка времени выполнения
greet(42);

// Argument of type 'number' is not assignable to parameter of type 'string'.

Даже если вы не указали аннотации типов для параметров, TypeScript все равно проверит, что вы передали правильное количество аргументов.

Аннотации типа возвращаемого значения

Вы также можете добавить аннотации типа возвращаемого значения. Аннотации типа возвращаемого значения добавляется после списка параметров:

function getFavoriteNumber(): number {
  return 26;
}

Подобно аннотациям типа переменной, вам обычно не нужна аннотация типа возвращаемого значения, потому что TypeScript будет делать вывод о типе возвращаемого значения функции на основе ее оператора return. Аннотация типа в приведенном выше примере ничего не меняет. Некоторые кодовые базы явно указывают тип возвращаемого значения для документирования, для предотвращения случайных изменений или просто из-за личных предпочтений.

Анонимные функции

Анонимные функции немного отличаются от объявлений обычных функций. Когда функция появляется в месте, где TypeScript может определить, как она будет вызываться, параметрам этой функции автоматически присваиваются типы. Например:

// Здесь нет аннотаций типов, но TypeScript может обнаружить ошибку
const names = ['Alice', 'Bob', 'Eve'];

// Определение типа на основе контекста
names.forEach(function (s) {
  console.log(s.toUppercase());

  // Property 'toUppercase' does not exist on type 'string'. Did you mean 'toUpperCase'?
  // В типе 'string' нет свойства 'toUppercase'. Возможно, вы имели ввиду 'toUpperСase'?
});

// Определение типа на основе контекста вызова функции также работает и для стрелочных функций
names.forEach((s) => {
  console.log(s.toUppercase());

  // Property 'toUppercase' does not exist on type 'string'. Did you mean 'toUpperCase'?
  // В типе 'string' нет свойства 'toUppercase'. Возможно, вы имели ввиду 'toUpperСase'?
});

Несмотря на то, что у параметра s не было аннотации типа, TypeScript использовал типы функции forEach вместе с предполагаемым типом массива, чтобы определить тип, который будет иметь s. Этот процесс называется контекстной типизацией, потому что контекст, в котором возникла функция, сообщает, какой тип она должна иметь. Как и в случае с правилами вывода, вам не нужно явно знать, как это происходит, но понимание того, что это действительно происходит, может помочь вам заметить, когда аннотации типов не нужны. Позже мы увидим больше примеров того, как контекст, в котором встречается значение, может повлиять на его тип.

Как типизировать объекты в TypeScript?

Помимо примитивов, наиболее распространенным типом, с которым вы столкнетесь, является объект. Это относится к любому значению JavaScript со свойствами. Чтобы определить тип объекта, мы просто перечисляем его свойства и их типы. Например, вот функция, которая принимает объект точку:

// Аннотация типа параметра является типом объекта
function printCoord(pt: { x: number; y: number }) {
  console.log("The coordinate's x value is " + pt.x);
  console.log("The coordinate's y value is " + pt.y);
}
printCoord({ x: 3, y: 7 });

Здесь мы типизировали параметр двумя свойствами — x и y — оба типа number. Вы можете использовать , или ; для разделения свойств, а последний разделитель необязателен. Указание типа каждого свойства также необязательно. Если вы не укажете тип, он будет считаться any.

Необязательные свойства

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

function printName(obj: { first: string; last?: string }) {
  // ...
}

// Следующие вызовы не вызовут ошибок
printName({ first: 'Bob' });
printName({ first: 'Alice', last: 'Alisson' });

В JavaScript, если вы обращаетесь к несуществующему свойству, вы получите значение undefined, а не ошибку времени выполнения. Из-за этого, когда вы читаете из необязательного свойства, вам придется проверять его на undefined перед его использованием.

function printName(obj: { first: string; last?: string }) {
  // Ошибка, если obj.last не предоставлен:
  console.log(obj.last.toUpperCase());
Object is possibly 'undefined'.
  if (obj.last !== undefined) {
    // OK
    console.log(obj.last.toUpperCase());
  }

  // Безопасная альтернатива с использованием современного синтаксиса JavaScript:
  console.log(obj.last?.toUpperCase());
}

Объединение типов (Unions)

Система типов TypeScript позволяет вам создавать новые типы из существующих, используя большое количество операторов. Теперь, когда мы знаем, как писать несколько типов, пора начать комбинировать их интересными способами.

Определение объединенного типа

Первый способ комбинирования типов, который вы встретить - это объединение типов. Объединение типов - это тип, сформированный из двух или более других типов, представляющих значения, которые могут быть любым из этих типов. Давайте напишем функцию, которая может работать со строками или числами:

function printId(id: number | string) {
  console.log('Your ID is: ' + id);
}

// Работает
printId(101);

// Работает
printId('202');

// Ошибка
printId({ myID: 22342 });

// Argument of type '{ myID: number; }' is not assignable to parameter of type 'string | number'.

Работа с объединенными типами

TypeScript разрешит операцию только в том случае, если она действительна для каждого члена объединения. Например, если у вас есть объединение string | number, вы не можете использовать методы, доступные только для string:

function printId(id: number | string) {
  console.log(id.toUpperCase());

  // Property 'toUpperCase' does not exist on type 'string | number'.
  // Property 'toUpperCase' does not exist on type 'number'.
}

Решение состоит в том, чтобы сузить объединение с помощью кода, как в JavaScript без аннотаций типов. Сужение происходит, когда TypeScript может определить более конкретный тип для значения на основе структуры кода. Например, TypeScript знает, что только строковое значение будет иметь значение "string" при применении оператора typeof:

function printId(id: number | string) {
  if (typeof id === 'string') {
    // Здесь id имеет тип 'string'
    console.log(id.toUpperCase());
  } else {
    // Здесь id имеет тип 'number'
    console.log(id);
  }
}

Другой пример — использование такой функции, как Array.isArray:

function welcomePeople(x: string[] | string) {
  if (Array.isArray(x)) {
    // Здесь: 'x' это 'string[]'
    console.log('Hello, ' + x.join(' and '));
  } else {
    // Здесь: 'x' это 'string'
    console.log('Welcome lone traveler ' + x);
  }
}

Обратите внимание, что в ветке else нам не нужно делать ничего особенного — если x не является string[], то это должна быть строка. Иногда у вас будет объединение, в котором все члены имеют что-то общее. Например, и массивы, и строки имеют метод slice. Если у каждого члена объединения есть общее свойство, вы можете использовать это свойство без сужения:

// Возвращаемый тип определяется из number[] | string
function getFirstThree(x: number[] | string) {
  return x.slice(0, 3);
}

Может сбивать с толку тот факт, что объединение типов имеет пересечение свойств этих типов. Это не случайно — название union происходит из теории типов. Объединение number | string состоит из объединения значений каждого типа. Обратите внимание, что для двух множеств с соответствующими фактами о каждом множестве к объединению самих множеств применимо только пересечение этих фактов. Например, если бы у нас была комната с высокими людьми в шляпах и другая комната с говорящими по-испански в шляпах, после объединения этих комнат единственное, что мы знаем о каждом человеке, это то, что он должен быть в шляпе.

Псевдонимы типов (алиасы, aliases)

Мы использовали типы объектов и типы объединения, записывая их непосредственно в аннотациях типов. Это удобно, но часто хочется использовать один и тот же тип более одного раза и ссылаться на него по одному имени. Псевдоним типа — это именно то, что является именем для любого типа. Синтаксис псевдонима типа:

type Point = {
  x: number;
  y: number;
};

// Тоже самое как и в прошлом примере
function printCoord(pt: Point) {
  console.log("The coordinate's x value is " + pt.x);
  console.log("The coordinate's y value is " + pt.y);
}

printCoord({ x: 100, y: 100 });

Вы можете использовать псевдоним типа, чтобы дать имя любому типу, а не только объектному типу. Например, псевдоним типа может включать тип объединения:

type ID = number | string;

Обратите внимание, что псевдонимы — это всего лишь псевдонимы — вы не можете использовать псевдонимы типов для создания разных/отличных «версий» одного и того же типа. Другими словами, этот код может выглядеть недопустимым, но в соответствии с TypeScript это нормально, потому что оба типа являются псевдонимами для одного и того же типа:

type UserInputSanitizedString = string;

function sanitizeInput(str: string): UserInputSanitizedString {
  return sanitize(str);
}

// Значение типа UserInputSanitizedString
let userInput = sanitizeInput(getInput());

// может также присваивать строку
userInput = 'new input';

Интерфейсы

Объявление интерфейса — это еще один способ объявить тип объекта:

interface Point {
  x: number;
  y: number;
}

function printCoord(pt: Point) {
  console.log("The coordinate's x value is " + pt.x);
  console.log("The coordinate's y value is " + pt.y);
}

printCoord({ x: 100, y: 100 });

Точно так же, как когда мы использовали псевдоним типа выше, пример работает так же, как если бы мы использовали анонимный тип объекта. TypeScript заботится только о структуре значения, которое мы передали в printCoord, — то, что оно имеет ожидаемые свойства. Занимаясь только структурой и возможностями типов, мы называем TypeScript структурно типизированной (structurally typed) системой типов.

Различия типа и интерфейса в TypeScript

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

interface Animal {
  name: string;
}

interface Bear extends Animal {
  honey: boolean;
}

const bear = getBear();
bear.name;
bear.honey;

Расширение типа через пересечения:

type Animal = {
  name: string;
};

type Bear = Animal & {
  honey: boolean;
};

const bear = getBear();
bear.name;
bear.honey;

Добавление новых полей в существующий интерфейс:

interface Window {
  title: string;
}

interface Window {
  ts: TypeScriptAPI;
}

const src = 'const a = "Hello World"';
window.ts.transpileModule(src, {});

Тип нельзя изменить после создания:

type Window = {
  title: string;
};

type Window = {
  ts: TypeScriptAPI;
};

// Error: Duplicate identifier 'Window'

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

• До TypeScript версии 4.2 имена псевдонимов могут появляться в сообщениях об ошибках, иногда вместо эквивалентного анонимного типа. Интерфейсы всегда будут иметь имена в сообщениях об ошибках.
• Псевдонимы типов не могут участвовать в слиянии объявлений, но интерфейсы могут.
• Интерфейсы могут использоваться только для объявления форм объектов, а не для переименования примитивов.
• Имена интерфейсов всегда будут отображаться в исходном виде в сообщениях об ошибках, но только тогда, когда они используются по имени.

По большей части вы можете выбирать на основе личных предпочтений, и TypeScript сообщит вам, нужно ли ему что-то еще. В общем, используйте интерфейс, пока вам не понадобятся возможности типа.

Утверждения типа (Type Assertions)

Иногда у вас будет информация о типе значения, о котором TypeScript не может узнать. Например, если вы используете document.getElementById, TypeScript знает только, что это вернет какой-то HTMLElement, но вы можете знать, что на вашей странице всегда будет HTMLCanvasElement с заданным идентификатором. В этой ситуации вы можете использовать утверждение типа, чтобы указать более конкретный тип:

const myCanvas = document.getElementById('main_canvas') as HTMLCanvasElement;

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

const myCanvas = <HTMLCanvasElement>document.getElementById('main_canvas');

TypeScript допускает только утверждения типа, которые преобразуются в более конкретную или менее конкретную версию типа. Это правило предотвращает «невозможные» приведения, такие как:

const x = 'hello' as number;

// Conversion of type 'string' to type 'number' may be a mistake because neither type sufficiently overlaps with the other. If this was intentional, convert the expression to 'unknown' first.
// Преобразование типа 'string' в тип 'number' может быть ошибкой, поскольку ни один из типов в достаточной степени не перекрывает другой. Если это было сделано намеренно, сначала преобразуйте выражение к типу 'unknown'.

Иногда это правило может быть слишком консервативным и запрещать более сложные приведения, которые могут быть действительными. Если это произойдет, вы можете использовать два утверждения, сначала для any (или unknown), затем для нужного типа:

const a = expr as any as T;

Литеральные типы (Literal Types)

В дополнение к общим типам string и number мы можем ссылаться на определенные строки и числа в позициях типа. Один из способов это представить — рассмотреть, как в JavaScript существуют различные способы объявления переменных. И var, и let позволяют изменять содержимое переменной, а const — нет. Это отражено в том, как TypeScript создает типы для литералов.

let changingString = 'Hello World';
changingString = 'Olá Mundo';

// Поскольку `changingString` может представлять любую возможную строку, именно так TypeScript описывает ее в системе типов

const constantString = 'Hello World';
// Поскольку `constantString` может представлять только 1 возможную строку, она имеет буквальное представление типа.

Сами по себе литеральные типы не очень ценны:

let x: 'hello' = 'hello';

// Работает
x = 'hello';
// ...
x = 'howdy';
// Type '"howdy"' is not assignable to type '"hello"'.
// Тип '"howdy"' нельзя назначить типу '"hello"'.

Нет особого смысла иметь переменную, которая может иметь только одно значение. Но комбинируя литералы в объединения, вы можете выразить гораздо более полезную концепцию — например, функции, которые принимают только определенный набор известных значений:

function printText(s: string, alignment: 'left' | 'right' | 'center') {
  // ...
}
printText('Hello, world', 'left');
printText("G'day, mate", 'centre');

// Argument of type '"centre"' is not assignable to parameter of type '"left" | "right" | "center"'.
// Аргумент типа '"centre"' нельзя назначить параметру типа '"left" | "right" | "center"'.

Типы числовых литералов работают так же:

function compare(a: string, b: string): -1 | 0 | 1 {
  return a === b ? 0 : a > b ? 1 : -1;
}

Конечно, вы можете комбинировать их с нелитеральными типами:

interface Options {
  width: number;
}
function configure(x: Options | 'auto') {
  // ...
}
configure({ width: 100 });
configure('auto');
configure('automatic');

// Argument of type '"automatic"' is not assignable to parameter of type 'Options | "auto"'.
// Аргумент типа '"automatic"' нельзя назначить параметру типа 'Options | "auto"'.

Есть еще один вид литералов: boolean литералы. Есть только два типа логических литералов, и, как вы могли догадаться, это true и false. Сам тип boolean на самом деле является просто псевдонимом объединения true | false.

Вывод литералов

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

const obj = { counter: 0 };
if (someCondition) {
  obj.counter = 1;
}

TypeScript не считает, что присвоение 1 полю, которое ранее имело 0, является ошибкой. Другой способ выразить тоже самое это то, что obj.counter должен иметь тип number, а не 0, потому что типы используются для определения поведения как при чтении, так и при записи. То же самое относится и к строкам:

const req = { url: 'https://example.com', method: 'GET' };
handleRequest(req.url, req.method);

// Argument of type 'string' is not assignable to parameter of type '"GET" | "POST"'.
// Аргумент типа 'string' нельзя назначить параметру типа '"GET" | "POST"'.

В приведенном выше примере req.method подразумевается как строка, а не как "GET". Поскольку код можно обработать между созданием req и вызовом handleRequest, который может назначить новую строку, например "GUESS", для req.method, TypeScript считает, что этот код содержит ошибку. Есть два способа решить это.

• Вы можете изменить вывод, добавив утверждение типа в любом месте:

// Изменение 1:
const req = { url: 'https://example.com', method: 'GET' as 'GET' };

// Изменение 2:
handleRequest(req.url, req.method as 'GET');

Изменение 1 означает: "Я говорю, что req.method всегда имеет литеральный тип "GET"", предотвращая возможное назначение "GUESS" этому полю после этого. Изменение 2 означает "Я знаю, что req.method имеет значение "GET"". Вы можете использовать as const для преобразования всего объекта в литералы типов:

const req = { url: 'https://example.com', method: 'GET' } as const;
handleRequest(req.url, req.method);

Суффикс as const действует как const, но для системы типов, гарантируя, что всем свойствам будет присвоен литеральный тип, а не более общая версия, такая как string или number.

null и undefined

В JavaScript есть два примитивных значения, которые используются для обозначения отсутствия или неинициализации значения: null и undefined. TypeScript имеет два соответствующих типа с соответствующими именами. Поведение этих типов зависит от того, включена ли у вас опция strictNullChecks.

strictNullChecks выключен

Если strictNullChecks выключен, значения, которые могут быть null или undefined, по-прежнему могут быть доступны в обычном режиме, а значения null или undefined могут быть присвоены свойству любого типа. Это похоже на то, как ведут себя языки без проверок на null (например, C#, Java). Отсутствие проверки этих значений, как правило, является основным источником ошибок; мы всегда рекомендуем включать strictNullChecks, если это целесообразно в кодовой базе.

strictNullChecks включен

При включении strictNullChecks, когда значение равно null или undefined, вам нужно будет проверить эти значения, прежде чем использовать методы или свойства для этого значения. Точно так же, как проверка на undefined перед использованием необязательного свойства, мы можем использовать сужение для проверки значений, которые могут быть null:

function doSomething(x: string | null) {
  if (x === null) {
    // …
  } else {
    console.log('Hello, ' + x.toUpperCase());
  }
}

Оператор ненулевого утверждения (Non-null Assertion Operator, постфикс !)

TypeScript также имеет специальный синтаксис для удаления null и undefined из типа без какой-либо явной проверки. Добавление ! после выражения фактически является утверждением того, что значение не является null или undefined:

function liveDangerously(x?: number | null) {
  // No error
  console.log(x!.toFixed());
}

Как и другие утверждения типа, это не меняет поведение вашего кода во время выполнения, поэтому важно использовать только ! когда вы знаете, что значение не может быть null или undefined.

Что такое Enums в TypeScript (Перечисления)?

Перечисления — это функциональность, добавленная TypeScript, которая позволяет описывать значение, которое может быть одной из множества возможных именованных констант. В отличие от большинства возможностей TypeScript, это не дополнение к JavaScript на уровне типов, а нечто, добавленное к языку и среде выполнения.

enum Direction {
  Up,
  Down,
  Left,
  Right,
}

Менее распространенные примитивы

Стоит упомянуть остальные примитивы в JavaScript, представленные в системе типов.

bigint

Начиная с ES2020, в JavaScript есть примитив, используемый для очень больших целых чисел, BigInt:

// Создание значения bigint через функцию BigInt
const oneHundred: bigint = BigInt(100);

// Создание значения BigInt через литеральный синтаксис
const anotherHundred: bigint = 100n;

symbol

В JavaScript есть примитив, используемый для создания глобальной уникальной ссылки с помощью функции Symbol():

const firstName = Symbol('name');
const secondName = Symbol('name');

if (firstName === secondName) {
  // Это условие всегда будет возвращать 'false', поскольку типы 'typeof firstName' и 'typeof secondName' не пересекаются.
}