python - 如何在不使用断言的情况下指定函数输入和输出的类型？

Question

我正在使用 Python 3.6 并想定义一个函数，它接受两个整数 a 和 b 并返回它们的除法 c = a//b。我想在不使用 assert 的情况下强制执行输入和输出类型。根据我在文档和本网站上的发现，我的理解是应该这样定义此功能:

def divide(a: int, b: int) -> int:
    c = a // b
    return c

divide(3, 2.) # Output: 1.0

因为 b 和 c 不是整数，所以我期待出现错误(或警告)。

1. 我的特定代码有什么问题？
2. 如何在不使用的情况下正确指定输入和输出类型断言一般？

Answer 1

强制执行运行时验证目前只能由用户代码完成，例如使用第 3 方库。

其中一个选择是 enforce :

>>> import enforce  # pip install enforce
>>> @enforce.runtime_validation
... def divide(a: int, b: int) -> int:
...     c = a // b
...     return c
... 
... 
>>> divide(3, 2.0)
RuntimeTypeError: 
  The following runtime type errors were encountered:
       Argument 'b' was not of type <class 'int'>. Actual type was float.