Можно ли заставить TypeScript понять следующее назначение общего объекта?

Я не вижу хорошей документации по конкретной вещи, которую вы здесь видите (самая близкая, которую я нашел, это ms/TS#56905 ), но в целом TypeScript не знает, как правильно выполнять многие операции с типами общие типы. Часто он либо откладывает вычисление (а затем отказывается рассматривать действительные вещи как возможные для него), либо охотно сводит параметр универсального типа к его ограничению (а затем ошибочно допускает небезопасные события).

В общем, должно быть верно, что (X & Y)[K] можно назначить X[K] (при условии, что K известно как ключ X). И для конкретных типов X, Y и K TypeScript может это проверить, но только потому, что он просто полностью оценивает пересечение и индексированный доступ. Но когда K является параметром универсального типа, TypeScript не может его проверить. Это откладывает оценку и оставляет ее как некую непрозрачную вещь:

const selectedObject = obj[key];
//    ^? const selectedObject: Obj<Type>[T]

Тип Obj<Type> не кодирует напрямую корреляцию между каждым ключом T и типом InnerObject<T>. Это представлено только косвенно через пересечение. И поэтому TypeScript его не видит:

const selectedObject: InnerObject<T> | undefined = obj[key]; // error!

Ошибка — это то, что вы получите, если попытаетесь присвоить obj[key]InnerObject<K> для некоторого общего K, не связанного с key. Единственный способ, при котором присвоение было бы безопасным, - это если бы obj[key] имело тип InnerObject<K> для всех возможных K, и именно здесь, похоже, происходит «перекрестное присвоение».

Если вы хотите, чтобы ваше задание прошло успешно, вам нужно помочь TypeScript увидеть операцию более прямой. Если у вас есть сопоставленный тип 🔁 формы {[P in K]: F<P>}и вы индексируете его с помощью ключа K, то TypeScript увидит его как назначаемый F<K>. По сути, это тип распространяемого объекта, как описано в microsoft/TypeScript#47109. У вас есть необходимый сопоставленный тип как часть определения Obj<K>, поэтому вы сможете безопасно расширить любой Obj<K> до этой части.

Это дает следующий подход:

function getInnerObject<T extends Type>(key: T) {
    const o: { [P in Type]?: InnerObject<P> } = obj; // widen
    const selectedObj: InnerObject<T> | undefined = o[key] // index into widened thing
    const defaultObj = obj['one']
}

Сначала мы расширяем obj от Obj<Type> до o типа {[P in Type]?: InnerObject<P>}. Такое расширение разрешено, поскольку оно идентично одному члену пересечения, а TypeScript допускает расширение от X & Y до X. Затем мы индексируем этот сопоставленный тип с помощью общего key типа T, поэтому TypeScript видит результирующее значение как присваиваемое InnerObject<T> | undefined.

Обратите внимание, что вы все еще сохраняете значение obj для дальнейшего использования. Переменная o существовала только для безопасного выполнения расширения. Вы могли бы сделать это без другой переменной, используя безопасное расширение x satisfies T as T, где satisfies проверяет тип и as расширяет его:

type OT = { [P in Type]?: InnerObject<P> };
const selectedObj: InnerObject<T> | undefined = (obj satisfies OT as OT)[key];

Детская площадка, ссылка на код