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

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

const message = "Hello, TypeScript!";
// Type of 'message' is inferred as 'string'

1. Контекстная типизация с параметрами функций.
   TypeScript может определять ожидаемые типы параметров функций на основе их использования в вызовах функций. Это позволяет в некоторых случаях опускать аннотации типов. Рассмотрим следующий пример:

function greet(name: string) {
  console.log(`Hello, ${name}!`);
}
greet("John");
// 'name' parameter is inferred as 'string'

1. Вывод типа с помощью свойств литералов объекта.
   При инициализации объекта с использованием литералов объекта TypeScript может выводить типы свойств на основе присвоенных им значений. Вот пример:

const person = {
  name: "John",
  age: 30,
};
// 'person' object is inferred as { name: string, age: number }

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

const numbers = [1, 2, 3, 4];
// 'numbers' array is inferred as number[]

1. Контекстная типизация с возвращаемыми значениями.
   TypeScript может определять типы возвращаемых функций на основе их реализации. Это позволяет во многих случаях опускать явные аннотации возвращаемого типа. Рассмотрим следующий пример:

function add(a: number, b: number) {
  return a + b;
}
// Return type of 'add' is inferred as 'number'

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