Scala之函数式对象之先决条件 scala标识符 辅助构造器