如何指定元组类型签名

我正在阅读“学习 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)
}


以上是如何指定元组类型签名的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>