Полезные видео о фронтенде. Подпишись на Rutube

Продвинутые стратегии при работе с React и TypeScript

год назад·10 мин. на чтение

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

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

Архитектура

Хорошо спроектированная архитектура необходима для создания масштабируемых, поддерживаемых и расширяемых приложений. Продуманная архитектурная стратегия может гарантировать, что ваше приложение остается управляемым по мере его роста и развития с течением времени. Существует несколько архитектурных шаблонов, доступных для приложений React, таких как Flux, Redux и Context API. Каждый шаблон имеет свои сильные и слабые стороны, и выбор будет зависеть от требований вашего приложения и предпочтений вашей команды. При создании приложения TypeScript важно выбрать архитектуру, которая хорошо работает с дополнительным уровнем сложности TypeScript. Многоуровневая архитектура, такая как Domain-Driven Design, может помочь управлять сложностью и обеспечивать разделение задач. Кроме того, модульная архитектура, такая как Micro Frontends, может помочь разбить большие приложения на более мелкие, более управляемые части. Другая архитектурная стратегия заключается в использовании компонентов-контейнеров и презентационных компонентов. Компоненты-контейнеры отвечают за управление состоянием приложения и потоком данных, в то время как презентационные компоненты связаны с отображением пользовательского интерфейса. Такой подход помогает обеспечить разделение задач и упорядочить кодовую базу.

Давайте подробнее рассмотрим пример архитектуры приложения React и TypeScript.

// App.tsx
import React from 'react';
import { BrowserRouter as Router, Switch, Route } from 'react-router-dom';
import { Provider } from 'react-redux';
import store from './store';
import Header from './components/Header';
import Footer from './components/Footer';
import Home from './pages/Home';
import About from './pages/About';
import Contact from './pages/Contact';
import NotFound from './pages/NotFound';

function App() {
  return (
    <Provider store={store}>
      <Router>
        <Header />
        <Switch>
          <Route exact path="/" component={Home} />
          <Route exact path="/about" component={About} />
          <Route exact path="/contact" component={Contact} />
          <Route component={NotFound} />
        </Switch>
        <Footer />
      </Router>
    </Provider>
  );
}
export default App;

В этом примере архитектуры у нас есть компонент контейнера App, который управляет состоянием приложения и потоком данных. Мы используем React Router для управления маршрутизацией приложения и рендеринга различных страниц на основе URL- адреса. Компонент контейнера также заключает все приложение в Provider Redux, который предоставляет доступ к глобальному состоянию приложения. Презентационные компоненты, Header и Footer, связаны с отображением пользовательского интерфейса и получением пропса от компонента контейнера.

Тестирование

Тестирование имеет решающее значение для обеспечения того, чтобы ваш код работал так, как задумано, выявляя ошибки до того, как они попадут в продакшен. Эффективное тестирование требует комплексной стратегии, охватывающей все аспекты приложения, от модульных тестов до интеграционных тестов и end-to-end тестов. Существует несколько фреймворков тестирования и инструментов, доступных для React и TypeScript, таких как Jest, Enzyme и React Testing Library. При тестировании приложений TypeScript важно убедиться, что тесты правильно типизируют код и обнаруживают ошибки, связанные с типами. Модульные тесты должны быть написаны для охвата отдельных функций или компонентов, в то время как интеграционные тесты должны проверять, как различные части приложения работают вместе. End-to-end (e2e) тесты должны имитировать реальные пользовательские сценарии и охватывать все аспекты приложения. Давайте подробнее рассмотрим пример стратегии тестирования для приложения React и TypeScript.

// Example.test.tsx

import React from 'react';
import { render, screen } from '@testing-library/react';
import { Provider } from 'react-redux';
import store from './store';
import Example from './Example';

describe('Example component', () => {
  it('renders correctly', () => {
    render(
      <Provider store={store}>
        <Example />
      </Provider>
    );
    const linkElement = screen.getByText(/Example Component/i);
    expect(linkElement).toBeInTheDocument();
  });
});

В этом примере стратегии тестирования мы используем платформы Jest и React Testing Library для написания модульного теста для компонента Example. Компонент заключен в провайдер Redux Provider, который предоставляет доступ к глобальному состоянию приложения. Функция render используется для рендеринга компонента и предоставления его для тестирования. screen - объект из библиотеки React Testing Library используется для поиска элемента с текстом Example Component. Наконец, функция expect используется для обеспечения того, чтобы элемент находился в документе.

