斯卡拉下界类型“与”另一种类型？

Question

这是代码

class Result[A] {
    def map[B](f: (Result[A] => Result[B]), xResult: Result[A]) = {
      xResult match {
        case Success(x)    => Success(f(xResult))
        case Failure(errs) => Failure(errs)
      }
    }

    def apply[B](fResult: Result[A], xResult: Result[B]) = {
      (fResult, xResult) match {
        case (Success(f), Success(x))        => Success((f, x))
        case (Failure(errs), Success(a))     => Failure(errs)
        case (Success(a), Failure(errs))     => Failure(errs)
        case (Failure(errs), Failure(errs2)) => Failure(List(errs, errs2))
      }
    }
  }

  case class Success[A](a: A) extends Result[A] {}

  case class Failure[A](a: A) extends Result[A] {}

  def createCustomerId(id: Int) = {
    if (id > 0)
      Success(id)
    else
      Failure("CustomerId must be positive")
  }

这是问题

1）从方法createCustomer的类型推断得出的结果是这样的

Product with Serializable with Result[_ >: Int with String] 

我对“带有可序列化的产品”的东西没有任何疑问，我想知道的是如何对结果进行有意义的处理，而出于好奇，如何初始化这样的类型。

假设我有另一种方法，如下所示

def createCustomer(customerId: Result[_ >: Int with String], email: Result[String]) = {
    how can i read/do something with "customerId" argument
  }

如何初始化这样的类型

val x: Result[Int with String] = ???

笔记：

1. 我知道我的Result类没有任何通用的“ getter”
2. 我知道，如果id> 0时返回“ Success（id.ToString）”，也许方法“ createCustomerId”中的事情可能会更容易，但是我真的很想知道这种较低类型的情况以及如何利用（如果可能）在将来

Answer 1

问题是您的类型定义指出Success和Failure采用相同的参数类型。 但是，您实际上想将其他类型的参数放入“ Failure同时仍然保持协方差。 这是最简单的解决方法：

class Result[A] {

  def map[B](f: (Result[A] => Result[B]), xResult: Result[A]) = {
    xResult match {
      case Success(x) => Success(f(xResult))
      case Failure(errs) => Failure(errs)
    }
  }

  def apply[B](fResult: Result[A], xResult: Result[B]) = {
    (fResult, xResult) match {
      case (Success(f), Success(x)) => Success((f, x))
      case (Failure(errs), Success(a)) => Failure(errs)
      case (Success(a), Failure(errs)) => Failure(errs)
      case (Failure(errs), Failure(errs2)) => Failure(List(errs, errs2))
    }
  }
}

case class Success[A](a: A) extends Result[A] {}

case class Failure[A, B](a: B) extends Result[A] {}

object TestResult extends App {

  def createCustomerId(id: Int): Result[Int] = {
    if (id > 0)
      Success(id)
    else
      Failure("CustomerId must be positive")
  }

  println(createCustomerId(0))
  println(createCustomerId(1))
}

印刷品：

Failure(CustomerId must be positive)
Success(1)

如果您不使用Result[Int]注释createCustomerId返回类型，则编译器将Result[_ <: Int] with Product with Serializable来推断Result[_ <: Int] with Product with Serializable这可能不理想，但也不太差。