为什么Python的__import__需要fromlist

在Python中，如果要以动态方式导入模块，可以执行以下操作：

module = __import__('module_name')

如果要导入子模块，你可能认为这只是一个简单的问题：

module = __import__('module_name.submodule')

结果呢，当然不起作用了，你必须这么做：

module = __import__('module_name.submodule', fromlist=['xxx'])

为什么？实际值fromlist似乎根本不重要，只要它不是空的就行。

实际上，__import__内部也是import来实现的。
那么我们在使用import的时候，一般有以下五种方式：

import pkg
import pkg.mod
from pkg import mod, mod2
from pkg.mod import func, func2
from pkg.mod import submod

在前两种情况下，import语句将最左侧模块对象分配给了: pkg。之后的import pkg.mod可以这样使用pkg.mod.func()，因为import语句引入了本地的模块pkg，这是一个具有mod属性的模块对象。因此__import__函数必须返回最左侧的模块对象，以便将其分配给pkg。这两种情况相当于

pkg = __import__('pkg')
pkg = __import__('pkg.mod')

后面三种情况，import就必须做更多的工作了，它必须从模块对象获取并分配多个名称。但是__import__函数只能返回一个对象，并且它不能从模块对象中检索出多个名字，所以对于第三种情况就是：

pkg = __import__('pkg')
mod = pkg.mod
mod2 = pkg.mod2

但是如果mod和mod2在该模块pkg中尚未导入，那将无法生效。__import__函数需要知道mod和mod2是它可以访问的名称，以便它可以查看他们是否是模块并且尝试导入他们。所以像一下这个方式更为接近：

pkg = __import__('pkg', fromlist=['mod', 'mod2'])
mod = pkg.mod
mod2 = pkg.mod2

这会导致__import__先尝试pkg.mod和pkg.mod2，如果不生效的话，它并不会抛出异常。但是第五种例子按照以上方式依然不行：

tmp = __import__('pkg.mod', fromlist=['submod'])
submod = tmp.submod

我们希望tmp是pkg.mod模块，但实际上它还是pkg模块。如果是按照我们想的这种方式去加载，那就要增加更多额外的解包工作。所以它就直接返回了最右边的模块，当且仅当fromlist里面不是空的时候。

__import__函数中的fromlist实际上是没有具体含义的，你可以理解为它只是一种标记，当它不为空的时候，import将为我们导入前面所写的字符串中最右边的模块。当它为空的时候，import将为我们导入字符串最左边的模块，仅此而已。