在Python中，当将一个由Optional个值组成的序列收集到Iterable或List中，同时过滤出None个值时，如何向类型判断器表示结果Iterable的元素类型不再是Optional，并且列表不包含None？
举个例子:
def a(i: InputType) -> Optional[ResultType]:
...
def b(is: List[InputType]) -> Iterable[ResultType]:
return filter(partial(is_not, None), (a(x) for x in is))
类型判断器(在我的例子中是Pyright)抱怨我无法将潜在的None值放入Iterable[ScanFileResult]返回类型中.但是，因为我要过滤掉它，所以我需要一些方法来断言，以向类型判断器证明元素类型不再是Optional[ResultType]，而只是ResultType.做这件事最干净的方式是什么？
根据@MateenUlhaq在 comments 中的建议，你面临的问题可能是由于使用filter(partial(is_not, None))使得语言服务器很难推断出ots返回值的类型.
你可以通过过滤掉开头的None来让它变得更容易.
以下是一个示例:
def a(x: int) -> int | None:
if x % 2 == 0:
return x
return None
def b(xs: list[int]):
print(sum(xs))
xs = [ax for x in range(10) if (ax:=a(x)) is not None]
b(xs)
pyright并没有抱怨，因为它可以推断出xs的类型是list[int]
将这一点应用到您的特定 case 中，您会得到如下结果:
def b(inputs: List[InputType]) -> Iterable[ResultType]:
return (ax for x in inputs if (ax:=a(x)) is not None)
这在Python3.10+版上有效(因为它使用:=运算符).