Python 3类型提示不区分bytes与str？PEP规范及防混传方法咨询

定义了以下两个带类型注解的Python函数：

def abc(o: bytes):
    print(o)

def xyz(o: str):
    print(o)

实际调用时，不管传入str还是bytes对象，函数都能正常执行，没有触发预期的类型不匹配错误：

>>> abc('abc')
abc
>>> abc(b'abc')
b'abc'
>>> xyz('xyz')
xyz
>>> xyz(b'xyz')
b'xyz'

这是因为Python的类型注解由PEP 484定义，它本质是静态类型提示——Python解释器在运行时会完全忽略这些注解，不会对传入参数的类型做任何验证。PEP 484的核心目标是为静态类型检查工具提供统一的语法标准，帮助开发者在编码阶段提前发现类型问题，而非在运行时强制约束参数类型。

除了手动在函数内部做显式类型检查（比如assert isinstance(o, bytes)），还有这些更高效的方式：

• 使用静态类型检查工具
  像mypy、pyright这类工具会在代码检查阶段扫描类型注解，发现不匹配的参数类型并报错。比如用mypy检查上述代码，会输出类似提示：

  error: Argument 1 to "abc" has incompatible type "str"; expected "bytes"  [arg-type]
  error: Argument 1 to "xyz" has incompatible type "bytes"; expected "str"  [arg-type]
  

  这类工具可以集成到IDE（如VS Code）中，实时提示类型问题，不用等到运行时才发现。

• 使用运行时类型验证库
  如果需要在运行时也强制类型约束，可以用专门的库实现：

  • pydantic：用pydantic.validate_arguments装饰器自动验证函数参数类型：

    from pydantic import validate_arguments
    
    @validate_arguments
    def abc(o: bytes):
        print(o)
    
    @validate_arguments
    def xyz(o: str):
        print(o)
    

    这时传入错误类型的参数会直接抛出ValidationError，比如调用abc('abc')就会报错。
  • enforce：轻量的运行时类型检查库，通过装饰器实现：

    from enforce import runtime_validation
    
    @runtime_validation
    def abc(o: bytes):
        print(o)
    

    传入错误类型时会触发TypeError。

• 自定义注解验证逻辑
  可以基于inspect模块读取函数的类型注解，在函数开头做类型检查，适合简单场景：

  import inspect
  
  def abc(o: bytes):
    sig = inspect.signature(abc)
    param_type = sig.parameters['o'].annotation
    if not isinstance(o, param_type):
        raise TypeError(f"Expected {param_type}, got {type(o)}")
    print(o)
  

内容的提问来源于stack exchange，提问作者tinkerbeast