Производительность

Производительность имеет решающее значение для обеспечения быстрого и отзывчивого взаимодействия с пользователем, особенно для более крупных и сложных приложений. Оптимизация производительности должна быть включена в вашу стратегию развития с самого начала. Для React и TypeScript доступно несколько методов оптимизации производительности, таких как отложенная загрузка (ленивая загрузка, lazy loading), разделение кода и мемоизация. При оптимизации производительности приложения TypeScript важно убедиться, что TypeScript используется эффективным и оптимизированным образом. Кроме того, следует проводить регулярное тестирование производительности и профилирование, чтобы убедиться, что оптимизация повышает производительность. Давайте подробнее рассмотрим пример метода оптимизации производительности для приложений React и TypeScript.

// LazyLoadedComponent.tsx

import React, { lazy, Suspense } from 'react';

const LazyLoadedComponent = lazy(() => import('./LazyLoadedComponentImpl'));
function LazyLoadedComponentWrapper() {
  return (
    <Suspense fallback={<div>Loading...</div>}>
      <LazyLoadedComponent />
    </Suspense>
  );
}
export default LazyLoadedComponentWrapper;

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

Процесс разработки

Эффективный и оптимизированный процесс разработки может помочь вам писать лучший код быстрее и эффективнее. Такие инструменты, как webpack, Babel и ESLint, могут помочь оптимизировать процесс разработки, а системы управления версиями, такие как Git, могут помочь управлять кодом и эффективно взаимодействовать с вашей командой. Гибкие методологии разработки, такие как Scrum, могут помочь оптимизировать процесс разработки, способствовать сотрудничеству и общению, а также более эффективно предоставлять высококачественное программное обеспечение. Регулярные проверки кода и сеансы обмена знаниями также могут помочь поддерживать качество кода и гарантировать, что все члены команды будут в курсе последних разработок. Другим аспектом оптимизированного процесса разработки является автоматизация. Автоматизация повторяющихся задач, таких как построение и развертывание приложения, может помочь сэкономить время и уменьшить количество ошибок. Конвейеры непрерывной интеграции и непрерывной доставки (CI/CD) помогают автоматизировать процесс разработки, позволяя сосредоточиться на написании кода и предоставлении функций.

Давайте подробнее рассмотрим пример процесса разработки для приложения React и TypeScript.

// package.json
{
  "name": "my-app",
  "version": "1.0.0",
  "scripts": {
    "start": "webpack-dev-server --mode development",
    "build": "webpack -mode production",
    "test": "jest",
    "lint": "eslint src",
    "precommit": "lint-staged",
    "deploy": "npm run build && aws s3 sync dist s3://my-bucket -delete"
  },
  "devDependencies": {
    "webpack": "5.64.4",
    "webpack-cli": "4.9.1",
    "webpack-dev-server": "4.6.0",
    "babel-loader": "8.2.3",
    "@babel/core": "7.16.7",
    "@babel/preset-env": "7.16.8",
    "@babel/preset-react": "7.16.7",
    "@babel/preset-typescript": "7.16.7",
    "eslint": "8.6.0",
    "eslint-plugin-react": "7.29.0",
    "eslint-plugin-react-hooks": "4.3.0",
    "jest": "27.4.3",
    "ts-jest": "27.0.5",
    "lint-staged": "12.2.4",
    "husky": "7.0.4"
  },
  "dependencies": {
    "react": "17.0.2",
    "react-dom": "17.0.2",
    "react-redux": "7.2.6",
    "react-router-dom": "6.2.1",
    "redux": "4.1.2",
    "axios": "0.24.0"
  },
  "lint-staged": {
    "*.{js,jsx,ts,tsx}": [
      "eslint --fix",
      "git add"
    ]
  }
}

В этом примере процесса разработки мы используем webpack для объединения нашего кода и Babel для преобразования нашего кода TypeScript в JavaScript. Мы используем Jest для выполнения наших тестов и ESLint для линтинга нашего кода. Скрипт precommit использует lint-staged для запуска ESLint и форматирования нашего кода перед каждым коммитом. Наконец, скрипт deploy создает наше приложение и развертывает его в бакете AWS S3.

