1

これは私のscala2コードをscala3に直接翻訳したものです

trait Narrow[F[_], A, B <: A: ClassTag]:
  def apply(fa: F[A]): F[B]

extension [F[_], A] (fa: F[A]):
  def narrow[B: ClassTag] (using op: Narrow[F, A, B]): F[B] = op(fa)

呼び出しサイトでナロー操作の型を指定する必要がありますが、拡張メソッドではその構文が許可されていません。この制限に対する最善の回避策は何ですか?

これの目的は、コレクション/トライ/なんでもタイプを絞り込めるようにすることです。ナロー型クラスは、内部にあるものは何でもフラットマップし、ランタイム型を比較し、一致する場合はその B を F でラップするか、そうでない場合は空の F を返します。

trait A
trait B extends A
object A extends A
object B extends B

val bb: List[B] = List(A, A, B, B, A)
  .narrow[B]
assert(bb == List(B, B))
4

2 に答える 2

1

醜さを処理できる場合は、ポリモーフィック関数を使用できます。

extension [F[_], A] (fa: F[A]):
  def narrow() = [B <: A] => (using op: Narrow[F, A, B]) => op(fa)

その後、 で呼び出すことができますfoo.narrow()[String]。こちらがスカスティです。

これnarrow()がないと、型引数が多相関数ではなく拡張機能に渡されるため、これが必要です。

将来、Scala 3 では拡張機能内のメソッドに型引数を直接使用できるようになる可能性がありますが、現時点では、Scala 2 の暗黙的なクラスを引き続き使用して、次のリリース後に変更することができます。

implicit class NarrowOps[F[_], A](fa: F[A]):
  def narrow[B <: A](using op: Narrow[F, A, B]) = op(fa)

スカスティ

補足:B: ClassTag拡張機能で再度使用する必要はありませんが、bound を使用する必要があると思いますB <: A。

于 2020-12-04T00:28:45.493 に答える