Início / coding / Perguntas / 77245585
Accepted
Dima
Asked: 2023-10-06 23:13:41 +0800 CST

Por que esta composição da camada ZIO não é compilada?

  • 772

Obviamente, este não foi exatamente o meu caso de uso, mas aqui está o MCVE, demonstrando o problema:

  def bad = {
    val in: ZLayer[Any, Any, String] = null
    val layer: ZLayer[String with Int with Double, Any, Double] = null
    val out: ZLayer[Any & Int, Any, Double] = in >>> layer
  }

Isso deve funcionar, certo? Intellij concorda e diz que está tudo certo... até você clicar em compilar. O compilador diz:

 found   : zio.ZLayer[String with Int with Double,Any,Double]
 required: zio.ZLayer[String with Any with Int,Any,Double]

O que??? Por que?

Curiosamente, se você alterar o primeiro Doublepara a String(ou para qualquer outra coisa, se você ajustar o outtipo), funcionará bem:

  def good = {
    val in: ZLayer[Any, Any, String] = null
    val layer: ZLayer[String with Int with String, Any, Double] = null
    val out: ZLayer[Any & Int, Any, Double] = in >>> layer
  }

Alguma ideia? Estou começando a pensar, isso é um bug do compilador?

scala

1 respostas

  1. Best Answer

    Alguns tipos de tetris :) Vamos visualizar o que está acontecendo aqui:

    camada requer fornece
    em - Corda
    camada String, Int, Duplo Dobro
    em >>> camada Interno, Duplo Dobro
    fora Interno Dobro

    Quando você compõe ine layerpara in >>> layer, inelimina Stringo que é exigido por layer, mas o restante ( Inte Double) ainda é exigido pela camada resultante. No entanto, a anotação de tipo outno seu badexemplo afirma que requer apenas Int, o que não é correto.

    Observe que existem diferentes maneiras de corrigir o erro em bad:

    1. Adicione Doubleao que é exigido porout
    2. Remova Doubledo que é exigido porlayer
    3. Adicione Doubleao que é fornecido porin

    Parece que o compilador considera o tipo de outcorreção e sugere a segunda solução, que é exatamente o que você fez no good.

    • 2

relate perguntas