Специальные возможности и доступность (Accessibility)

Специальные возможности имеют решающее значение для обеспечения того, чтобы все пользователи, независимо от их возможностей, могли получить доступ к приложению и использовать его. Следует следовать рекомендациям и стандартам по специальным возможностям, таким как Руководство по доступности веб (WCAG), чтобы обеспечить доступность приложения для всех. При разработке приложений React и TypeScript специальные возможности должны быть включены в процесс разработки с самого начала. Такие инструменты, как axe-core, можно использовать для проверки проблем со специальными возможностями и обеспечения соответствия приложения рекомендациям по специальным возможностям. Кроме того, использование семантического HTML и предоставление альтернативного текста для изображений может помочь улучшить специальные возможности вашего приложения. Давайте подробнее рассмотрим пример метода специальных возможностей для приложения React и TypeScript.

// AccessibleButton.tsx

import React, { ButtonHTMLAttributes } from 'react';
interface AccessibleButtonProps extends ButtonHTMLAttributes<HTMLButtonElement> {
  label: string;
}
function AccessibleButton({ label, ...rest }: AccessibleButtonProps) {
  return (
    <button aria-label={label} {...rest}>
      {label}
    </button>
  );
}
export default AccessibleButton;

В этом примере метода специальных возможностей мы используем атрибут aria-label для предоставления метки со специальными возможностями для кнопки. Компонент AccessibleButton принимает проп label и отображает кнопку с атрибутом aria-label. Такой подход гарантирует, что кнопка будет доступна всем пользователям, включая пользователей, использующих программы чтения с экрана.

Безопасность

Безопасность является еще одним важным аспектом продвинутой разработки React и TypeScript. Уязвимости безопасности могут иметь серьезные последствия, начиная от утечек данных и заканчивая простоями приложений. Существует несколько рекомендаций по безопасности, которые следует соблюдать при разработке приложений React и TypeScript, такие как методы безопасного кодирования, валидация ввода и использование HTTPS. При разработке приложений TypeScript важно убедиться, что ваш код написан с учетом безопасности. Распространенные уязвимости системы безопасности, такие как внедрение кода SQL и межсайтовые скрипты (XSS), можно предотвратить с помощью параметризованных запросов и санитизации пользовательского ввода. Кроме того, использование HTTPS может помочь обеспечить шифрование данных при передаче и предотвратить атаки типа man-in-the-middle.

Давайте подробнее рассмотрим пример техники безопасности для приложения React и TypeScript.

// SecureForm.tsx
import React, { useState } from 'react';
import axios from 'axios';

function SecureForm() {
  const [name, setName] = useState('');
  const [email, setEmail] = useState('');
  const handleSubmit = async (event: React.FormEvent<HTMLFormElement>) => {
    event.preventDefault();
    try {
      await axios.post('/api/submit-form', { name, email });
      alert('Form submitted successfully!');
    } catch (error) {
      alert('Error submitting form. Please try again.');
    }
  };
  return (
    <form onSubmit={handleSubmit}>
      <label>
        Name:
        <input
          type="text"
          value={name}
          onChange={(event) => setName(event.target.value)}
        />
      </label>
      <label>
        Email:
        <input
          type="email"
          value={email}
          onChange={(event) => setEmail(event.target.value)}
        />
      </label>
      <button type="submit">Submit</button>
    </form>
  );
}
export default SecureForm;

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

Обслуживание и поддержка

Обслуживание большого и сложного приложения React и TypeScript может быть сложной задачей, требующей надежной стратегии обслуживания. Хорошая стратегия обслуживания должна включать регулярные проверки кода, рефакторинг и обновление зависимостей. Проверки кода необходимы для поддержания качества кода и обеспечения соответствия кода стандартам вашей команды. Рефакторинг может помочь улучшить структуру и удобство сопровождения кода, упрощая его изменение и обновление в будущем. Обновление зависимостей может помочь гарантировать, что приложение использует последние и наиболее безопасные версии сторонних библиотек и платформ. Давайте подробнее рассмотрим пример стратегии обслуживания приложений React и TypeScript.

// ExampleComponent.tsx

