TS7006: параметр неявно имеет тип any

Здесь будет встроен видео-разбор темы (5–7 минут, YouTube / RuTube / VK Видео) — тем, кто лучше воспринимает на слух, текст ниже не обязателен.

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

ts

let width = 100; // значение видно прямо здесь — тип number выведен
function area(w) {
  return w * 2;
}
console.log(area(width));

страница примера

Сначала предположите, что выведет код

Диагностика приходит на вторую строку: Параметр "w" неявно имеет тип "any". Ключевое слово здесь — «неявно»: any в коде никто не писал, компилятор подставил его сам, потому что других вариантов у него не было. Проверка noImplicitAny, которая входит в strict, запрещает делать это молча.

Обратите внимание, что вызов area(width) стоит строкой ниже и аргумент там очевидно число — а тип всё равно не вывелся. Компилятор смотрит на объявление функции и только на него.

Соблазн понятный: вызов один, аргумент числовой, бери и выводи. Но сигнатура функции — это её договор с остальной программой, а не итог наблюдения за сегодняшними вызовами. Функцию позовут из другого файла, из колбэка, через год. Если бы её тип пересобирался по всем найденным вызовам, добавление одной новой строки где-то в углу проекта меняло бы тип функции и роняло проверки в местах, которых никто не трогал.

Вывод «по месту вызова» в TypeScript всё-таки есть — но он выводит не сигнатуру, а подстановку в дженерик, и делает это отдельно для каждого вызова. До дженериков дойдём в седьмой главе.

Отмахнуться от TS7006 легко: код же работает. Беда в том, что any не остаётся в той строке, где появился.

ts

function first(list) {
  return list[0];
}
const name = first(["Аня", "Борис"]);
console.log(name.toUpperCase());
console.log(name.toFixed(2));

страница примера

Сначала предположите, что выведет код

Диагностика ровно одна и указывает на первую строку. Ломается — последняя. Для компилятора обе последние строки одинаково законны: first вернула any, константа name стала any, а у значения типа any можно вызвать что угодно. Разницу нашёл уже движок.

TS7006 сообщает не «вы не дописали тип», а «с этого места я перестал проверять».

Второй пример короче, зато нагляднее: тут падение случается прямо в той же функции, где живёт неявный any.

ts

function shout(text) {
  return text.toUpperCase();
}
console.log(shout("привет"));
console.log(shout(42));

страница примера

Сначала предположите, что выведет код

Компилятор ругнулся на объявление и промолчал про вызов с числом — параметру типа any можно передать что угодно. И заметьте: диагностика не отменила выполнение. Так же ведёт себя tsc по умолчанию — он выдаёт JavaScript даже при ошибках типов, потому что типы живут только на этапе сборки.

Лечится одним двоеточием. Тот же shout, отличие в одном слове.

ts

function shout(text: string) {
  return text.toUpperCase();
}
console.log(shout("привет"));
console.log(shout(42));

страница примера

Сначала предположите, что выведет код

Главное здесь — куда переехала диагностика: с объявления на вызов, на пятую строку. Это и есть смысл аннотации. Было «я не знаю, что тут», стало «сюда нельзя передавать число» — и сказано это ровно в том месте, где написана ошибка.

Аннотировать нужно только вход. Что функция возвращает, компилятор посчитает сам.

ts

function area(width: number, height: number) {
  return width * height;
}
const size = area(3, 4);
console.log(size.toFixed(1));

страница примера

Сначала предположите, что выведет код

Метод toFixed в последней строке разрешён именно потому, что вывод возврата сработал: size — это number, а не any. Возвращаемый тип пишут отдельно, когда его хотят зафиксировать как договор, но это тема главы «Функции в типах».

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

ts

function greet(name = "гость") {
  return "Привет, " + name;
}
console.log(greet());
console.log(greet("Рико"));
console.log(greet(42));

страница примера

Сначала предположите, что выведет код

Если у параметра есть значение по умолчанию, TS7006 не будет: компилятору хватило и такого значения.

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

ts

const prices = [120, 340, 90];
const withVat = prices.map((price) => price * 1.2);
console.log(withVat);

страница примера

Сначала предположите, что выведет код

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

ts

const prices = [120, 340, 90];
const withVat = (price) => price * 1.2;
console.log(prices.map(withVat));

страница примера

Сначала предположите, что выведет код

Функция буквально та же, а диагностика вернулась. В момент объявления она лежит в обычной константе, и никто не обещал, что её отдадут в map массива чисел, — может, её вообще не вызовут. Это самое частое «я же ничего не менял» в TypeScript: вынесли колбэк из вызова, чтобы не мешался, и он тут же потерял типы.

