__getitemの正しい型ヒント

Question

シーケンス（リストなど）のメソッド__getitem__()は、単一のアイテムまたは一連のアイテムを返すことができます。例えば、以下の機能の装飾与えられた：

def __getitem__(self, index) -> Union[Product, Generator[Product, None, None]]: 
    return super(Products, self).__getitem__(index) 

使用例：

i1 = 34 
for product in products[i1:]: 
    print(product.name) 

私はUnion[Product, Generator[Product, None, None]]は不適切として、この正しいが、PyCharmフラグであると信じます。入力ライブラリを誤って使用していますか？これはPyCharmの問題ですか？

ありがとうございます！

Answer 1

__getitem__()の正しいタイプのヒントはUnion[Product, Sequence[Product, None, None]]です。

これは文書内に文書化されていると思われる場所は、data model pageです。「式として使用すると、スライスは同じタイプのシーケンスです」と記載されています。 注：シーケンスのようなタイプ（Listなど）は、（typingを参照）でも動作します。

さらなる議論：私は、より効率的なメモリであるため、シーケンスが繰り返されているスライスを使用しているときにジェネレータを期待していました。しかし今は、これが常にやらなければならないという結果になることは明らかです：l_2 = list(l_1[2:])、これは迷惑でしょう。