import React from 'react';
import PropTypes from 'prop-types';

interface ExampleComponentProps {
  text: string;
}
function ExampleComponent({ text }: ExampleComponentProps) {
  return <div>{text}</div>;
}
ExampleComponent.propTypes = {
  text: PropTypes.string.isRequired,
};
export default ExampleComponent;

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

Создание и поддержка продвинутых приложений React и TypeScript требует надежной стратегии. Хорошо продуманная архитектура, комплексное тестирование, оптимизация производительности, эффективный процесс разработки, доступность, безопасность и стратегия обслуживания — все это важные компоненты успешной стратегии развития. Следуя этим стратегиям, вы можете гарантировать, что ваше приложение является масштабируемым, обслуживаемым и эффективным, обеспечивая высококачественный пользовательский интерфейс для ваших пользователей. В дополнение к стратегиям, рассмотренным выше, существует множество других продвинутых методов и шаблонов React и TypeScript, которые могут помочь вам создавать лучшие приложения. Некоторые примеры этих методов включают компоненты высшего порядка, render props и контекст. Компоненты высшего порядка (HOC) являются популярным шаблоном в React, который может помочь вам повторно использовать и совместно использовать логику между компонентами. HOC — это функции, которые принимают компонент и возвращают новый компонент с дополнительной функциональностью. Например, можно использовать HOC для добавления проверки подлинности или авторизации компонента. renderProps — еще один популярный шаблон в React, который может помочь вам повторно использовать логику между компонентами. Render props — это функции, которые передаются компоненту в качестве пропса, позволяя компоненту отображать динамическое содержимое. Например, можно использовать рендер проп для рендеринга загружаемого спиннера во время извлечения данных. Контекст — это функциональность в React, которая позволяет передавать данные через дерево компонентов без необходимости вручную передавать проп на каждом уровне. Контекст может быть полезен для передачи данных, таких как тема или предпочитаемый язык, компонентам, которые находятся глубоко в дереве компонентов.

Давайте подробнее рассмотрим пример реализации каждого из этих передовых методов.

// withAuthentication.tsx
import React, { ComponentType } from 'react';

function withAuthentication<T>(WrappedComponent: ComponentType<T>) {
  return function WithAuthentication(props: T) {
    const isAuthenticated = true; // replace with actual authentication logic
    return isAuthenticated ? (
      <WrappedComponent {...props} />
    ) : (
      <div>You must be logged in to view this content.</div>
    );
  };
}
export default withAuthentication;

В этом примере реализации HOC мы используем функцию withAuthentication для добавления проверки подлинности к компоненту. Функция withAuthentication принимает компонент и возвращает новый компонент с дополнительной логикой проверки подлинности. Новый компонент отображает упакованный компонент, если пользователь прошел проверку подлинности, или сообщение о том, что пользователь должен войти в систему в противном случае.

// FetchData.tsx

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

interface FetchDataProps {
  url: string;
  render: (data: any) => React.ReactNode;
}
function FetchData({ url, render }: FetchDataProps) {
  const [data, setData] = useState(null);
  const [isLoading, setIsLoading] = useState(false);
  const [error, setError] = useState(null);
  useEffect(() => {
    setIsLoading(true);
    fetch(url)
      .then((response) => response.json())
      .then((data) => {
        setData(data);
        setIsLoading(false);
      })
      .catch((error) => {
        setError(error);
        setIsLoading(false);
      });
  }, [url]);
  if (isLoading) {
    return <div>Loading...</div>;
  }
  if (error) {
    return <div>{error.message}</div>;
  }
  return <>{render(data)}</>;
}
export default FetchData;

В этом примере реализации рендер пропса мы используем компонент FetchData для извлечения данных из API и их рендеринга с помощью рендер пропса. Компонент FetchData принимает url, который указывает конечную точку API для извлечения, и render prop который является функцией, которая принимает извлеченные данные и возвращает JSX для рендеринга.

// ThemeContext.tsx
import React from 'react';

export const ThemeContext = React.createContext('light');
export const ThemeProvider = ({ children }: { children: React.ReactNode }) => (
  <ThemeContext.Provider value="dark">{children}</ThemeContext.Provider>
);

