{"type":"doc","content":[{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 1. Что такое "},{"type":"text","marks":[{"type":"code"}],"text":"never"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Тип "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" означает:"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"“значение, которое "},{"type":"text","marks":[{"type":"bold"}],"text":"никогда не может существовать"},{"type":"text","text":"”."}]}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Примеры:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function fail(): never {\n throw new Error(\"Error!\");\n}\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" — подтип "},{"type":"text","marks":[{"type":"bold"}],"text":"всех типов"},{"type":"text","text":", но "},{"type":"text","marks":[{"type":"bold"}],"text":"никто не является подтипом "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"кроме самого "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 2. Что делает "},{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? X : Y"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Это "},{"type":"text","marks":[{"type":"bold"}],"text":"условный тип"},{"type":"text","text":" (conditional type), который можно прочитать как:"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"“Если тип "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" — это "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":", вернуть "},{"type":"text","marks":[{"type":"code"}],"text":"X"},{"type":"text","text":", иначе — "},{"type":"text","marks":[{"type":"code"}],"text":"Y"},{"type":"text","text":".”"}]}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Пример:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Check = T extends never ? \"YES\" : \"NO\";\n\ntype A = Check; // \"YES\"\ntype B = Check; // \"NO\"\ntype C = Check; // \"NO\"\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅ "},{"type":"text","marks":[{"type":"code"}],"text":"A"},{"type":"text","text":" вернёт "},{"type":"text","marks":[{"type":"code"}],"text":"\"YES\""},{"type":"text","text":", потому что "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" действительно "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 3. Но! Особенность: условные типы "},{"type":"text","marks":[{"type":"bold"}],"text":"распределяются"},{"type":"text","text":" по union-типам"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Если "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" — объединение ("},{"type":"text","marks":[{"type":"code"}],"text":"A | B | C"},{"type":"text","text":"),"},{"type":"hardBreak"},{"type":"text","text":"TypeScript "},{"type":"text","marks":[{"type":"bold"}],"text":"применяет условие отдельно к каждому члену"},{"type":"text","text":"."}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Example = T extends never ? \"Y\" : \"N\";\n\ntype R1 = Example;\n// Step-by-step:\n// string → \"N\"\n// never → \"Y\"\n// number → \"N\"\n// R1 = \"N\" | \"Y\" | \"N\" → \"N\" | \"Y\"\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💡 Даже если внутри union есть "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":","},{"type":"hardBreak"},{"type":"text","text":"он "},{"type":"text","marks":[{"type":"bold"}],"text":"“растворяется”"},{"type":"text","text":" (не влияет), и итог остаётся "},{"type":"text","marks":[{"type":"code"}],"text":"\"N\""},{"type":"text","text":" | "},{"type":"text","marks":[{"type":"code"}],"text":"\"Y\""},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 4. Почему "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" иногда \"пропадает\" в union’ах"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" — “поглощающий” элемент объединений:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"string | never // → string\nnumber | never // → number\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Поэтому при подстановке в "},{"type":"text","marks":[{"type":"code"}],"text":"T extends ..."},{"type":"text","text":" —"},{"type":"hardBreak"},{"type":"text","text":"если "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" "},{"type":"text","marks":[{"type":"bold"}],"text":"вообще не существует"},{"type":"text","text":" (например, после фильтрации),"},{"type":"hardBreak"},{"type":"text","text":"результат не распределяется и может превратиться в "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":"."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 1: Проверка “пустого” типа"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type IsNever = [T] extends [never] ? true : false;\n\ntype A = IsNever; // true\ntype B = IsNever; // false\ntype C = IsNever; // false\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Почему квадратные скобки?"},{"type":"hardBreak"},{"type":"text","text":"Они "},{"type":"text","marks":[{"type":"bold"}],"text":"отключают дистрибутивность"},{"type":"text","text":", и проверка выполняется для типа целиком,"},{"type":"hardBreak"},{"type":"text","text":"а не для каждого члена union."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 2: Без скобок — результат неожиданен"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type IsNeverDistributive = T extends never ? true : false;\n\ntype A = IsNeverDistributive; // never (!) — а не true\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"❗ Потому что условный тип “распределился” по пустому множеству ("},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" → нет членов → нет результата)."},{"type":"hardBreak"},{"type":"text","text":"Поэтому результат стал "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":", а не "},{"type":"text","marks":[{"type":"code"}],"text":"true"},{"type":"text","text":"."}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅ Исправление:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type IsNever = [T] extends [never] ? true : false;\n"}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 3: Использование в фильтрации типов"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type FilterNever = T extends never ? never : T;\n\ntype A = FilterNever;\n// string | number\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"“Отфильтровали” все "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" из union-типа."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 4: Проверка в условных утилитах"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type SafeReturn = T extends never ? \"No value\" : T;\n\ntype A = SafeReturn; // \"No value\"\ntype B = SafeReturn<\"ok\">; // \"ok\"\n"}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"⚙️ Коротко про механику"}]},{"type":"table","content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Ситуация"}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Что происходит"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"never extends never"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅ true"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"never extends anything else"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅ true (так как "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" — подтип всех типов)"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"something extends never"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"❌ false (кроме "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" самого)"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? X : Y"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Вернёт "},{"type":"text","marks":[{"type":"code"}],"text":"X"},{"type":"text","text":", только если "},{"type":"text","marks":[{"type":"code"}],"text":"T === never"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? X : Y"},{"type":"text","text":" (с union)"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Распределяется по каждому члену union"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"[T] extends [never] ? X : Y"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Проверяет "},{"type":"text","marks":[{"type":"italic"}],"text":"весь тип"},{"type":"text","text":" без распределения"}]}]}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"✅ Итого"}]},{"type":"table","content":[{"type":"tableRow","content":[{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Проверка"}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Поведение"}]}]},{"type":"tableHeader","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Пример"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Простая проверка"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? X : Y"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"Check"},{"type":"text","text":" → "},{"type":"text","marks":[{"type":"code"}],"text":"X"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Неожиданное распределение"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" = "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" даёт "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":", не "},{"type":"text","marks":[{"type":"code"}],"text":"X"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"IsNeverDistributive"},{"type":"text","text":" → "},{"type":"text","marks":[{"type":"code"}],"text":"never"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Правильная проверка"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"[T] extends [never] ? X : Y"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"IsNever"},{"type":"text","text":" → "},{"type":"text","marks":[{"type":"code"}],"text":"true"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Фильтрация"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? never : T"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Убирает "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" из union"}]}]}]},{"type":"tableRow","content":[{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"bold"}],"text":"Причина"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":" — “пустое множество типов”"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Не содержит значений, но подтип любого типа"}]}]}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":3},"content":[{"type":"text","text":"💬 Проще говоря"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T extends never ? X : Y"},{"type":"text","text":" — условный тип для проверки “пустоты”."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Но при "},{"type":"text","marks":[{"type":"code"}],"text":"T = never"},{"type":"text","text":" он сам превращается в "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":"."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Чтобы корректно проверить “является ли тип "},{"type":"text","marks":[{"type":"code"}],"text":"never"},{"type":"text","text":"”, нужно "},{"type":"text","marks":[{"type":"bold"}],"text":"завернуть тип в кортеж"},{"type":"text","text":":"},{"type":"hardBreak"},{"type":"text","marks":[{"type":"code"}],"text":"type IsNever = [T] extends [never] ? true : false;"}]}]}]},{"type":"paragraph","attrs":{"textAlign":null}}]}

T extends never

Комментарии