scala 缺少大小,取消应用

kb5ga3dv 于 2023-04-12 发布在 Scala

关注(0)|答案(2)|浏览(127)

在object Sized中（在shapeless/sized.scala中）有unapplySeq，不幸的是它不提供静态检查。例如下面的代码在运行时会失败：

Sized(1, 2, 3) match { case Sized(x, y) => ":(" }

如果有unapply方法会更好，返回元组的Option，元组的具体形状根据Sized示例的大小构造。例如：

Sized(1) => x
Sized(1, 2) => (x, y)
Sized(1, 2, 3) => (x, y, z)

在这种情况下，前面的代码片段将无法使用constructor cannot be instantiated to expected type编译。
请帮助我实现unapply为object Sized。这个方法已经在任何地方实现了吗？
先谢谢你了！

scala

来源：https://stackoverflow.com/questions/23090657/missing-sized-unapply

2条答案

按热度按时间

k5ifujac1#

这绝对是可能的（至少对于Sized，其中N小于23），但我能想到的唯一方法（禁止宏等）有点混乱。首先，我们需要一个类型类来帮助我们将大小的集合转换为HList s：

import shapeless._, Nat._0
import scala.collection.generic.IsTraversableLike

trait SizedToHList[R, N <: Nat] extends DepFn1[Sized[R, N]] {
  type Out <: HList
}

object SizedToHList {
  type Aux[R, N <: Nat, Out0 <: HList] = SizedToHList[R, N] { type Out = Out0 }

  implicit def emptySized[R]: Aux[R, Nat._0, HNil] = new SizedToHList[R, _0] {
    type Out = HNil
    def apply(s: Sized[R, _0]) = HNil
  }

  implicit def otherSized[R, M <: Nat, T <: HList](implicit
    sth: Aux[R, M, T],
    itl: IsTraversableLike[R]
  ): Aux[R, Succ[M], itl.A :: T] = new SizedToHList[R, Succ[M]] {
    type Out = itl.A :: T
    def apply(s: Sized[R, Succ[M]]) = s.head :: sth(s.tail)
  }

  def apply[R, N <: Nat](implicit sth: SizedToHList[R, N]): Aux[R, N, sth.Out] =
    sth

  def toHList[R, N <: Nat](s: Sized[R, N])(implicit
    sth: SizedToHList[R, N]
  ): sth.Out = sth(s)
}

然后我们可以定义一个使用这种转换的提取器对象：

import ops.hlist.Tupler

object SafeSized {
  def unapply[R, N <: Nat, L <: HList, T <: Product](s: Sized[R, N])(implicit
    itl: IsTraversableLike[R],
    sth: SizedToHList.Aux[R, N, L],
    tupler: Tupler.Aux[L, T]
  ): Option[T] = Some(sth(s).tupled)
}

然后：

scala> val SafeSized(x, y, z) = Sized(1, 2, 3)
x: Int = 1
y: Int = 2
z: Int = 3

但是：

scala> val SafeSized(x, y) = Sized(1, 2, 3)
<console>:18: error: wrong number of arguments for object SafeSized
       val SafeSized(x, y) = Sized(1, 2, 3)
                    ^
<console>:18: error: recursive value x$1 needs type
       val SafeSized(x, y) = Sized(1, 2, 3)
                     ^

如你所愿。

赞(0）回复(0）举报 2023-04-12

pobjuy322#

您可以在Sized上调用.tupled来获取静态检查的unapply。