为什么Scala中没有单元素元组的Tuple1 Literal？

Question

Python有(1,)一个元素元组.在Scala中,(1,2)适用于Tuple2(1,2)但是我们必须使用Tuple1(1)获得的单个元素的元组.这可能看起来像一个小问题,但设计期望产品的API对于传递单个元素的用户来说很难处理,因为他们必须编写Tuple1(1).

也许这是一个小问题,但Scala的一个主要卖点是打字更少,输入更少.但在这种情况下,似乎更多打字更多打字.

请告诉我:1)我错过了这个,它以另一种形式存在,或者2)它将被添加到该语言的未来版本中(并且它们将接受补丁).

Answer 1

您可以定义隐式转换：

implicit def value2tuple[T](x: T): Tuple1[T] = Tuple1(x)

仅当参数的静态类型尚未符合方法参数的类型时，隐式转换才会应用。假设你的方法带有一个Product参数

def m(v: Product) = // ...

例如，转换将应用于非产品值，但不适用于。Tuple2警告：所有案例类都扩展了该Product特征，因此转换也不适用于它们。相反，产品元素将是案例类的构造函数参数。

Product是类的最小上限TupleX，但如果要将隐式 Tuple1 转换应用于所有非元组，则可以使用类型类：

// given a Tupleable[T], you can call apply to convert T to a Product
sealed abstract class Tupleable[T] extends (T => Product)
sealed class ValueTupler[T] extends Tupleable[T] { 
   def apply(x: T) = Tuple1(x) 
}
sealed class TupleTupler[T <: Product] extends Tupleable[T] { 
   def apply(x: T) = x 
}

// implicit conversions
trait LowPriorityTuple {
   // this provides a Tupleable[T] for any type T, but is the 
   // lowest priority conversion
   implicit def anyIsTupleable[T]: Tupleable[T] = new ValueTupler
}
object Tupleable extends LowPriorityTuple {
   implicit def tuple2isTuple[T1, T2]: Tupleable[Tuple2[T1,T2]] = new TupleTupler
   implicit def tuple3isTuple[T1, T2, T3]: Tupleable[Tuple3[T1,T2,T3]] = new TupleTupler
   // ... etc ...
}

您可以在 API 中使用此类型类，如下所示：

def m[T: Tupleable](v: T) = { 
   val p = implicitly[Tupleable[T]](v) 
   // ... do something with p
}

如果您的方法返回产品，您可以看到如何应用转化：

scala> def m[T: Tupleable](v: T) = implicitly[Tupleable[T]](v)
m: [T](v: T)(implicit evidence$1: Tupleable[T])Product

scala> m("asdf") // as Tuple1
res12: Product = (asdf,)

scala> m(Person("a", "n")) // also as Tuple1, *not* as (String, String)
res13: Product = (Person(a,n),)

scala> m((1,2)) // as Tuple2
res14: Product = (1,2)