В этом примере реализации контекста мы используем ThemeContext для предоставления темы нашему приложению. ThemeContext создается с помощью функции createContext, которая создает новый объект контекста. Компонент ThemeProvider используется для предоставления ThemeContext нашему приложению. ThemeProvider принимает проп children, который представляет собой дерево компонентов, которое должно быть обернуто контекстом темы.

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

Redux: предсказуемый контейнер состояния для JavaScript приложений.
React Router: библиотека для маршрутизации в приложениях React.
Styled Components: библиотека для стилизации компонентов React с помощью CSS-in-JS.
Formik: библиотека для построения форм в React.
Storybook: инструмент для изолированного построения компонентов пользовательского интерфейса.

Используя эти средства и следуя передовым методам и стратегиям React и TypeScript, вы можете создавать лучшие, более масштабируемые и более удобные в обслуживании приложения.

Итоги

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

Архитектура и состав компонентов
Комплексное тестирование
Оптимизация производительности
Эффективный процесс разработки
Доступность
Безопасность
Поддержка

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

Frontend React TypeScript

Основы TypeScript

10 месяцев назад·11 мин. на чтение

Туториал по TypeScript - Основы

Содержание туториала по TypeScript Каждое значение в JavaScript имеет определенное поведение, которое можно наблюдать при выполнении различных операций. Звучит абстрактно, но в качестве быстрого примера рассмотрим некоторые операции, которые мы можем выполнять над переменной с именем message.

// Получение свойства 'toLowerCase' переменной 'message' и его вызов
message.toLowerCase();

// Вызов 'message'
message();

Разберем этот код. Первая исполняемая строка кода обращается к свойству с именем toLowerCase, а затем вызывает его. Вторая пытается вызвать message напрямую. Но предполагая, что мы не знаем значения message — а это довольно частая ситуация — мы не можем достоверно сказать, какие результаты мы получим, пытаясь запустить любой из этих вариантов. Поведение каждой операции полностью зависит от того, какое значение message мы имели ввиду.

Можно ли вызвать message?
Есть ли у него свойство toLowerCase?
Если это так, можно ли вызвать toLowerCase?
Если оба эти значения можно вызвать, что они возвращают?

Ответы на эти вопросы обычно возникают у нас в голове, когда мы пишем JavaScript код, и мы должны надеяться, что правильно поняли все детали. Допустим, message было определено следующим образом.

const message = 'Hello World!';

Как вы, наверное, догадались, если мы попытаемся запустить message.toLowerCase(), мы получим ту же строку, только в нижнем регистре. А как насчет второй строки кода? Если вы знакомы с JavaScript, вы знаете, что это вызовет исключение:

TypeError: message is not a function

Было бы здорово, если бы мы могли избежать подобных ошибок. Когда мы запускаем наш код, среда выполнения JavaScript выбирает, что делать, выясняя тип значения — каким поведение оно обладает и какие возможности у него есть. Это часть того, на что намекает TypeError — это говорит о том, что строку Hello World! нельзя вызывать как функцию. Для некоторых значений, таких как примитивы string и number, мы можем определить их тип во время выполнения с помощью оператора typeof. Но для других вещей, таких как функции, нет соответствующего механизма времени выполнения для определения их типов. Например, рассмотрим эту функцию:

function fn(x) {
  return x.flip();
}

Читая код, мы можем заметить, что эта функция будет работать только в том случае, если задан объект с вызываемым свойством flip, но JavaScript не отображает эту информацию таким образом, чтобы мы могли проверить ее во время выполнения кода. Единственный способ в чистом JavaScript узнать, что делает fn с конкретным значением — это вызвать его и посмотреть, что произойдет. Такое поведение затрудняет прогнозирование того, что будет делать код до его запуска, а это означает, что сложнее узнать, что будет делать ваш код, пока вы его пишете. С этой точки зрения тип — это понятие, описывающее, какие значения могут быть переданы в fn, а какие приведут к ошибке. JavaScript действительно обеспечивает только динамическую типизацию — нужно запустить код, чтобы увидеть, что происходит. Альтернативой является использование статической системы типов для предсказания того, какой код ожидается до его запуска.

Статическая проверка типов

