Блог

Я создал надуманный пример (Typescript Playground), чтобы попытаться проиллюстрировать мою проблему. foo , bar и baz являются взаимоисключающими. Я только ищу решение, которое сохраняет XYZ в качестве типа параметр моей функции. Я уже понимаю, что этот тип X здесь подошел бы.

 type X = { foo: string; bar?: undefined; baz?: undefined }
type Y = { foo?: undefined; bar: string; baz?: undefined }
type Z = { foo?: undefined; bar?: undefined; baz: string; }
type XYZ = X | Y | Z;

function foo(xyz: XYZ): string | undefined {
    return xyz.foo;
}
  

В идеале мне нужно было бы определить только требуемые части:

 type X = { foo: string };
type Y = { bar: string };
type Z = { baz: string };
  

Но без избыточности я получаю это сообщение об ошибке:

 Property 'foo' does not exist on type 'XYZ'.
  Property 'foo' does not exist on type 'Y'.
  

Я пробовал это, но в итоге получаю типы, которые выглядят как undefined amp; string :

 type XYZ = { foo?: undefined; bar?: undefined; baz?: undefined } amp; (X | Y | Z);
  

Я думаю, вы ищете amp; (тип пересечения), а не | (тип объединения):

 type X = { foo: string };
type Y = { bar: string };
type Z = { baz: string };
type XYZ = X amp; Y amp; Z;
  

Из документации по типам пересечений:

Тип пересечения объединяет несколько типов в один. Это позволяет вам объединить существующие типы, чтобы получить единый тип, обладающий всеми необходимыми функциями. Например, Person amp; Serializable amp; Loggable это Person и Serializable и Loggable . Это означает, что объект этого типа будет содержать все элементы всех трех типов.

Работаем на игровой площадке.

Тем не менее, если вы говорите, что когда foo существует, bar и baz должно быть неопределенным, я думаю, вы бы придерживались типа пересечения, но тогда вам нужно сообщить TypeScript, что вы знаете о foo существовании, прежде чем использовать его, выполнив утверждение типа. Потому что в противном случае он не может знать, что вы имеете дело с X , а не с Y or Z . Например.:

 type X = { foo: string };
type Y = { bar: string };
type Z = { baz: string };
type XYZ = X | Y | Z;

function foo(xyz: XYZ): string | undefined {
    if ("foo" in xyz) { // Or whatever appropriate check
        return (xyz as X).foo;
    }
    return undefined;
}
  

На игровой площадке.

Я не думаю, что есть способ сделать это без утверждения типа. (Но опять же, я не Тициан Черникова-Драгомир. 🙂 )

Другой вариант — использовать перегрузки функций, но вы конкретно сказали, что хотите сохранить XYZ , и для этого все равно потребуется наличие логики для определения того, с чем вы имеете дело, с утверждениями типа.