Scala中变高变宽的实现：heighten和widen

我们现在需要最后一个改良。展示在代码10.11中的Element的版本并不完全，因为他不允许客户把不同宽度的元素堆叠在一起，或者不同高度的元素靠在一起。比方说，下面的表达式将不能正常工作，因为组合元素的第二行比第一行要长：

new ArrayElement(Array("hello")) above  



new ArrayElement(Array("world!"))  

与之相似的，下面的表达式也不能正常工作，因为第一个ArrayElement高度为二，而第二个的高度只是一：

new ArrayElement(Array("one", "two")) beside  



new ArrayElement(Array("one"))  

51CTO编辑推荐：Scala编程语言专题

代码10.13展示了一个私有帮助方法，widen，能够带个宽度做参数并返回那个宽度的Element。结果包含了这个Element的内容，居中，左侧和右侧留需带的空格以获得需要的宽度。代码10.13还展示了一个类似的方法，heighten，能在竖直方向执行同样的功能。widen方法被above调用以确保Element堆叠在一起有同样的宽度。类似的，heighten方法被beside调用以确保靠在一起的元素具有同样的高度。有了这些改变，布局库可以待用了。

import Element.elem  



abstract class Element {  



 def contents: Array[String]  



 def width: Int = contents(0).length  



 def height: Int = contents.length  


 def above(that: Element): Element = {  



  val this1 = this widen that.width  




  val that1 = that widen this.width  



  elem(this1.contents ++ that1.contents)  


 }  


 def beside(that: Element): Element = {  



  val this1 = this heighten that.height  




  val that1 = that heighten this.height  



  elem(  



   for ((line1, line2) < - this1.contents zip that1.contents)  



   yield line1 + line2  


  )  


 }  


 def widen(w: Int): Element =  



  if (w < = width) this 




  else {  




   val left = elem(' ', (w - width) / 2, height)  




   var right = elem(' ', w C width - left.width, height)  




   left beside this beside right  



  }  


 def heighten(h: Int): Element =  



  if (h < = height) this 




  else {  




   val top = elem(' ', width, (h - height) / 2)  




   var bot = elem(' ', width, h C height - top.height)  




   top above this above bot  



 }  



 override def toString = contents mkString "\n" 



}