Niejawnego klasa подпотока przepływu akka (typy, w zależności od ogólnego drodze)

0

Pytanie

Mi teraz trudno dostać implicit class dla an akka.stream.scaladsl.SubFlow do kompilacji.

Mój testowy kod:

val subFlow = Source(List("1", "2", "3"))
  .groupBy(1, f)

val richSubFlow = new SideEffectfulSubFlowOps(subFlow)

val got = richSubFlow
  .withSideEffect((elem: String) => recordedItems.add(elem))
  .mergeSubstreams
  .to(Sink.seq)

/* In the end I would like to write it like this:
val got = Source(List("1", "2", "3"))
  .groupBy(1, f)
  .withSideEffect((elem: String) => recordedItems.add(elem))
  .mergeSubstreams
  .to(Sink.seq)
*/ 

Niejawnego klasy, który mam do tej pory.

  implicit class SideEffectfulSubFlowOps[+Out, +Mat, FOps <: FlowOps[Out, Mat], C](val enrichedSubFlow: SubFlow[Out, Mat, FOps#Repr, C]) extends AnyVal {

    def withSideEffect(f: Out => Unit): enrichedSubFlow.Repr[Out] = {
      enrichedSubFlow.map { o =>
        f(o)
        o
      }
    }
  }

Niestety, nie jestem w stanie określić właściwe uniwersalne typy dla określenia niejawnego klasy.

Błąd kompilatora:

[error] SubFlowExtensionsSpec.scala:21:43: type mismatch;
[error]  found   : akka.stream.scaladsl.SubFlow[String,akka.NotUsed,[+O]akka.stream.scaladsl.Source[O,akka.NotUsed],akka.stream.scaladsl.RunnableGraph[akka.NotUsed]]
[error]  required: akka.stream.scaladsl.SubFlow[?,?,?#Repr,?]
[error]       val x = new SideEffectfulSubFlowOps(subFlow)

Biorąc pod uwagę definicję подпотока: trait SubFlow[+Out, +Mat, +F[+_], C] extends FlowOps[Out, Mat] Nie rozumiem, jak muszę określić uniwersalne typy w moim niejawnym klasie, które następnie są używane do rodzaju F i C z SubFlow.

1

Najlepsza odpowiedź

0

Spróbuj użyć opcji typu wyższego rodzaju, jak w definicji SubFlow

implicit class SideEffectfulSubFlowOps[+Out, +Mat, +FOps[+_], C](val enrichedSubFlow: SubFlow[Out, Mat, FOps, C]) extends AnyVal
2021-10-25 16:13:06

Ja już próbowałem i to też nie działa. Błąd kompilatora: argument expression's type is not compatible with formal parameter type
leozilla

@leozilla Nie może się rozmnażać. scastie.scala-lang.org/RlTubBvcTQadwh9S7dW7Kw Proszę podać cały kod, który nie jest skompilowany z tym błędem.
Dmytro Mitin

jeśli przejdziesz do scala 2.12.12, nie będzie już skompilowany. scastie.scala-lang.org/IIeRtsG1SImlxacl2HzZIA
leozilla

@leozilla Problem chyba w tym, że ustawienia typu nie są wyświetlane. W pierwszym przypadku (z jawnym wywołaniem) mogą być zapisane ustawienia typu scastie.scala-lang.org/DmytroMitin/76yS2AG6SMGDrEZZDC9VdA Problem w tym, że nie możesz wskazać je za pomocą metody rozszerzenia. Obawiam się, że w 2.12 tutaj niewiele można zrobić.
Dmytro Mitin

W innych językach

Ta strona jest w innych językach

Русский
..................................................................................................................
Italiano
..................................................................................................................
Română
..................................................................................................................
한국어
..................................................................................................................
हिन्दी
..................................................................................................................
Français
..................................................................................................................
Türk
..................................................................................................................
Česk
..................................................................................................................
Português
..................................................................................................................
ไทย
..................................................................................................................
中文
..................................................................................................................
Español
..................................................................................................................
Slovenský
..................................................................................................................