Java String 在拼接时的编译器优化