JavaFX学习笔记（03）

这一篇文章对上一篇构建的DSL雏形稍微分析一下

---

现在我先来讲一点知识吧

在Scala里，每一个单例对象A都存在一个单例类型A.type，这个类型只有两个值：A和null。

这个特性实际上是非常冷门的一个特性，实际运用中也比较少见，不过在这里，我大量的使用了单例类型，依靠不同的单例类型的不同方法签名进行方法重载，产生不同的动作。这种依靠重载的设计模式有着用模式匹配，if……else等控制语句难以达到的功能，譬如可以拥有不同的返回值等。

---

现在我们可以开始分析一下上篇的源码了。
SApplication类的伴生对象中的单例对象的作用就是本篇开始时所说的，通过重载实现不同的状态。现在我们来看看Insertionable特质：

trait Insertionable {
    def <<(name: Name.type) = new Ins {
        def <<(name: String) = {
            VarPool(name) = ins
            ins
        }
    }

    def <<(ty: Type.type) = new Ins {
        def <<(sbutton: tSButton.type) = ins match{
            case sb :SButton => sb
            case _ => throw new ClassCastException
        }
    }

    class Ins(val ins: Insertionable = this)

}

首先是class Ins(val ins: Insertionable = this)，这一个内部类的主构造器接受一个Insertionable 特质类型的参数，并且默认参数为包含这个内部类的Insertionable类型参数自身的引用。这一个内部类是为了方便<<方法构建对象而创。

def <<(ty: Type.type) = new Ins {
        def <<(sbutton: tSButton.type) = ins match{
            case sb :SButton => sb
            case _ => throw new ClassCastException
        }
    }

这个方法的作用是通过ins :Insertionable << Type << t: tSButton.type的形式将ins转换为SButton类型。在我们调用ins << Type的时候，他会返回一个作为Ins类的子类的匿名类型，这个类型包含着由Ins类的主构造器得到的ins的引用，同时有一个<<(tSButton.type)方法，这里也是我使用单例类型的核心所在。在以后，需要进行的强制转换的时候，只需要添加单例对象的数量，并添加新的接受单例类型的函数重载即可。

def <<(name: Name.type) = new Ins {
        def <<(name: String) = {
            VarPool(name) = ins
            ins
        }
    }

这里就是以ins :Insertionable << Name << name:String的形式建立变量的原型。在接受了一个Name.type类型的Name对象之后，他会生产出一个匿名类的对象，持有ins的引用同时有一个<<(String)方法。在调用这个<<(String)方法的时候，引用到了声明在SApplication类伴生对象的VarPool变量，VarPool变量的声明是：val VarPool = new mutable.HashMap[String, Insertionable]，很显然，他是一个以String类型的name为键，Insertionable类型为值的一个哈希表。通过这个变量池，我们就可以摆脱碍眼的变量声明，而直接从变量池中取用值了。