解码python函数，其中返回的内容是迭代器[元组] -

Question

想象一个具有这样的签名的函数：

def read_something (file_name__path: str) -> Iterator[Tuple[Sequence1, Sequence2]]:

如果我正在编写函数以基本上迭代文档并返回元组型对象... iterator [tuple [sequence1，sequence1，sequence2] >该行的一部分表明，由于我使用了打字模块，因此返回的项目（如果正确构造）将是由元组组成的迭代器？还是这意味着我仍然必须迭代文档并将我迭代的每个项目分配到实际的元组中（例如元组（项目，项目）。换句话说，iterator [tuple [tuple [sequence1，sequence2） ]神奇地将两个列表类似的东西转换为列表变成元组的迭代器？

Answer 1

1. - ＆gt;绝对什么都没有。它仅表明创建该功能的人可能计划将返回值设置为Iterator。另外，当出现弹出提示时，IDE将使用此返回类型。
2. 如果要检查正确的键入，则可以使用mypy：

from typing import Iterator, Tuple

def correct_iterator() -> Iterator[Tuple[int, str]]:
  for el in [(1, '1'), (2, '2')]:
    yield el

def correct_tuple() -> Tuple[int, str]:
  return (1, '1')

def bad_iterator() -> Iterator[Tuple[int, str]]:
  # that is line 12 ↓
  return (1, '1')

mypy example.py

example.py:12: error: Incompatible return value type (got "Tuple[int, str]", expected "Iterator[Tuple[int, str]]")
example.py:12: note: "tuple" is missing following "Iterator" protocol member:
example.py:12: note:     __next__
Found 1 error in 1 file (checked 1 source file)

您可以看到bad_iterator的返回值不是iterator，并且未转换为迭代器。但是类型错误出现。

编辑：如何在没有mypy的情况下检查类型，

它可以在没有mypy的情况下检查返回的值类型，但是您必须在定义的函数之外进行操作：

from typing import Iterator

def the_iterator():
  for el in [1,2,3]:
    yield el

iterator_output = the_iterator()

assert True == isinstance(iterator_output, Iterator)

但是，它无法在此检查中使用通用物。 isInstance（...，迭代器[int]）会引起错误：

TypeError: Subscripted generics cannot be used with class and instance checks