Вспомните об ошибке TypeError, которую мы получили ранее при попытке вызвать строку как функцию. Большинству людей не нравится получать какие-либо ошибки при выполнении своего кода — это считается багами! И когда мы пишем новый код, мы делаем все возможное, чтобы избежать появления новых багов. Если мы добавим немного кода, сохраним наш файл, повторно запустим код и сразу же увидим ошибку, мы сможем быстро изолировать проблему; но это не всегда так. Возможно, мы недостаточно тщательно протестировали эту функцию, поэтому мы никогда не столкнемся с потенциальной ошибкой, которая будет выдана! Или, если бы нам посчастливилось стать свидетелями ошибки, мы могли бы в конечном итоге провести масштабный рефакторинг и добавить много другого кода, в котором нам пришлось бы разбираться. В идеале у нас мог бы быть инструмент, который помогал бы нам находить эти ошибки до запуска нашего кода. Это то, что делает статическая проверка типов, такая как TypeScript. Системы статических типов описывают формы и поведение наших значений при запуске наших программ. Средство проверки типов, такое как TypeScript, использует эту информацию и сообщает нам, когда что-то может пойти не так.

const message = "hello!";

message();
This expression is not callable.
  Type 'String' has no call signatures.

Запуск этого последнего примера с помощью TypeScript даст нам сообщение об ошибке, прежде чем мы запустим код.

Ошибки не вызывающие исключений

До сих пор мы обсуждали некоторые вещи, такие как ошибки времени выполнения — случаи, когда среда выполнения JavaScript сообщает нам, что считает что-то бессмысленным. Такие случаи возникают из-за того, что в спецификации ECMAScript есть четкие инструкции о том, как язык должен вести себя, когда он сталкивается с чем-то непредвиденным. Например, в спецификации сказано, что попытка вызвать что-то, что нельзя вызвать, должна выбросить ошибку. Возможно, это звучит как «очевидное поведение», но вы можете себе представить, что доступ к свойству, не существующему в объекте, также должен вызывать ошибку. Вместо этого JavaScript дает нам другое поведение и возвращает значение undefined:

const user = {
  name: 'Daniel',
  age: 26,
};
user.location; // возвращает undefined

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

const user = {
  name: 'Daniel',
  age: 26,
};

user.location;

// Property 'location' does not exist on type '{ name: string; age: number; }'.

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

const announcement = 'Hello World!';

// Как быстро вы можете заметить опечатку?
announcement.toLocaleLowercase();
announcement.toLocalLowerCase();

// Возможно, мы имели ввиду это...
announcement.toLocaleLowerCase();

невызванные функции,

function flipCoin() {
  // Имелось ввиду Math.random()
  return Math.random < 0.5;

  // Оператор '<' не может применяться к типам '() => number' и 'number'.
}

или простые логические ошибки.

const value = Math.random() < 0.5 ? 'a' : 'b';
if (value !== 'a') {
  // ...
} else if (value === 'b') {
  // Это условие всегда будет возвращать 'false', т.к. типы '"a"' и '"b"' не пересекаются.
  // Не достижимый код
}

IDE инструменты TypeScript

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

`tsc` компилятор TypeScript

Мы говорили о проверке типов, но мы еще не использовали его на практике. Давайте познакомимся с новым функционалом - это tsc - компилятором TypeScript. Сначала нам нужно установить его через npm.

npm install -g typescript

Эта команда устанавливает tsc - компилятор TypeScript - глобально. Вы можете использовать npx или аналогичные инструменты, если предпочитаете запускать tsc из локального node_modules. Теперь давайте перейдем в пустую папку и попробуем написать нашу первую программу на TypeScript: hello.ts:

// Приветствует мир
console.log('Hello world!');

Обратите внимание, что здесь нет никаких дополнений; эта программа «hello world» выглядит также, как написанная на JavaScript. А теперь давайте проверим эту программы на типы, выполнив команду tsc, которая была установлена пакетом typescript.

tsc hello.ts

Что произошло при вызове этого кода. Мы запустили tsc и ничего не произошло! Ошибок типов не было, поэтому мы не получили никакого сообщения в консоли, поскольку сообщать было не о чем. Но проверьте еще раз — вместо этого мы получили какой-то файл. Если мы посмотрим в текущий каталог, то увидим файл hello.js рядом с hello.ts. Это результат полученный из файла hello.ts после того, как tsc скомпилировал (или преобразовал) его в обычный файл JavaScript. И если мы проверим содержимое, то увидим, что выдал TypeScript после обработки файла .ts:

