Что такое вывод типов?

Вывод типов — это возможность TypeScript, которая автоматически определяет тип переменной или выражения на основе его значения.

Например, когда Вы пишете let age = 25;, TypeScript выводит, что age имеет тип number.

Преимущества вывода типов

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

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

Примеры вывода типов

Вот несколько примеров: 

• let message = 'Hello'; — TypeScript выводит тип string. 
• const isActive = true; — TypeScript выводит тип boolean.

Вывод типов также работает со значениями, возвращаемыми функциями:

function add(a: number, b: number) {
  return a + b;
}

Что такое контекстная типизация?

Контекстная типизация происходит, когда TypeScript назначает переменной тип на основе окружающего контекста.

Например, при использовании обработчика событий TypeScript выводит тип параметра event:

document.addEventListener('click', (event) => {
  console.log(event.clientX); // TypeScript знает, что event — это MouseEvent
});

document.addEventListener('click', (event) => {
  console.log(event.clientX);
});

Преимущества контекстной типизации

Контекстная типизация улучшает работу разработчика, уменьшая необходимость вручную добавлять аннотации типов.

Она помогает обнаруживать ошибки и гарантирует, что в конкретных контекстах Вы работаете с правильными типами.

Распространённые случаи вывода типов

TypeScript выполняет вывод типов во многих ситуациях, например:

• Инициализация переменной: let name = 'John';
• Возвращаемые значения функций: function greet() { return 'Hello'; }
• Значения массива: let numbers = [1, 2, 3]; (выводится как number[]).

Когда следует указывать типы явно

Хотя вывод типов в TypeScript очень эффективен, в некоторых случаях лучше указывать типы явно:

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

Практика: вывод типов и контекстная типизация

Напишите функцию, которая принимает на вход два числа и возвращает их сумму. TypeScript выведет типы за Вас!

Пример:

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

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

Отличная работа!

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