java 函数式编程 构造方法