// Приветствует мир
console.log('Hello world!');

В этом случае очень мало того, что может преобразовать TypeScript, поэтому код выглядит идентично тому, что мы написали. Компилятор пытается создать чистый читаемый код, похожий на то, что написал бы человек. Хотя это не всегда так просто, TypeScript постоянно делает отступы, учитывает, когда наш код включает разные строки кода, и старается сохранять комментарии. А если бы мы добавили ошибку проверки типов? Давайте перепишем hello.ts:

function greet(person, date) {
  console.log(`Hello ${person}, today is ${date}!`);
}

greet('Brendan');

Если мы снова запустим tsc hello.ts, мы получим ошибку в командной строке.

Expected 2 arguments, but got 1.

TypeScript сообщает нам, что мы забыли передать аргумент функции greet, и это правильно. До сих пор мы писали только стандартный JavaScript, и тем не менее проверка типов по-прежнему могла находить проблемы в нашем коде.

Компиляция с отображением ошибок

В последнем примере вы могли не заметить, что наш файл hello.js снова изменился. Если мы откроем этот файл, мы увидим, что содержимое по-прежнему в основном выглядит так же, как наш входной файл. Это может показаться немного удивительным, учитывая тот факт, что tsc сообщил об ошибке в нашем коде, но это основано на одной из основных ценностей TypeScript: большую часть времени вы будете знать лучше, чем TypeScript. Повторим сказанное ранее: код проверки типов ограничивает количество программ, которые вы можете запускать, поэтому существует компромисс между тем, какие вещи программа проверки типов считает приемлемыми. В большинстве случаев это нормально, но бывают ситуации, когда эти проверки мешают. Например, представьте, что вы переносите код JavaScript на TypeScript и вносите ошибки проверки типов. В конце концов вы научитесь наводить порядок для системы проверки типов, но исходный код и так был JavaScript рабочим. Почему преобразование его в TypeScript должно помешать вам запустить его? Так что TypeScript не мешает вам. Конечно, со временем вы, возможно, захотите стать немного более защищенным от ошибок и заставить TypeScript действовать более строго. В этом случае вы можете использовать параметр компилятора noEmitOnError. Попробуйте изменить файл hello.ts и запустить tsc с этим флагом:

tsc --noEmitOnError hello.ts

Вы заметите, что hello.js больше не обновляется.

Явные типы

До сих пор мы не сообщали TypeScript, что такое person или date. Давайте отредактируем код, чтобы сообщить TypeScript, что person — это строка, а date должна быть объектом Date. Мы также будем использовать метод toDateString() для даты.

function greet(person: string, date: Date) {
  console.log(`Hello ${person}, today is ${date.toDateString()}!`);
}

Что мы сделали, так это добавили аннотации типа для person и date, чтобы описать, с какими типами значений может быть вызвана функция greet. Вы можете прочитать эту сигнатуру как "greet принимает person типа string и date типа Date». Таким образом, TypeScript может рассказать нам о других случаях, когда greet могло быть вызвано неправильно. Например...

function greet(person: string, date: Date) {
  console.log(`Hello ${person}, today is ${date.toDateString()}!`);
}

greet('Maddison', Date());
// Argument of type 'string' is not assignable to parameter of type 'Date'.

Хм? TypeScript сообщил об ошибке во втором аргументе, но почему? Удивительно, но вызов Date() в JavaScript возвращает строку. С другой стороны, создание Date с помощью new Date() фактически дает нам то, что мы ожидали. В любом случае, мы можем быстро исправить ошибку:

function greet(person: string, date: Date) {
  console.log(`Hello ${person}, today is ${date.toDateString()}!`);
}

greet('Maddison', new Date());

Имейте в виду, что нам не всегда нужно писать явные аннотации типов. Во многих случаях TypeScript может даже просто вывести (или «вычислить») типы за нас, даже если мы их опустим.

let msg = 'hello there!';

Если вы наведете курсор на переменную msg в IDE, появится всплывающее сообщение с информацией о типе. Несмотря на то, что мы не сказали TypeScript, что тип msg это string, он смог это понять. Это фича, и лучше не добавлять аннотации, когда система типов в любом случае выведет этот тип.

