{"type":"doc","content":[{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"🔹 1. Общая форма"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function example(value: T) { ... }\n"}]},{"type":"bulletList","content":[{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" — параметр типа (generic)."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"extends Constraint"},{"type":"text","text":" — ограничение, которому "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" должен соответствовать."}]}]}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"TypeScript проверяет: можно ли "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" считать подтипом "},{"type":"text","marks":[{"type":"code"}],"text":"Constraint"},{"type":"text","text":"."},{"type":"hardBreak"},{"type":"text","text":"Если нет — компилятор выдаст ошибку."}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 1: ограничение по “форме” (shape constraint)"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function printLength(value: T) {\n console.log(value.length);\n}\n\nprintLength(\"hello\"); // ✅ string имеет length\nprintLength([1, 2, 3]); // ✅ массив имеет length\nprintLength(123); // ❌ число не имеет length\n"}]},{"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":"length: number"},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 2: ограничение по базовому типу"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function toStringValue(value: T): string {\n return value.toString();\n}\n\ntoStringValue(\"abc\"); // ✅ string\ntoStringValue(123); // ✅ number\ntoStringValue(true); // ❌ boolean не входит в допустимое объединение\n"}]},{"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":"string | number"},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 3: ограничение по интерфейсу"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"interface Identifiable {\n id: string;\n}\n\nfunction logId(obj: T) {\n console.log(obj.id);\n}\n\nlogId({ id: \"123\", name: \"Tim\" }); // ✅\nlogId({ name: \"Alex\" }); // ❌ нет id\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" обязан содержать поле "},{"type":"text","marks":[{"type":"code"}],"text":"id"},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 4: зависимые generic-параметры"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function getProp(obj: T, key: K) {\n return obj[key];\n}\n\nconst user = { id: 1, name: \"Tim\" };\n\ngetProp(user, \"id\"); // ✅\ngetProp(user, \"age\"); // ❌ \"age\" не является ключом user\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Здесь "},{"type":"text","marks":[{"type":"code"}],"text":"K"},{"type":"text","text":" зависит от "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" и ограничивается только допустимыми ключами объекта."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 5: ограничение для классов и конструкторов"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"type Constructor = new (...args: any[]) => T;\n\nfunction createInstance>(Ctor: T) {\n return new Ctor();\n}\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" должен быть конструктором (классом), чтобы его можно было создать через "},{"type":"text","marks":[{"type":"code"}],"text":"new"},{"type":"text","text":"."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 6: ограничение для словарей ("},{"type":"text","marks":[{"type":"code"}],"text":"Record"},{"type":"text","text":")"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function sumValues>(obj: T): number {\n return Object.values(obj).reduce((a, b) => a + b, 0);\n}\n\nsumValues({ a: 1, b: 2 }); // ✅\nsumValues({ x: 1, y: \"two\" }); // ❌ строка не number\n"}]},{"type":"blockquote","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":"Record"},{"type":"text","text":" означает: объект, где ключи — строки, а значения — числа."}]}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"📘 Пример 7: extends + значение по умолчанию"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function identity(value: T): T {\n return value;\n}\n\nidentity(\"hi\"); // ✅\nidentity(42); // ✅\nidentity(true); // ❌ boolean не подходит под constraint\n"}]},{"type":"horizontalRule"},{"type":"heading","attrs":{"textAlign":null,"level":2},"content":[{"type":"text","text":"⚙️ Что реально делает "},{"type":"text","marks":[{"type":"code"}],"text":"extends"},{"type":"text","text":" в generic-параметрах"}]},{"type":"orderedList","attrs":{"start":1,"type":null},"content":[{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"🔒 "},{"type":"text","marks":[{"type":"bold"}],"text":"Ограничивает подставляемый тип"},{"type":"text","text":" — "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":" должен "},{"type":"text","marks":[{"type":"italic"}],"text":"расширять"},{"type":"text","text":" (быть подтипом) указанного типа."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"🧩 "},{"type":"text","marks":[{"type":"bold"}],"text":"Делает свойства гарантированными"},{"type":"text","text":" — вы можете обращаться к ним без ошибок."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"🧠 "},{"type":"text","marks":[{"type":"bold"}],"text":"Улучшает вывод типов (type inference)"},{"type":"text","text":" — TS знает больше о возможной структуре "},{"type":"text","marks":[{"type":"code"}],"text":"T"},{"type":"text","text":"."}]}]},{"type":"listItem","content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"💬 "},{"type":"text","marks":[{"type":"bold"}],"text":"Не создаёт наследование!"},{"type":"text","text":" — это не "},{"type":"text","marks":[{"type":"code"}],"text":"extends"},{"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":"text","marks":[{"type":"code"}],"text":"extends"},{"type":"text","text":" → ошибка"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function getLength(value: T): number {\n return value.length; // ❌ TS Error: у T может не быть length\n}\n"}]},{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"✅ Исправлено:"}]},{"type":"codeBlock","attrs":{"language":"javascript"},"content":[{"type":"text","text":"function getLength(value: T) {\n return value.length; // OK\n}\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":"text","marks":[{"type":"code"}],"text":"extends"}]}]},{"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","text":"Ограничение по форме"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":""}]}]},{"type":"tableCell","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","text":"Ограничение по объединению"}]}]},{"type":"tableCell","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","text":"Ограничение по интерфейсу"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":""}]}]},{"type":"tableCell","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","text":"Зависимость параметров"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":""}]}]},{"type":"tableCell","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","text":"Ограничение класса"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":" any>"}]}]},{"type":"tableCell","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","text":"Ограничение словаря"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","marks":[{"type":"code"}],"text":">"}]}]},{"type":"tableCell","attrs":{"colspan":1,"rowspan":1,"colwidth":null},"content":[{"type":"paragraph","attrs":{"textAlign":null},"content":[{"type":"text","text":"Объекты с определённым типом значений"}]}]}]}]},{"type":"paragraph","attrs":{"textAlign":null}}]}

extends в generic-параметрах

Комментарии