List[Optional[int]]? それともList[int]?

Question

最近、以下のような関数の返り値のtype hintsでList[Optional[int]]とList[int]の両方を見かけました。
intのlistを返すものですが、引数nの値によっては空のまま([])返されます。
この場合、正しいのはList[Optional[int]]で合ってますか?

def get_xx_list(n: int) -> List[Optional[int]]:  # -> List[int]?
    res = []
    # nとresで色々処理
    return res

Answer 1

[1,2,3,None,5]を返すことがありえるならList[Optional[int]]、

ありえないなら（[]を返すことがあるとしても）List[int]。

Answer 2

Optional は None になる場合があるときに使います。
参考： https://docs.python.org/ja/3/library/typing.html#typing.Optional

Optional[X] は Union[X, None] と同値です。

Answer 3

Noneを許容する場合はOptionalをつけます。