Способа два, и они уже знакомы: аннотация на параметре — либо тип на самой константе, который и станет контекстом.

ts

type Vat = (price: number) => number;
const withVat: Vat = (price) => price * 1.2;
const prices = [120, 340, 90];
console.log(prices.map(withVat));

страница примера

Сначала предположите, что выведет код

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

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

ts

function show({ name, age }) {
  console.log(name, age);
}
show({ name: "Рико", age: 30 });

страница примера

Сначала предположите, что выведет код

Здесь код другой — TS7031, «Элемент привязки ... имеет неявный тип "any"», и диагностик сразу две: имена из деструктуризации компилятор считает по отдельности. Аннотация вешается не на каждое имя, а на связку целиком: function show({ name, age }: { name: string; age: number }).

Пустой массив — отдельный сюжет. Пока переменную заполняют рядом, компилятор следит за присваиваниями и уточняет тип по ходу; этот механизм называют «развивающимся any». Но следить он умеет только в пределах одного потока выполнения.

ts

let items = [];
function add(value: string) {
  items.push(value);
}
add("первый");
console.log(items);

страница примера

Сначала предположите, что выведет код

Две диагностики из-за одного не написанного типа: TS7034 на объявление и TS7005 на чтение. Лечение прежнее — сказать вслух: let items: string[] = [].

И третий случай, знакомый по части I: this в обычной функции.

ts

function report() {
  console.log(this.title);
}
report();

страница примера

Сначала предположите, что выведет код

Код диагностики — TS2683, и здесь компилятор оказался прав дважды. Вывод TypeScript строгий, а значит, в готовом коде появляется "use strict", и this при обычном вызове равен undefined — ровно то, о чём была глава про контекст. Компилятор предупредил, предупреждение проигнорировали, движок уронил.

Код	Где вылезает	Что говорит компилятор
TS7006	параметр функции	Параметр "w" неявно имеет тип "any".
TS7031	имя из деструктуризации в параметрах	Элемент привязки "name" имеет неявный тип "any".
TS7034	объявление переменной без типа и без внятного значения	Переменная "items" неявным образом получает тип "any[]" в некоторых местах, где ее тип невозможно определить.
TS7005	чтение такой переменной	Переменная "items" неявно имеет тип "any[]".
TS2683	`this` в обычной функции	this неявно содержит тип any, так как он не имеет аннотации типа.

Первое, что находится по запросу «TS7006», — совет поставить "noImplicitAny": false. Совет работает ровно так, как обещано, и стоит дороже, чем выглядит.

Флаг не точечный: он гасит проверку во всём проекте, а не в той строке, где вы торопитесь. Каждый следующий забытый параметр молча станет any — и потащит за собой всё, что из него достанут, как в примере с first. Правило само по себе входит в strict, так что выключение — это осознанное «строго, но вот эту проверку не надо».

Главное же: TS7006 не запрещает any. Он запрещает any молча. Напишите его руками — и компилятор замолчит без всяких флагов.

ts

function shout(text: any) {
  return text.toUpperCase();
}
console.log(shout("привет"));
console.log(shout(42));

страница примера

Сначала предположите, что выведет код

От того же shout без аннотации этот код отличается одним словом, и поведение у них одинаковое — падение то же самое. Разница в другом: any теперь виден. Его найдёт поиск по проекту, на него настроено правило линтера, его заметят на ревью. Неявный any не видит никто.

А если тип и правда заранее неизвестен, есть дверь получше — unknown: он тоже принимает что угодно, но требует разобраться, прежде чем что-то делать.

ts

function shout(text: unknown) {
  // unknown нельзя трогать без проверки — компилятор заставит её написать
  if (typeof text === "string") return text.toUpperCase();
  return String(text);
}
console.log(shout("привет"), shout(42));

страница примера

Сначала предположите, что выведет код

Чем unknown отличается от any и почему выбирать почти всегда стоит его — в следующей статье главы.

TS7006 появляется там, где выводить не из чего: у параметра нет значения до вызова, а на вызовы компилятор не смотрит.
Неявный any — не про стиль: он гасит проверки не в одной строке, а во всём, что из этого значения получилось.
Лечится аннотацией параметра, значением по умолчанию или типом на самой функции; возврат компилятор выведет сам.
У колбэка внутри вызова тип берётся из контекста — но стоит вынести его в отдельную константу, и TS7006 возвращается.
Рядом живут TS7031 (деструктуризация), TS7034 и TS7005 (переменная без типа), TS2683 (this) — причина у них общая.
Выключать noImplicitAny нечестно: он запрещает не any, а молчаливый any. Нужен любой тип — пишите any руками, а лучше unknown.

