Чи є спосіб "витягти" тип властивості інтерфейсу TypeScript?

Question 1

Припустимо, є файл набору тексту для бібліотеки X, який включає деякі інтерфейси.

interface I1 {
    x: any;
}

interface I2 {
    y: {
        a: I1,
        b: I1,
        c: I1
    }
    z: any
}

Для роботи з цією бібліотекою мені потрібно передати об'єкт, який має абсолютно той самий тип, що і I2.y. Звичайно, я можу створити ідентичний інтерфейс у своїх вихідних файлах:

interface MyInterface {
    a: I1,
    b: I1,
    c: I1
}

let myVar: MyInterface;

але тоді я отримую тягар підтримати його в курсі того, що з бібліотеки, до того ж він може бути дуже великим і призвести до великої кількості копій коду.

Отже, чи є спосіб "витягти" тип цієї специфічної властивості інтерфейсу? Щось схоже на let myVar: typeof I2.y(що не працює і призводить до помилки "Не вдається знайти ім'я I2"). Заздалегідь спасибі.

Редагувати : трохи погравши в TS Playground, я помітив, що наступний код досягає саме того, що я хочу:

declare var x: I2;
let y: typeof x.y;

Однак для цього потрібно xоголосити надлишкову змінну . Я шукаю спосіб досягти цього без цієї заяви.

Question 2

Раніше це було неможливо, але на щастя це можливо зараз, оскільки TypeScript версії 2.1 . Він був випущений 7 грудня 2016 року і в ньому представлені індексовані типи доступу, які також називаються типами пошуку .

Синтаксис виглядає точно так само, як доступ до елементів, але записаний замість типів. Отже, у вашому випадку:

interface I1 {
    x: any;
}

interface I2 {
    y: {
        a: I1,
        b: I1,
        c: I1
    }
    z: any
}

let myVar: I2['y'];  // indexed access type

Зараз myVarмає типI2.y .

Перевірте це на TypeScript Playground .

Question 3

Інтерфейс схожий на визначення об'єкта. Тоді y - це властивість вашого об'єкта I2, тобто певного типу, в такому випадку "анонімним".

Ви можете використати інший інтерфейс для визначення y, а потім використовувати його як ваш тип y, наприклад

interface ytype {
   a: I1;
   b: I1;
   c: I1;
}

interface I2 {
    y: ytype;
    z: any;
}

Ви можете розмістити свій інтерфейс у файлі та використовувати витяг, щоб ви могли імпортувати його в інші файли своїх проектів

export interface ytype {
   a: I1;
   b: I1;
   c: I1;
}



 export interface I2 {
        y: ytype;
        z: any;
    }

Ви можете імпортувати його таким чином:

   import {I1, I2, ytype} from 'your_file'