Удаление типов

Давайте посмотрим, что произойдет, когда мы скомпилируем приведенную выше функцию greeting с помощью tsc для вывода JavaScript:

'use strict';
function greet(person, date) {
  console.log(
    'Hello '.concat(person, ', today is ').concat(date.toDateString(), '!')
  );
}
greet('Maddison', new Date());

Обратите внимание на две вещи:

Параметры person и date больше не имеют аннотаций типа.
Наш шаблонный литерал — та строка, в которой использовались обратные кавычки (символ ```), — была преобразована в простые строки с конкатенацией.

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

Понижение версии

Еще одно отличие заключалось в том, что наша шаблонная строка была переписана из

`Hello ${person}, today is ${date.toDateString()}!`;

'Hello ' + person + ', today is ' + date.toDateString() + '!';

Почему это случилось? Шаблонный литерал — это фича версии ECMAScript под названием ECMAScript 2015 (он же ECMAScript 6, ES2015, ES6 и т.д.). TypeScript имеет возможность переписывать код с более новых версий ECMAScript на более старые, такие как ECMAScript 3 или ECMAScript 5 (также известные как ES3 и ES5). Этот процесс перехода от более новой или «более высокой» версии ECMAScript к более старой или «более низкой» версии иногда называют понижением уровня. По умолчанию TypeScript выводит ES3, чрезвычайно старую версию ECMAScript. Мы могли бы выбрать что-то более свежее, используя опцию target. Запуск с --target es2015 изменяет TypeScript на целевой ECMAScript 2015, что означает, что код должен работать везде, где поддерживается ECMAScript 2015. Таким образом, запуск tsc --target es2015 hello.ts дает нам следующий результат:

function greet(person, date) {
  console.log(`Hello ${person}, today is ${date.toDateString()}!`);
}
greet('Maddison', new Date());

Строгость

Разные пользователи приходят в TypeScript в поисках разных вещей в системе проверки типов. Некоторым людям нужно больше необязательности в применении TypeScript, которая может помочь проверить только некоторые части их программы и при этом иметь приличный инструментарий. Это стандартный опыт работы с TypeScript, где типы являются необязательными, для вывода используются самые мягкие типы, и нет проверки значений на потенциальные null/undefined. Подобно тому, как tsc выдает сообщения об ошибках, эти значения по умолчанию устанавливаются, чтобы не мешать вам. Если вы переносите существующий JavaScript, это может быть желательным первым шагом. Напротив, многие пользователи предпочитают, чтобы TypeScript проверял как можно больше сразу, и поэтому язык также предоставляет настройки строгости. Эти настройки строгости превращают статическую проверку типов из переключателя (независимо от того, проверяется ваш код или нет) во что-то более близкое к шкале. Чем больше вы поворачиваете этот переключатель, тем больше TypeScript будет проверять. Это может потребовать небольшой дополнительной работы, но в целом это окупается в долгосрочной перспективе и позволяет проводить более тщательные проверки и использовать более точные инструменты. Когда это возможно, новая кодовая база всегда должна включать эти проверки строгости. TypeScript имеет несколько флагов строгости проверки типов, которые можно включать и выключать, и все наши примеры будут написаны со всеми этими флагами, если не указано иное. Флаг strict в CLI "strict": true в tsconfig.json включает их все одновременно, но мы можем отказаться от них по отдельности. Вам следует знать о двух наиболее важных из них: noImplicitAny и strictNullChecks.

`noImplicitAny`

Напомним, что в некоторых местах TypeScript не пытается выводить за нас типы, а вместо этого возвращается к наиболее мягкому типу: any. Это не самое худшее, что может случиться — в конце концов, откат к any — это в любом случае обычный опыт работы с JavaScript. Однако использование any часто противоречит цели использования TypeScript. Чем более типизирована ваша программа, тем больше проверок и инструментов вы получите, а это означает, что вы столкнетесь с меньшим количеством ошибок при написании кода. Включение флага noImplicitAny вызовет ошибку для любых переменных, тип которых неявно выводится как any.

`strictNullChecks`

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

Frontend TypeScript Туториал по TypeScript

на русском языке
бесплатно
без VPN

ChatGPT