如何在Python中生成两个列表的所有唯一配对组合？

你需要的是两个列表元素的全排列配对（每个l1元素对应唯一的l2元素，且覆盖所有l2元素），本质等价于生成l2的所有排列，再将每个排列与l1元素一一配对成元组集合。

最优实现方式 #

直接使用Python标准库的itertools.permutations，它是底层C实现的高效工具，性能远优于手写的递归/循环逻辑，且代码简洁：

import itertools

l1 = ['a', 'b', 'c']
l2 = ['e', 'f', 'g']

# 生成所有配对组合：每个组合是元组的元组
all_combinations = tuple(zip(l1, perm) for perm in itertools.permutations(l2))

# 打印验证结果
for combo in all_combinations:
    print(combo)

为什么这是最优解 #

1. 时间复杂度达标：问题本身的总组合数是n!（n为l2的长度），这是无法避免的下限，itertools.permutations的时间复杂度就是O(n!)，刚好匹配问题需求。
2. 底层优化：标准库的排列生成逻辑是C语言实现，比纯Python编写的递归、嵌套循环快数倍甚至数十倍，尤其当列表长度较大时，差距会更明显。
3. 代码简洁易维护：无需手动处理排列生成的边界条件，直接调用成熟的库函数即可。

内容的提问来源于stack exchange，提问作者Ritik Kamra