有没有办法在 Scala 中拥有具有命名字段的元组，类似于 C# 中的匿名类？

Question

见：Can I specify a meaningful name for an anonymous class in C#?

在 C# 中你可以这样写：

var e = new { ID = 5, Name= "Prashant" };
assertEquals( 5, e.ID )

但在 Scala 中我最终会写作：

var e = (5, "Prashant")
assertEquals( 5, e._1 )

Scala 通过使用泛型来维护类型安全（与 C# 一样），但失去了每个字段名称的可读性，例如我使用“_1”而不是“ID”。

Scala 中有这样的东西吗？

Answer 1

object T {
  def main(args: Array[String]) {  
    val e = new { var id = 5; var name = "Prashant" }
    assert(e.id == 5)
  }
}

好的，让我们把事情说清楚。这确实在 Scala 2.7 和 Scala 2.8 上使用了反射，因为在这种情况下，e 的类型是 结构类型，Scala 通过反射进行处理。这是清理时生成的代码 (scalac -Xprint:cleanup)：

package <empty> {
  final class T extends java.lang.Object with ScalaObject {
    private <synthetic> <static> var reflMethod$Cache1: java.lang.reflect.Method = null;
    private <synthetic> <static> var reflClass$Cache1: java.lang.Class = null;
    <synthetic> <static> def reflMethod$Method1(x$1: java.lang.Class): java.lang.reflect.Method = {
      if (T.this.reflMethod$Cache1.eq(null).||(T.this.reflClass$Cache1.ne(x$1)))
        {
          T.this.reflMethod$Cache1 = x$1.getMethod("id", Array[java.lang.Class]{});
          T.this.reflClass$Cache1 = x$1;
          ()
        };
      T.this.reflMethod$Cache1
    };
    @remote def $tag(): Int = scala.ScalaObject$class.$tag(T.this);
    def main(args: Array[java.lang.String]): Unit = {
      val e: java.lang.Object = {
        new T$$anon$1()
      };
      scala.this.Predef.assert(scala.Int.unbox({
        var exceptionResult1: java.lang.Object = _;
        try {
          exceptionResult1 = T.reflMethod$Method1(e.getClass()).invoke(e, Array[java.lang.Object]{})
        } catch {
          case ($1$ @ (_: java.lang.reflect.InvocationTargetException)) => {
            exceptionResult1 = throw $1$.getCause()
          }
        };
        exceptionResult1
      }.$asInstanceOf[java.lang.Integer]()).==(5))
    };
    def this(): object T = {
      T.super.this();
      ()
    }
  };
  final class T$$anon$1 extends java.lang.Object {
    private[this] var id: Int = _;
    <accessor> def id(): Int = T$$anon$1.this.id;
    <accessor> def id_=(x$1: Int): Unit = T$$anon$1.this.id = x$1;
    private[this] var name: java.lang.String = _;
    <accessor> def name(): java.lang.String = T$$anon$1.this.name;
    <accessor> def name_=(x$1: java.lang.String): Unit = T$$anon$1.this.name = x$1;
    def this(): T$$anon$1 = {
      T$$anon$1.this.id = 5;
      T$$anon$1.this.name = "Prashant";
      T$$anon$1.super.this();
      ()
    }
  }
}

正在进行一些缓存，但如果我在id 和name 之间交替使用，它就会使缓存失效。 Scala 2.8 也进行反射和缓存，但它使用更高效的缓存技术，应该提供更好的整体性能。作为参考，这里是 Scala 2.8 的清理：

