如何指定元组类型签名

Question

我正在阅读“Learning Scala”一书，并在第 4 章中完成了这个练习：

编写一个 function，它接受一个 3 大小的元组并返回一个 6 大小的元组，每个原始参数后跟它的字符串表示形式。 例如，使用 (true, 22.25, "yes") 调用 function 应该返回 (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) = {

我怀疑我很接近，这是某种语法问题，但还没有找到在函数的类型签名中指定元组的任何示例。

此问题描述的正确类型签名是什么？

您是否知道我尚未找到的示例可以帮助我理解这一点？

Answer 1

像这样识别 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)
}