Python 3能否将两个元组解包作为函数入参使用

初始写法的可行性说明 #

你最初尝试的def fun(*tuple1, *tuple2)形式在所有Python正式发行版本中都属于语法错误。从语法设计层面，函数形参列表不允许同时声明两个带*的可变位置参数——这类参数的核心作用是收集所有未匹配到普通形参的位置传入值，如果允许存在两个这类参数，解释器无法判断传入的位置值该归属到哪一个变量中，因此运行这段代码会直接触发SyntaxError，无法正常完成函数定义。
这里需要明确区分两个规则完全不同的语法场景：

• 函数定义阶段的多*形参写法，从语法层面就不被允许
• 函数调用阶段的多元组解包传参语法，是被官方完全支持的

调用阶段的多解包支持规则 #

Python 3.5及后续版本，完全支持在调用函数时对多个元组同时使用*解包传参，不存在语法限制，示例代码：

t1 = (1, 3, 5)
t2 = (2, 4, 6)

# 合法写法：调用时同时解包两个元组传入
fun(*t1, *t2)

适配两组元组对比需求的正确实现 #

针对需要接收两个元组、完成两组元素对比的业务场景，有两种可落地的常用实现方案：

• 最直观的常规实现：直接在函数定义时声明两个普通位置参数，不需要在形参位置使用*解包

  # 定义函数时直接声明两个元组入参
  def fun(tuple1, tuple2):
      # 直接使用传入的两个元组完成元素对比逻辑
      compare_res = [a == b for a, b in zip(tuple1, tuple2)]
      return compare_res
  
  # 调用时直接传入两个元组，不需要额外解包操作
  fun((1, 2, 3), (1, 4, 3))
  

• 如果需要兼容调用时不定量的位置输入，可使用单个*可变位置形参接收所有解包后的元素，在函数内部根据业务约定的边界拆分出对应的两组元组，示例代码：

  def fun(*args):
      # 根据业务约定的拆分位置切分元素，比如前3个元素归属第一组元组，剩余元素归属第二组
      split_pos = 3
      tuple1 = args[:split_pos]
      tuple2 = args[split_pos:]
      # 后续执行元组对比逻辑
  

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