Реализация `Required` использует модификатор `-?`, который явно удаляет опциональность: ```typescript // Встроенная реализация type Required = { [P in keyof T]-?: T[P]; }; ``` ```typescript interface Config { host?: string; port?: number; debug?: boolean; } type FullConfig = Required; // { // host: string; // port: number; // debug: boolean; // } // Теперь все поля обязательны const config: FullConfig = { host: "localhost", port: 3000, debug: false, }; ``` ## 📌 Реальные кейсы **Валидированная конфигурация:** ```typescript interface AppOptions { apiUrl?: string; timeout?: number; retries?: number; verbose?: boolean; } function validateOptions(opts: AppOptions): Required { return { apiUrl: opts.apiUrl ?? "https://api.example.com", timeout: opts.timeout ?? 5000, retries: opts.retries ?? 3, verbose: opts.verbose ?? false, }; } const raw: AppOptions = { apiUrl: "https://my-api.com" }; const validated = validateOptions(raw); // validated.timeout гарантированно number, не number | undefined console.log(validated.timeout.toFixed(0)); // безопасно ``` **Объект после загрузки из БД (все поля заполнены):** ```typescript interface UserRow { id?: number; name?: string; email?: string; createdAt?: Date; } type LoadedUser = Required; function findUserById(id: number): LoadedUser { // Из БД приходит полный объект return { id, name: "Мария", email: "maria@example.com", createdAt: new Date(), }; } ``` **Required + Pick для конкретных полей:** ```typescript interface FormData { username?: string; email?: string; bio?: string; avatar?: string; } // Только username и email обязательны type SubmitData = Required> & Omit; const submit: SubmitData = { username: "ivan", email: "ivan@mail.ru", // bio и avatar по-прежнему опциональны }; ``` ## Частые ошибки ❌ Думать, что `Required` убирает `undefined` из union-типа значений: ```typescript interface Data { value?: string | undefined; } type FullData = Required; // value: string | undefined — undefined остаётся в union типа! // Required убирает только модификатор ?, но не undefined из типа значения ``` ✅ Если нужно убрать и `undefined` из значения: ```typescript type StrictData = { [K in keyof Data]-?: NonNullable; }; // value: string — теперь точно string ``` ## Резюме `Required` делает все свойства обязательными, убирая `?`. Используется для валидированных конфигов, загруженных из БД данных и любых ситуаций, где все поля гарантированно заполнены. Для частичной обязательности комбинируй с `Pick`. Помни: `Required` убирает `?`, но не `undefined` из union типа значения. ---

Что такое Required<T>?