1/4Функция area(w) объявлена без аннотации, а строкой ниже вызвана как area(100). Почему компилятор не вывел для w тип number?

2/4Стрелка (price) => price * 1.2 прямо внутри prices.map(...) не вызывает TS7006, а она же, вынесенная в отдельную константу, — вызывает. В чём разница?

3/4Параметр неявно имеет тип any, внутри функции у него вызывают toUpperCase(), а саму функцию зовут с числом. Что произойдёт в песочнице?

4/4Что на самом деле делает "noImplicitAny": false?

Убрать три TS7006

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

ts

function describe(name, age, isAdmin) {
  return name + ", " + age + " лет" + (isAdmin ? ", админ" : "");
}
console.log(describe("Рико", 30, true)); // Рико, 30 лет, админ

страница примера

Сначала предположите, что выведет код

Каждый параметр получает свою аннотацию; тип возврата дописывать не нужно — компилятор выведет string сам.

tsлистинг · не запускается

function describe(name: string, age: number, isAdmin: boolean) {
  return name + ", " + age + " лет" + (isAdmin ? ", админ" : "");
}
console.log(describe("Рико", 30, true)); // Рико, 30 лет, админ

function describe(name: string, age: number, isAdmin: boolean) {
  return name + ", " + age + " лет" + (isAdmin ? ", админ" : "");
}
console.log(describe("Рико", 30, true)); // Рико, 30 лет, админ

Проверить, что аннотации работают, проще всего вызовом с неправильным аргументом: describe(30, "Рико", true) теперь даст TS2345 на строке вызова, а раньше прошёл бы молча.

Колбэк, потерявший типы

Пока перебор был написан одной строкой, диагностик не было. Колбэк вынесли в отдельную функцию — появился TS7006. Верните типы, не возвращая код обратно в вызов.

ts

const words = ["раз", "два", "три"];
function toLength(word) {
  return word.length;
}
console.log(words.map(toLength)); // [3, 3, 3]

страница примера

Сначала предположите, что выведет код

Вне вызова контекста нет, поэтому тип нужно назвать самому.

tsлистинг · не запускается

const words = ["раз", "два", "три"];
function toLength(word: string) {
  return word.length;
}
console.log(words.map(toLength)); // [3, 3, 3]

const words = ["раз", "два", "три"];
function toLength(word: string) {
  return word.length;
}
console.log(words.map(toLength)); // [3, 3, 3]

Если колбэк — стрелка в константе, аккуратнее описать её целиком отдельным типом: тогда проверится и возврат, а не только вход.

tsлистинг · не запускается

type ToLength = (word: string) => number;
const toLength: ToLength = (word) => word.length;

type ToLength = (word: string) => number;
const toLength: ToLength = (word) => word.length;

Пустой массив

Здесь диагностик две и коды разные — TS7034 на объявление и TS7005 на чтение. Почините одной правкой и объясните себе, почему без функции add тот же код был бы чистым.

ts

let items = [];
function add(value: string) {
  items.push(value);
}
add("первый");
console.log(items); // ["первый"]

страница примера

Сначала предположите, что выведет код

Правка одна — аннотация на объявлении.

tsлистинг · не запускается

let items: string[] = [];
function add(value: string) {
  items.push(value);
}
add("первый");
console.log(items); // ["первый"]

let items: string[] = [];
function add(value: string) {
  items.push(value);
}
add("первый");
console.log(items); // ["первый"]

Без функции — let items = []; items.push("первый"); — компилятор молчит: он видит весь путь значения подряд и уточняет тип по присваиваниям, это «развивающийся any». Как только заполнение уезжает в отдельную функцию, порядок вызовов ему неизвестен, следить больше не за чем — и он требует сказать тип вслух.

TS7006: параметр неявно имеет тип any

Видеоразбор темы за 5–7 минут

Откуда берётся неявный anyПеременную компилятор выводит, параметр — нет

Чем оборачивается молчаниеОдна пропущенная аннотация гасит проверки далеко от себя

Аннотация: скучное и правильное лечениеДвоеточие и тип — и диагностика переезжает к настоящей ошибке

Контекстная типизацияГде аннотация не нужна — и где она внезапно нужна снова

Другие обличья неявного anyДеструктуризация, пустой массив и this — те же грабли под другими кодами

Почему не выключить noImplicitAnyФлаг снимает не проблему, а сообщение о ней

Итогошпаргалка по теме

Проверьте себявопросы по теме

Задачизадачи с решениями

Убрать три TS7006

Колбэк, потерявший типы

Пустой массив