Блог

итак, позвольте мне углубиться в пример:

 type NodeOrMethod<T> =
    | {
          node?: Array<Filter<T>>;
          method: Condition<T>;
      }
    | {
          node: Array<Filter<T>>;
          method?: Condition<T>;
      };

interface BaseFilter {
    label: string;
    value?: string;
}

export type Filter<T> = BaseFilter amp; NodeOrMethod<T>;
  

По сути, я хочу сделать так, чтобы разработчик должен был либо включить node , либо method — что в настоящее время работает; однако я хочу сделать еще один шаг и сказать, что ЕСЛИ один из них присутствует, другого БЫТЬ НЕ МОЖЕТ. Поэтому, если они попытаются включить оба node и method в один и тот же объект, он будет жаловаться. Кто-нибудь делал что-то подобное раньше?

Я бы, вероятно, использовал помеченные объединения (см. Соответствующий раздел документов) для того, что вы пытаетесь сделать, что-то вроде

 type Node<T> = {
    type: 'node',
    node: Array<Filter<T>>;
}
type Method<T> = {
    type: 'method',
    method: Condition<T>;
}
type NodeOrMethod<T> = Node<T> | Method<T>;

cost a: NodeOrMethod<T> = { // valid
  type: 'node',
  node: [...]
}

cost b: NodeOrMethod<T> = { // valid
  type: 'method',
  method: ...
}

cost c: NodeOrMethod<T> = { // type error
  type: 'method',
  node: [...],
  method: ...
}
  

<a rel="noreferrer noopener nofollow" href="https://www.typescriptlang.org/play/#src=type NodeT = {
type: ‘node’,
node: T
}

type MethodT = {
type: ‘method’,
method: T
}

type NodeOrMethod = NodeT | MethodT

const a: NodeOrMethod = {
type: ‘method’,
method: 123
}

const b: NodeOrMethod = {
type: ‘node’,
node: 123
}

const c: NodeOrMethod = {
type: ‘method’,
node: 123
}» rel=»nofollow noreferrer»>Пример

Философия узла / JS на самом деле так не работает. Объектам предоставляется разрешение иметь на них все, что они хотят, и потребляющий код обращает внимание только на то, что его волнует. Некоторые способы справиться с этим включают:

• Используйте заводские методы для обеспечения правильного создания экземпляров ваших объектов
• Имейте свойство «тип», которое указывает, смотреть ли на узел или метод

Все равно тип подозрительно перегружен двумя значениями. Я ожидаю, что есть другой доступный шаблон, который позволяет избежать этого. Если вы застряли в углу с кодом, который не является вашим, то один из вышеуказанных подходов должен работать нормально.