如何指定元组类型签名
我正在阅读“学习 Scala”一书,并在第 4 章中完成了这个练习:
编写一个函数,它接受一个 3 大小的元组并返回一个 6 大小的元组,每个原始参数后跟其字符串表示。例如,使用 (true, 22.25, "yes") 调用函数应该返回 (true, "true", 22.5, "22.5", "yes", "yes")。
我尝试指定类型签名的最有希望的是:
def t3ToT6[Tuple3[A, B, C]](t: Tuple3[A, B, C]) = {
产生这些错误:
Exercises.scala:99: error: not found: type A
def t3ToT6[Tuple3[A, B, C]](t: Tuple3[A, B, C]) = {
^
Exercises.scala:99: error: not found: type B
def t3ToT6[Tuple3[A, B, C]](t: Tuple3[A, B, C]) = {
^
Exercises.scala:99: error: not found: type C
def t3ToT6[Tuple3[A, B, C]](t: Tuple3[A, B, C]) = {
^
目的是允许任何类型,所以我虽然可以用A, B, 或C?
如果我去掉类型规范并只使用Tuple3,那么它会抱怨我应该有类型参数:
Exercises.scala:99: error: type Tuple3 takes type parameters
def t3ToT6[Tuple3[A, B, C]](t: Tuple3) = {
我怀疑我很接近,这是某种语法问题,但还没有找到任何在函数的类型签名中指定元组的示例。
此问题描述的正确类型签名是什么?
有没有你知道的我还没有找到的例子可以帮助我理解这一点?
回答
识别 3 个类型参数,如下所示: [A,B,C]
有了这个你可以...
def t3ToT6[A,B,C](t: Tuple3[A,B,C]):Tuple6[A,String,B,String,C,String] =
Tuple6(t._1, t._1.toString
,t._2, t._2.toString
,t._3, t._3.toString)
也可以通过快速模式匹配来完成。
def t3ToT6[A,B,C](t:(A,B,C)):(A,String,B,String,C,String) = t match {
case (a,b,c) => (a, a.toString, b, b.toString, c, c.toString)
}