如何在Python中键入检查变量？

Question

我有一个Python函数,它接受一个必须是整数的数字参数,以使其行为正确.在Python中验证这个的首选方法是什么？

我的第一反应是做这样的事情:

def isInteger(n):
    return int(n) == n

但我不禁想到这是1)昂贵的2)丑陋和3)受到机器epsilon的温柔怜悯.

Python是否提供任何本地的类型检查变量方法？或者这被认为是违反语言的动态类型设计？

编辑:因为有很多人问过 - 有问题的应用程序使用IPv4前缀,从平面文本文件中获取数据.如果任何输入被解析为浮点数,则该记录应被视为格式错误并被忽略.

Answer 1

isinstance(n, int)

如果你需要知道它是否是一个真正的int而不是int的子类(通常你不需要这样做):

type(n) is int

这个:

return int(n) == n

这不是一个好主意,因为跨类型的比较可能是真的 - 特别是 int(3.0)==3.0

Answer 2

是的,正如埃文所说,不要打字检查.只是尝试使用该值:

def myintfunction(value):
   """ Please pass an integer """
   return 2 + value

那没有一个类型检查.它好多了!让我们看看尝试时会发生什么:

>>> myintfunction(5)
7

这是有效的,因为它是一个整数.嗯.让我们尝试一些文字.

>>> myintfunction('text')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 3, in myintfunction
TypeError: unsupported operand type(s) for +: 'int' and 'str'

它显示了一个错误TypeError,它应该是它应该做的.如果来电者想要抓住这个,那就有可能.

如果做了一次类型检查,你会怎么做？显示错误对吗？因此,您不必进行类型检查,因为错误已经自动显示.

此外,由于您没有进行类型检查,因此您可以使用其他类型的功能:

湘江边:

>>> print myintfunction(2.2)
4.2

复数:

>>> print myintfunction(5j)
(2+5j)

小数点:

>>> import decimal
>>> myintfunction(decimal.Decimal('15'))
Decimal("17")

甚至可以添加数字的完全随意的对象!

>>> class MyAdderClass(object):
...     def __radd__(self, value):
...             print 'got some value: ', value
...             return 25
... 
>>> m = MyAdderClass()
>>> print myintfunction(m)
got some value:  2
25

因此,你很明显没有得到什么.并且失去了很多.

更新:

由于您已经编辑了这个问题,现在很清楚,您的应用程序调用了一些上行例程,只有整数才有意义.

既然如此,我仍然认为你应该将接收到的参数传递给上游函数.上游函数将正确处理它,例如在需要时引发错误.我非常怀疑,如果你传递一个浮点数,你处理IP的函数会表现得很奇怪.如果您可以给我们图书馆的名称,我们可以为您检查.

但是......如果上游函数表现不正确并且杀了一些孩子,如果你传递一个浮点数(我仍然高度怀疑它),那么只需调用int()它:

def myintfunction(value):
   """ Please pass an integer """
   return upstreamfunction(int(value))

你仍然没有进行类型测试,所以你获得的不是类型测试的好处.

即使在所有这些之后,你真的想要输入检查,尽管它会降低你的应用程序的可读性和性能而绝对没有任何好处,但是使用assert它来做.

assert isinstance(...)
assert type() is xxxx

这样我们可以通过调用它来关闭asserts并从程序中删除此<sarcasm>功能</sarcasm>

python -OO program.py

Answer 3

Python 现在支持通过Typing模块和mypy逐步键入。该模块是 Python 3.5 标准库的一部分，如果您需要 Python 2 或以前版本的 Python 3 的向后移植，可以从 PyPi下载。您可以通过从命令行运行来安装。typingmypypip install mypy

简而言之，如果您想验证某个函数是否接受一个 int、一个浮点数并返回一个字符串，您可以像这样注释您的函数：

def foo(param1: int, param2: float) -> str:
    return "testing {0} {1}".format(param1, param2)

如果您的文件名为test.py，则您可以在安装 mypy 后通过mypy test.py从命令行运行来进行类型检查。

如果您使用的是不支持函数注释的旧版本 Python，您可以使用类型注释来实现相同的效果：

def foo(param1, param2):
    # type: (int, float) -> str
    return "testing {0} {1}".format(param1, param2)

您mypy test.py对 Python 3 文件和mypy --py2 test.pyPython 2 文件使用相同的命令。

类型注释在运行时被 Python 解释器完全忽略，因此它们带来的开销最小甚至没有——通常的工作流程是处理您的代码并定期运行 mypy 以捕获错误和错误。某些 IDE（例如 PyCharm）会理解类型提示，并可以在您直接编辑时提醒您代码中的问题和类型不匹配。

如果出于某种原因，您需要在运行时检查类型（也许您需要验证大量输入？），您应该遵循其他答案中列出的建议——例如使用isinstance、issubclass等。还有一些库，例如强制尝试在运行时执行类型检查（尊重您的类型注释），尽管我不确定它们在撰写本文时的生产就绪程度。

有关更多信息和详细信息，请参阅mypy 网站、mypy 常见问题解答和PEP 484。