python3.5的新功能之一是类型提示。例如,下面的代码现在有效:
def greeting(name: str) -> str: return 'Hello ' + name
但是,据我所知,它本身并不会检查任何内容,并且其解释方式也与此完全相同:
def greeting(name): return 'Hello ' + name
并主要用于帮助静态分析器(并使代码更易于理解)。但是,当无效类型的参数传递给带有带注释的参数类型的函数(仅使用)时,是否存在(或计划在将来实现)任何方式(可能使用某些第三方库)使python抛出错误类型提示语法)?
类型提示实现PEP 0484,它显式列出 为非目标 :
尽管建议的类型模块将包含一些用于运行时类型检查的构造块-尤其是get_type_hints()函数- 但必须开发第三方程序包以实现特定的运行时类型检查功能,例如使用装饰器或元类。使用类型提示进行性能优化留给读者练习。
由此看来,Python开发人员似乎没有计划添加您想要的功能。引用中提到了装饰器,这似乎是可行的方法。在概念上似乎很简单- 装饰器会使用get_type_hints()在要装饰的函数上进行迭代,并遍历参数,针对任何提示检查其类型,如果发生冲突则抛出错误,或者仅将参数传递给函数。这与pzelasko的答案类似,但装饰器使用提示来自动处理样板代码。最简单的方法是简单地审核参数,尽管您还应该能够创建一个装饰器,如果返回类型与提示冲突,装饰器将引发错误。我还没有Python 3.5,也没有时间去追求它-但是对于想要同时了解装饰器和类型提示的人来说,这似乎是一个不错的学习练习。也许您可以成为PEP所暗示的“第三方”之一。
get_type_hints()