В чём разница между any и never?

Question

any представляет любой возможный тип и отключает проверку типов, а never представляет тип значений, которые никогда не occur (не возникают). any - это супертип всех типов, а never - это подтип всех типов. any означает "любой тип", а never - "никакой тип".

YeaHub · Accepted Answer

Разница между any и neverЭти два типа представляют противоположные концепции в системе типов TypeScript.Тип anyany полностью отключает проверку типов:typescriptlet variable: any = "строка"; variable = 42; // OK variable = true; // OK variable = [1, 2, 3]; // OK // Никаких проверок типов variable.nonExistentMethod(); // Ошибка только в runtimeКогда использовать any:При миграции с JavaScriptПри работе с динамическими даннымиВременно, когда тип неизвестенТип nevernever представляет значения, которые никогда не возникают:typescript// Функция, которая всегда выбрасывает ошибку function throwError(message: string): never { throw new Error(message); } // Функция с бесконечным циклом function infiniteLoop(): never { while (true) { // ... } } // Проверка исчерпывающей полноты type Shape = "circle" | "square"; function getArea(shape: Shape): number { switch (shape) { case "circle": return Math.PI; case "square": return 1; default: const exhaustiveCheck: never = shape; return exhaustiveCheck; } }Ключевые различия1. Совместимость типовtypescript// any совместим с любым типом let a: any; let b: number = a; // OK let c: string = a; // OK // never совместим только с never let n: never; // let x: number = n; // Ошибка! // let y: string = n; // Ошибка! let z: never = n; // OK2. В объединениях и пересеченияхtypescript// В объединениях type T1 = string | any; // any type T2 = string | never; // string // В пересечениях type T3 = string & any; // any type T4 = string & never; // neverПрактическое применение1. Защита от необработанных случаевtypescripttype Action = "CREATE" | "UPDATE" | "DELETE"; function handleAction(action: Action) { switch (action) { case "CREATE": /* ... */ break; case "UPDATE": /* ... */ break; // case "DELETE": забыли обработать default: const unexpected: never = action; throw new Error(`Необработанное действие: ${unexpected}`); } }2. Фильтрация типовtypescript// Удаляет null и undefined из типа type NonNullable = T extends null | undefined ? never : T; type A = NonNullable; // string type B = NonNullable; // number type C = NonNullable; // boolean3. Обработка ошибокtypescriptfunction processData(data: string): string | never { if (!data) { throw new Error("Данные обязательны"); } return data.toUpperCase(); } const result = processData(""); // Выбрасывает ошибку - тип neverКогда использоватьИспользуйте any:Для постепенной миграции с JavaScriptПри работе со сторонними библиотеками без типовВременно, когда тип сложно выразитьИспользуйте never:Для функций, которые всегда выбрасывают исключенияДля обработки исчерпывающих проверокВ условных типах для фильтрацииВывод: any отключает систему типов и должен использоваться минимально, тогда как never усиливает типобезопасность, описывая невозможные состояния и обеспечивая полноту проверок.