为什么异常处理不检查库的存在

Question

我不明白为什么 python（至少 2.7）不验证错误的异常处理机制。

示例：

try:
    some code selecting data from pymongo
except pymongo.errors.OperationFailure:
    exception

在这种情况下，如果不是第一次调用异常，python 将不会验证我是否确实导入了 pymongo lib。

知道为什么吗？

Answer 1

如果我正确地阅读了您的问题，您想知道为什么 except pymongo.errors.OperationFailure 在加载模块时如果您尚未导入 pymongo 则不会导致错误模块。

与 Python 中的大多数事物一样，except 子句的参数在运行时评估。事实上，它们可以是表达式！ Python 在“编译”时不会验证它们，就像它当时不会验证任何其他名称一样。

原因是Python是一种动态语言。导入可以有条件地完成，或者根据“编译”时未知的名称执行，并且模块和其他命名空间可以通过代码替换、修改或删除。因此，在不运行代码的情况下，Python 实际上无法知道 pymongo.errors.OperationFailure 是否是代码执行时的有效名称。

Answer 2

根据 PyMongo 文档，异常 pymongo.errors.OperationFailure 将“在数据库操作失败时引发”。因此，只有在引发此类错误时才会评估您的 except 块。

我假设通过“验证 pymongo 的存在”您指的是这样的东西：

try:
   import pymongo
except:
   print("PyMongo not found!")
   sys.exit(-1)

此方法经常用于提供后备（和向后兼容性）而不是“验证”导入。例如，在 json 编码器/解码器的情况下，我们可以尝试是否有可用的 simplejson 库，并使用 json 库作为后备，如下所示：

try:
   import simplejson as json
except ImportError:
   import json

假设在脚本的开头，您已经有了 import pymongo，我不认为您应该检查或“验证”pymongo 是否已导入： import如果找不到 pymongo 库，pymongo 将会引发 ImportError 。

Answer 3

首先，pymongo.errors.OperationFailure可以在任何地方定义，不仅可以作为pymongo模块的一部分，还可以作为在同一文件中定义的 pymongo 对象的属性。

因此，在处理异常时，Python 不应检查特定模块是否已导入。

但是如果你这样做：

import pymongo

你会看到如果找不到模块，实际上会引发导入错误：

Traceback (most recent call last):
  File "<pyshell#0>", line 1, in <module>
    import pymongo
ImportError: No module named pymongo

如果我的答案对你来说还不够，并且你想了解更多关于为什么包含 pymongo.errors.OperationFailure 当您第一次运行脚本时，即使您的代码中没有任何 import pymongo 语句，也不会抛出任何错误，然后请参阅<一个href="https://stackoverflow.com/questions/8331267/why-the-exception-handling-is-not-checking-existence-of-library/8331349#8331349">kindall关于Python是一种动态语言的回答。