Функция фильтра RxJS не сужает тип, если только непосредственно не задан типгард, это единственный параметр

Определяемые пользователем функции защиты типов являются, по крайней мере в настоящее время, строго определяемыми пользователем. Они не выводятся автоматически компилятором. Если вы хотите, чтобы функция, возвращающая boolean, вела себя как защита типа с возвращаемым типом предиката типа, вам необходимо явно аннотировать ее как таковую:

const doesNotPropagate = <T>(x: T | undefined) => isNotUndefined(x);
// const doesNotPropagate: <T>(x: T | undefined) => boolean

Функция doesNotPropagate() во время выполнения ведет себя так же, как isNotUndefined(), но компилятор больше не видит в ней защиту типа, поэтому, если вы используете ее в качестве фильтра, вы не устраните undefined в компиляторе.

В GitHub есть несколько проблем по этому поводу; в настоящее время открытая проблема с отслеживанием распространения/передачи сигнатур защиты типа: microsoft/TypeScript#16069 ( или, возможно, microsoft/TypeScript#10734). Но не похоже, чтобы здесь было много движений, так что пока нам нужно просто иметь дело с языком таким, какой он есть.

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

Допустим, у нас есть значение o типа Observable<string | undefined>. Тогда это работает:

const a = o.pipe(filter(isNotUndefined)); // Observable<string>

но это не по причине, указанной выше... сигнатуры защиты типа не распространяются:

const b = o.pipe(filter(x => isNotUndefined(x))); // Observable<string | undefined>

Мы можем восстановить сигнатуру и поведение защиты типа, если вручную аннотируем стрелочную функцию следующим образом:

const c = o.pipe(filter((x): x is string => isNotUndefined(x))); // Observable<string>;

Из этого вы можете выполнить дополнительную логику фильтрации, если хотите:

const d = o.pipe(filter((x): x is string => isNotUndefined(x) && x.length > 3)); 
// Observable<string>;

Здесь фильтр проверяет, что строка определена и, что ее длина больше 3.

Обратите внимание, что технически это не является хорошо работающей определяемой пользователем защитой типа, поскольку они склонны интерпретировать результаты false как означающие, что ввод сужается, чтобы исключить защищенный тип:

function badGuard(x: string | undefined): x is string {
  return x !== undefined && x.length > 3;
}
const x = Math.random() < 0.5 ? "a" : undefined;
if (!badGuard(x)) {
  x; // narrowed to undefined, but could well be string here, oops
}

Здесь, если badGuard(x) возвращает true, вы знаете, что x равно string. Но если badGuard(x) возвращает false, вы не знаете, что x равно undefined... но так думает компилятор.

Это правда, что в вашем коде вы на самом деле не имеете дело с ситуацией, когда фильтр возвращает false (я полагаю, последующие параметры канала просто не срабатывают?), поэтому вам не нужно слишком беспокоиться об этом. Тем не менее, может быть лучше реорганизовать код в одну правильную защиту типа, за которой следует фильтр без защиты типа, выполняющий дополнительную логику:

const e = o.pipe(filter(isNotUndefined), filter(x => x.length > 3)); // Observable<string>;

Это должно привести к тому же результату во время выполнения, но здесь первый фильтр правильно сужает от Observable<string | undefined> до Observable<string>, а второй фильтр сохраняет Observable<string> (а x в обратном вызове — это string) и выполняет дополнительную логику, которая фильтрует по длине.

И это имеет дополнительное преимущество, заключающееся в том, что не требуется аннотация типа, поскольку вы не пытаетесь нигде распространять сигнатуру защиты типа. Так что это, вероятно, будет метод, который я бы порекомендовал.

Хорошо, надеюсь, это поможет; удачи!

Ссылка Stackblitz на код