Затенить/удалить строковый интерполятор

Я использую две библиотеки, которые определяют интерполяторы строк (упрощенный код для ясности):

Http4s:

implicit class LiteralsOps(val sc: StringContext) extends AnyVal {
  def uri(args: Any*): Uri = macro LiteralSyntaxMacros.uriInterpolator
  (...)
  def ipv4(args: Any*): Uri.Ipv4Address = macro LiteralSyntaxMacros.ipv4AddressInterpolator
  def ipv6(args: Any*): Uri.Ipv6Address = macro LiteralSyntaxMacros.ipv6AddressInterpolator
}

ip4s:

implicit class IpLiteralSyntax(val sc: StringContext) extends AnyVal {
  def ip(args: Any*): IpAddress = macro LiteralSyntaxMacros.ipInterpolator
  def ipv4(args: Any*): Ipv4Address = macro LiteralSyntaxMacros.ipv4Interpolator
  def ipv6(args: Any*): Ipv6Address = macro LiteralSyntaxMacros.ipv6Interpolator
  (...)
  def host(args: Any*): Hostname = macro LiteralSyntaxMacros.hostnameInterpolator
}

Я хочу использовать их оба, а именно интерполятор uri от Http4s и различные интерполяторы от ip4s. Проблема в том, что следующий код:

import com.comcast.ip4s._
import org.http4s.syntax.literals._

class Foo(cidr: Cidr[Ipv4Address] = ipv4"192.168.1.1" / 24)

Не удается скомпилировать с:

[error] Note that implicit conversions are not applicable because they are ambiguous:
[error]  both method IpLiteralSyntax in package ip4s of type (sc: StringContext): com.comcast.ip4s.package.IpLiteralSyntax
[error]  and method http4sLiteralsSyntax in trait LiteralsSyntax of type (sc: StringContext): org.http4s.syntax.LiteralsOps
[error]  are possible conversion functions from StringContext to ?{def ipv4: ?}
[error]   class Foo(cidr: Cidr[Ipv4Address] = ipv4"192.168.1.1" / 24)

Есть ли способ скрыть/удалить строковый интерполятор из неявной области?


scala implicit http4s
person Simão Martins    schedule 07.09.2020    source источник
comment
Это помешало бы мне использовать интерполятор ipv4 от ip4s.   -  person Simão Martins    schedule 08.09.2020

Ответы (1)


arrow_upward
1
arrow_downward

Ваша проблема, очевидно, в том, что существуют конфликтующие интерполяторы для ipv4 и ipv6, и компилятор не знает, какой из них использовать.

Проблема конфликтующих имплицитов может быть решена путем присвоения одному из имплицитов более высокого приоритета. Это можно сделать, поместив имплициты с более низким приоритетом в трейт, а затем расширив объект, который объявляет более высокий -приоритетные имплициты.

Имплициты из http4s можно включить в область видимости с помощью трейта AllSyntax:

import com.comcast.ip4s._
import org.http4s.Uri
import org.http4s.syntax.AllSyntax

case class Foo(cidr: Cidr[Ipv4Address] = ipv4"192.168.1.1" / 24)

class MyApp extends AllSyntax {

  val testUri: Uri = uri"http://test.pl" //we can still use uri interpolator from http4s

}

Но это все равно не скомпилируется:

import org.http4s.Uri
import org.http4s.syntax.AllSyntax
import com.comcast.ip4s._

class MyApp extends AllSyntax {

  val testUri: Uri = uri"http://test.pl"
  val ip = ipv4"192.168.1.1" / 24 //compile error

}

К сожалению, ip4s не предоставляет каких-либо трейтов, чтобы включить имплициты в область видимости, поэтому мы могли бы расставить им приоритеты.

Что вы можете сделать, так это создать еще один объект, в который вы скопируете внутренности объекта пакета com.comcast.ip4s, а затем расширите AllSyntax:

import org.http4s.Uri
import org.http4s.syntax.AllSyntax
import com.comcast.ip4s._
import scala.language.experimental.macros

object MySyntax extends AllSyntax {

  //copied from com.comcast.ip4s
  final implicit class IpLiteralSyntax(val sc: StringContext) extends AnyVal {
    def ip(args: Any*): IpAddress = macro LiteralSyntaxMacros.ipInterpolator
    def ipv4(args: Any*): Ipv4Address =
    macro LiteralSyntaxMacros.ipv4Interpolator
    def ipv6(args: Any*): Ipv6Address =
    macro LiteralSyntaxMacros.ipv6Interpolator
    (...)
  }

}

Тогда вы можете использовать его следующим образом:

class MyApp extends App {

  import MySyntax._

  val testUri: Uri = uri"http://test.pl"
  val ip = ipv4"192.168.1.1" / 24 //interpolator from com.comcast.ip4s has higher priority

}
person Krzysztof Atłasik    schedule 08.09.2020
comment
Я надеялся, что есть какой-то трюк с тесаком, о котором я не знал. Может в Дотти есть. Спасибо - person Simão Martins; 08.09.2020