Неявный класс для подпотока потока akka (типы, зависящие от общего пути)

0

Вопрос

Мне сейчас трудно получить implicit class для ан akka.stream.scaladsl.SubFlow для компиляции.

Мой тестовый код:

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)
*/ 

Неявный класс, который у меня есть до сих пор.

  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
      }
    }
  }

К сожалению, я не могу определить правильные универсальные типы для определения неявного класса.

Ошибка компилятора:

[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)

Рассматривая определение подпотока: trait SubFlow[+Out, +Mat, +F[+_], C] extends FlowOps[Out, Mat] Я не понимаю, как мне нужно определять универсальные типы в моем неявном классе, которые затем используются для типа F и C из SubFlow.

1

Лучший ответ

0

Попробуйте использовать параметр типа более высокого типа, как в определении SubFlow

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

Я уже пробовал это, и это тоже не работает. Ошибка компилятора: argument expression's type is not compatible with formal parameter type
leozilla

@leozilla Не может размножаться. scastie.scala-lang.org/RlTubBvcTQadwh9S7dW7Kw Пожалуйста, предоставьте весь код, который не компилируется с этой ошибкой.
Dmytro Mitin

если вы перейдете на scala 2.12.12, он больше не будет компилироваться. scastie.scala-lang.org/IIeRtsG1SImlxacl2HzZIA
leozilla

@leozilla Проблема, похоже, в том, что параметры типа не выводятся. В первом случае (с явным вызовом) могут быть сохранены заданные параметры типа scastie.scala-lang.org/DmytroMitin/76yS2AG6SMGDrEZZDC9VdA Проблема в том, что вы не можете указать их с помощью метода расширения. Боюсь, что в 2.12 здесь мало что можно сделать.
Dmytro Mitin

На других языках

Эта страница на других языках

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