Python Type Hint中Optional[str]=None和str=None的区别
1 问题来源
在读到Fluent Python, 2ed Edition, P260时产生了一些疑问：
在Python中使用type hint时，以下两个声明有什么区别呢？
def show_count(count: int, singular: str, plural: Optional[str] = None) -> str: # 声明1
def show_count(count: int, singular: str, plural: str = None) -> str: # 声明2
2 个人见解
# -*- coding: utf-8 -*-
# @Time : 2022/12/19 14:53
# @File : messages.py
# @Description : None
# @Author : Yann
from typing import Optional
def show_count(count: int, singular: str, plural: Optional[str] = None) -> str:
# Quiz:
# plural: Optional[str] = None 和 plural: str = None的区别?
#
# Optional[str]是在type hint的层面说明这个参数是一个可选参数，但它并不能让该参数变成一个可选参数。
# 例如：
# def show_count(count: int, singular: str, plural: Optional[str]) -> str:
# 在这个声明中，type hint说明plural是一个可选参数，但它实际上并不是，不满足Python对于可选参数的语法要求。
# Remember: at run time, type hints are ignored! (Fluent Python, 2ed Edition, P260)
#
# str = None实在函数语法层面说明这个参数是一个可选参数。此时无论type hint怎么写，都不影响这个参数是一个可选参数的事实。
# 例如:
# def show_count(count: int, singular: str, plural: Optional[str] = None) -> str: # 声明1
# 在声明1中，= None在语法层面说明plural是一个可选参数，而且在type hint层面也说明plural是一个可选的str参数。
# def show_count(count: int, singular: str, plural: str = None) -> str: # 声明2
# 而在声明2中，= None在语法层面说明plural是一个可选参数，但在type hint层面只说明plural应该是一个str。
# 显然，此时type hint是不够准确的因为当plural缺省使用默认参数时，它是一个None，显然不是一个str。
#
# 相比于声明2，声明1的type hint显然更加准确。但这并不影响函数执行的结果。
# Remember: at run time, type hints are ignored! (Fluent Python, 2ed Edition, P260)
#
if count == 1:
return f'1 {singular}'
count_str = str(count) if count else 'no'
if not plural:
plural = singular + 's'
return f'{count_str} {plural}'
