Scala 泛型函数混淆

Question

我遇到以下情况：

有一个方法 def f(lst: List[Any])，它对列表进行一些转换并返回该转换的结果（所有这些 Any< /code> 是案例类）。我需要完成的是，当输入列表为空时，生成一个列表，其中包含一个正确类型的元素，并对其进行转换。

是否可以在类型级别上保证某些案例类具有无参数构造函数？如果是这样，Any 应该替换为什么？如果不是，那么实现此目标的最佳方法是什么？也许我应该将我的方法更改为类似 def f[T](lst: List[T], default: T) 的方法？

任何帮助表示赞赏。

Answer 1

您在寻找这样的东西吗？

import scalaz._
import Scalaz._

scala> def f[A : Zero](lst: List[A]) = {
     |   val xs = if(lst.isEmpty) List(mzero[A]) else lst
     |   xs ++ xs // some transformation
     | }
f: [A](lst: List[A])(implicit evidence$1: scalaz.Zero[A])List[A]

scala> f(List.empty[Int])
res1: List[Int] = List(0, 0)

scala> f(List("hello", "world"))
res2: List[java.lang.String] = List(hello, world, hello, world)

如果是，你可以参考这篇文章< /a> 我不久前写过这个主题。

Answer 2

简单的答案是否定的，类型系统无法告诉您类是否有默认构造函数。请记住，案例类通常没有默认构造函数，因为不推荐使用无参数案例类。默认构造函数的概念对于不可变对象不太有用。 AFAIK 原则上没有理由不应该这样做（Scala 确实支持结构类型，其中类型必须具有特定名称的方法），但它需要更改语言。您可以在运行时使用反射进行检查，但这不是您想要的。

但是，您可以使用类型类模式强制默认值位于范围内。这在概念上与 OP 中建议的添加额外的默认参数非常相似，但使用隐式来隐藏它们。它在馆藏库中被大量使用。 Missingfaktor 使用 scalaz.Zero 的答案是这种情况的一个特例，但在普通的 Scala 中很容易做到，并且对于某些不一定是某种零的任意默认值。

case class Default[T](default: T)

case class Foo(value: String)
case class Bar(value: Int)

implicit val fooDefault = Default(Foo("I'm a default Foo"))  // note 1

现在让我们看一个示例用法：

def firstItem[T](lst: List[T]) (implicit ev: Default[T]) =   // note 2
  if (lst.isEmpty) ev.default else lst.head

val fooList      = List(Foo("cogito"), Foo("ergo"), Foo("sum"))
val emptyFooList = List[Foo]()
val barList      = List(Bar(101), Bar(102))
val emptyBarList = List[Bar]()

firstItem(fooList)                        // Foo("cogito")
firstItem(emptyFooList)                   // Foo("I'm a default Foo")
firstItem(barList)                        // ** error: missing implicit **

我们看到它使用 List[Foo] 进行编译，但 List[Bar] 不被接受，因为没有隐式 <代码>默认[Bar]（注3）。

---

注意 1：这个隐式可以在 object Foo 上定义 - 如果您在其他地方导入该类，这将确保它在范围内。但它不一定是这样：您还可以为任意类定义类似的隐式，Int、String 等等（尝试一下）。

注意 2：这等于糖化版本 def firstItem[T: Default](lst: List[T]) =...，您可以使用 < 召唤 ev代码>隐式[默认[T]]。随你挑选。

注 3：我们只需提供一个即可使其工作：

firstItem(barList)(Default(Bar(42)))      // Bar(101)
firstItem(emptyBarList)(Default(Bar(42))) // Bar(42)

Answer 3

我不太确定你想要做什么（也许你可以包含更多细节），但我可以立即给出的一些建议是，如果你有一堆相关的案例类，它们都应该扩展一个密封的特征。这不仅可以让您获得更好的类型安全性（不再有 Any），而且编译器将能够检查详尽的模式匹配。例如：

sealed trait Foo
case class Bar(x: Int) extends Foo
case class Baz(y: String) extends Foo

然后您可以像这样定义您的函数

def f[T <: Foo](lst: List[Foo], default: T)//...

这将允许 list 包含任何案例类的项目，但要求 default 是由类型指定的类型参数（必须是 Foo 的子类型）