Scala3中可变参数函数仅传入单个参数时如何转换为元组？

问题根因 #

Scala3 仅当传入参数数量≥2时，才会触发多参数自动打包为Tuple的语法糖；单参数场景下编译器不会主动将入参包装为Tuple1，因此会出现单参数调用makeString编译失败的问题。

最优实现方案 #

改动最小、兼容性最好的方案是新增单参数重载，主动将入参封装为Tuple1传入原有逻辑，不需要修改其他已有代码：

// 原有方法保持不变
inline def makeString[T <: Tuple](x: T): String = arg2String(x).mkString(",")
// 新增单参数重载即可
inline def makeString[A](x: A): String = makeString(Tuple1(x))

修改后原有多参数调用makeString(3, 4, "aa")完全不受影响，单参数调用makeString("s")会自动匹配重载方法，正常编译运行。

可选统一签名方案 #

如果不想用重载，可以直接修改原方法为可变参数签名，编译期转换为Tuple处理：

import scala.compiletime.*

inline def makeString(inline args: Any*): String =
  arg2String(Tuple.fromProduct(args.asInstanceOf[Product]).asInstanceOf[Tuple])

该方案不需要重载，但需要修改原有方法实现，通用性不如重载方案。

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