3

我正在尝试编写一个转换库，用于将一些 scala 类型转换为 HTML 表示。List(1,2).toHtml比如说，我想<ul><li>1</li><li>2</li></ul>以String.
到目前为止，我已经编写了一组隐式转换，它们在检测结果类型和应用正确的toHtml.

让我展示一个示例： 

object Conversions {

  implicit def fromIterable[A](l : Iterable[A]) = new Object {
       def toHtml = <ul> { l.map{ e => <li>{ e }</li> } } </ul> toString
  }
}
import Conversions._

使用此代码，每当我询问编译器时，List(1,2).toHtml我都会得到正确的转换。就像任何其他Iterableval 一样。

我的问题和问题是我如何递归地使用这个 toHtml 转换？因为如果我键入List( List(1,2), List(3,4) ).toHtml我想要得到<ul> <li><ul><li>1</li><li>2</li></ul></li> <li><ul><li>3</li><li>4</li></ul></li> </ul>的，toHtml转换会递归地应用于输入的每个元素Iterable。

我试图将toHtml定义更改为def toHtml = <ul> { l.map{ e => <li>{ e.toHtml }</li> } } </ul> toString不起作用，因为编译器告诉我value toHtml is not a member of type parameter A这是完全合理的。
我知道我的问题可能在于new Object { ... }我从fromIterable[A]隐式定义返回，这可能应该返回一个具有特征或其他东西的类。
我已经尝试阅读很多关于隐式的内容，但我还没有弄清楚能够递归地应用这种toHtml转换，而无需取消参数化 fromIterable 签名并定义几个特定情况，例如fromIterable(l : List[List[Any]])或类似的东西......

你们能否请我给我一些关于如何实现它的建议以及我做错了什么？

谢谢！

4

2 回答 2

7

您可以使用类型类以优雅且类型安全的方式解决此类问题：

// Evidence that we can turn an A into some XML:
trait Markup[-A] { def toHtml(a: A): xml.Node }

def baseMarkup[A] = new Markup[A] { def toHtml(a: A) = xml.Text(a.toString) }

implicit def markup[A](implicit m: Markup[A] = baseMarkup[A]) =
  new Markup[Iterable[A]] {
    def toHtml(c: Iterable[A]) = <ul>
      { c.map(child => <li>{ m.toHtml(child) }</li>) }
    </ul>
  }

implicit def fromMarkup[A](a: A)(implicit m: Markup[A]) = new {
  def toHtml = m toHtml a
}

这适用于任意深度的嵌套列表：

val messy = List(List(List("a")), List(List("b", "c"), List("c")))

val printer = new xml.PrettyPrinter(80, 2)

接着：

scala> printer format messy.toHtml
res1: String = 
<ul>
  <li>
    <ul>
      <li>
        <ul>
          <li>a</li>
        </ul>
      </li>
    </ul>
  </li>
  <li>
    <ul>
      <li>
        <ul>
          <li>b</li>
          <li>c</li>
        </ul>
      </li>
      <li>
        <ul>
          <li>c</li>
        </ul>
      </li>
    </ul>
  </li>
</ul>

有关上述方法的更详细说明，请参见我的答案。

于 2012-12-02T19:58:15.753 回答
4

让我们首先看看我们如何在没有整个隐式/对象和转换的情况下做到这一点。我也删除了，toString但随时可以随叫随到。

def toHtml[A](l:Iterable[A]):scala.xml.Elem  = 
  <ul> {l.map( _ match{ 
    case e:Iterable[_] => <li>{toHtml(e)}</li> 
    case e => <li>{e}</li>
  })}</ul>

// Exiting paste mode, now interpreting.

toHtml: [A](l: Iterable[A])scala.xml.Elem
scala> toHtml(List(List(1,2), List(3,4)))
res17: scala.xml.Elem = <ul> <li><ul> <li>1</li><li>2</li></ul></li><li><ul> <li>3</li><li>4</li></ul></li></ul>

现在让我们重新包装所有内容以回答您的问题：

object Conversions {
  implicit def fromIterable[A](l : Iterable[A]):Object{def toHtml:xml.Elem} = new Object {
    def toHtml:xml.Elem  = 
      <ul>{l.map( _ match{ 
        case e:Iterable[_] => <li>{e.toHtml}</li> 
        case e => <li>{e}</li>
      })}</ul>
  }
}
import Conversions._

这给出了预期的结果：

scala> List(List(1,2), List(3,4)).toHtml
res3: scala.xml.Elem = <ul><li><ul><li>1</li><li>2</li></ul></li><li><ul><li>3</li><li>4</li></ul></li></ul>

几点说明：

  • 其次，我必须给出“fromIterable”方法的返回类型。我确信存在更好的解决方案，但我对隐式转换没有经验。
  • 最后，如果有人有建议，我很乐意编辑我的答案。（或随意编辑）
于 2012-12-02T18:58:15.403 回答