Удаление предупреждения "устранено стиранием" в Scala

Question

У меня есть простая функция Scala, которая генерирует файл Json из Map[String, Any],

  def mapToString(map:Map[String, Any]) : String = {
    def interpret(value:Any)  = {
      value match {
        case value if (value.isInstanceOf[String]) => "\"" + value.asInstanceOf[String] + "\""
        case value if (value.isInstanceOf[Double]) => value.asInstanceOf[Double]
        case value if (value.isInstanceOf[Int]) => value.asInstanceOf[Int]
        case value if (value.isInstanceOf[Seq[Int]]) => value.asInstanceOf[Seq[Int]].toString.replace("List(", "[").replace(")","]")
        case _ => throw new RuntimeException(s"Not supported type ${value}")
      }
    }
    val string:StringBuilder = new StringBuilder("{\n")
    map.toList.zipWithIndex foreach {
      case ((key, value), index) => {
        string.append(s"""  "${key}": ${interpret(value)}""")
        if (index != map.size - 1) string.append(",\n") else string.append("\n")
      }
    }
    string.append("}\n")
    string.toString
  }

Этот код работает нормально, но при компиляции выдает предупреждающее сообщение.

Warning:(202, 53) non-variable type argument Int in type Seq[Int] (the underlying of Seq[Int]) 
is unchecked since it is eliminated by erasure
        case value if (value.isInstanceOf[Seq[Int]]) => 
value.asInstanceOf[Seq[Int]].toString.replace("List(", "[").replace(")","]")
                                                ^

Линия case value if (value.isInstanceOf[Seq[Int]]) вызывает предупреждение, и я попытался case value @unchecked if (value.isInstanceOf[Seq[Int]]) убрал предупреждение, но оно не работает.

Как убрать предупреждение?

Answer 1

Если вы действительно не заботитесь о типе компонента (и, похоже, вам это не нужно, все, что вам нужно сделать, это привести его в соответствие):

case value if (value.isInstanceOf[Seq[_]]) => 
    value.asInstanceOf[Seq[_]].toString.replace("List(", "[").replace(")","]")

Если подумать, вы должны быть в состоянии позвонить toString в любом случае:

case value if (value.isInstanceOf[Seq[_]]) => 
    value.toString.replace("List(", "[").replace(")","]")

но вместо toString после чего возиться со строкой рассмотреть Seq#mkString

value.mkString("[", ",", "]")

Наконец, эта модель isInstanceOf/asInstanceOf может быть заменен спичкой (во всех случаях)

case value: Int => value    // it's an Int already now, no cast needed 
case value: Seq[_] => value.mkString("[", ",", "]")

Answer 2

Вы могли бы сделать следующее,

case value: String => ???
case value: Double => ???
case value: Int => ???
case value: Seq[Int] @unchecked => ???

или как упомянул @Thilo

case value: Seq[_] => 

Answer 3

Это лучший код, который не генерирует предупреждающих сообщений (с подсказками Тило и Лукаша).

  def mapToString(map:Map[String, Any]) : String = {
    def interpret(value:Any)  = {
      value match {
        case value:String => "\"" + value + "\""
        case value:Double => value
        case value:Int => value
        case value:Seq[_] => value.mkString("[",",","]")
        case _ => throw new RuntimeException(s"Not supported type ${value}")
      }
    }
    map.toList.map { case (k, v) => s"""  "$k": ${interpret(v)}""" }.mkString("{\n", ",\n", "\n}\n")
  }