package <empty> {
  final class T extends java.lang.Object with ScalaObject {
    final private <synthetic> <static> var reflParams$Cache1: Array[java.lang.Class] = Array[java.lang.Class]{};
    @volatile
    private <synthetic> <static> var reflPoly$Cache1: scala.runtime.MethodCache = new scala.runtime.EmptyMethodCache();
    <synthetic> <static> def reflMethod$Method1(x$1: java.lang.Class): java.lang.reflect.Method = {
      var method1: java.lang.reflect.Method = T.reflPoly$Cache1.find(x$1);
      if (method1.ne(null))
        return method1
      else
        {
          method1 = x$1.getMethod("id", T.reflParams$Cache1);
          T.reflPoly$Cache1 = T.reflPoly$Cache1.add(x$1, method1);
          return method1
        }
    };
    def main(args: Array[java.lang.String]): Unit = {
      val e: java.lang.Object = {
        new T$$anon$1()
      };
      scala.this.Predef.assert(scala.Int.unbox({
        val qual1: java.lang.Object = e;
        {
          var exceptionResult1: java.lang.Object = _;
          try {
            exceptionResult1 = T.reflMethod$Method1(qual1.getClass()).invoke(qual1, Array[java.lang.Object]{})
          } catch {
            case ($1$ @ (_: java.lang.reflect.InvocationTargetException)) => {
              exceptionResult1 = throw $1$.getCause()
            }
          };
          exceptionResult1
        }.$asInstanceOf[java.lang.Integer]()
      }).==(5))
    };
    def this(): object T = {
      T.reflParams$Cache1 = Array[java.lang.Class]{};
      T.reflPoly$Cache1 = new scala.runtime.EmptyMethodCache();
      T.super.this();
      ()
    }
  };
  final class T$$anon$1 extends java.lang.Object {
    private[this] var id: Int = _;
    <accessor> def id(): Int = T$$anon$1.this.id;
    <accessor> def id_=(x$1: Int): Unit = T$$anon$1.this.id = x$1;
    private[this] var name: java.lang.String = _;
    <accessor> def name(): java.lang.String = T$$anon$1.this.name;
    <accessor> def name_=(x$1: java.lang.String): Unit = T$$anon$1.this.name = x$1;
    def this(): T$$anon$1 = {
      T$$anon$1.super.this();
      T$$anon$1.this.id = 5;
      T$$anon$1.this.name = "Prashant";
      ()
    }
  }
}

Answer 2

您还可以命名要分配的元组的各个部分，如下所示：

val (ID, Name) = (5, "Prashant")
assertEquals( 5, ID )

你也可以这样使用：

val (ID, Name, Age) = functionThatReturnsATuple3
println("ID: " + ID + ", age: " + Age)

当我第一次阅读_x 语法时，我认为它很棒并且经常使用它。从那以后，我基本上不再使用它，因为当我不得不查看两个月前编写的代码时，我不得不花费大量时间来弄清楚_1、_2 等的类型是什么。我想事后看来很明显id 比pair._1 更具可读性。

这也可以在map、filter等函数内部使用，例如：

val list: List[ (Int, String, Double) ] = ...
list map { case (id, name, time) => ... }
list filter { case (_, name, _) => name == "X" }

请注意，在filter 中，您可以将_s 用于您不会在函数主体中使用的元素。这在浏览此类代码以确定正在使用结构的哪些部分以及如何建立值时很有用。

Answer 3

我会简单地创建一个案例类：

object Yo{
  case class E(id: Int, name: String)

  def main(){
    val e = E(5,"Prashant")
    println("name="+e.name+", id="+e.id)
  }
}

不确定它是否和Daniel's answer 一样高效，但我希望它是一样的（我很感激 cmets）。无论如何，我发现它更具可读性，如果E 有多个实例，则只使用一个共享的附加行。你也可以在案例类中添加方法，例如：

case class E(id: Int, name: String){
  def hasId(id: Int) = this.id==id
}

val e = E(5,"Prashant")
assert(e hasId 5)

Answer 4

正如 Juh_ 所建议的，扩展一个案例类应该做你想做的事：

scala> case class E(id: Int, name: String)
defined class E

scala> val e = new E(5, "Prashant")
e: E = E(5,Prashant)

scala> e.name
res3: String = Prashant

Case 类提供了一个 equals 方法，它们还扩展了 Product 特征，这与 Scala 元组扩展的特征相同。也许将来他们也会extend the ProductN traits。

如果您按照其他答案中的建议使用匿名类，那么您最终不会得到真正的元组！比如你没有得到equals方法：

scala> val x = new { val count = 5 }
x: AnyRef{val count: Int} = $anon$1@29ca901e

scala> val y = new { val count = 5 }
y: AnyRef{val count: Int} = $anon$1@1dfe2924

scala> x == y
res4: Boolean = false

从 Scala 2.11 开始，扩展 Tuple2 确实有效，但已弃用，因为您不应该扩展案例类。

您也可以扩展 Product2 特征，但它不提供任何方法的实现，因此您必须自己编写所有方法。

您可能还可以使用 Shapeless HList，它会以添加外部依赖项为代价为您提供许多精美的功能。

我还尝试了 Twitter 的 jaqen 库，但在 Scala 2.11 中无法为我编译。

我目前使用的是 Scala 2.11，因此我不能保证此建议适用于其他版本的 Scala。

Answer 5

Scala 2.8 改进了类型系统，使得可以拥有静态和异构类型的数组和列表，因此大概可以对映射进行相同的操作。查看Jesper Nordenberg's blog on "Type Lists and Heterogeneously Typed Arrays" 了解他的实现。