Java 13 新增String　API

1.String.formatted(java.lang.Object[])

字符串格式化方法：

System.out.println("Hello %s!".formatted("World")); // Hello World!

底层是调用 Java 1.５添加的Formatter:

public String formatted(Object... args) {
    return new Formatter().format(this, args).toString();
}

２.String.stripIndent()

清除行首空隙方法

比如：

var s1 = "    foo\n.   bar";

输出到屏幕是这样的：

System.out.println(s1);

    foo
    bar

使用stripIndent方法后是这样的：

System.out.println(s1.stripIndent());

foo
bar

3.String.translateEscapes()

转义字符执行（逃脱）方法

可以使用这个方法将字符串中的转义字符替换为转义后的结果：

System.out.println("\n".equals("\\n".translateEscapes())); // true