字符串操作

1.插值（或连接），拼接字符串

如果要在字符串中插入表达式的值，可以在字符串的文字中使用${…}（#{…}）。${...}的作用和在文本区的是相同的。假设用户是”Big Joe”，看下面的代码：

${"Hello ${user}!"}
${"${user}${user}${user}${user}"}

将会打印如下内容：
Hello Big Joe!
Big JoeBig JoeBig JoeBig Joe

另外，也可以使用+号来达到类似的效果，这是比较老的方法，也叫做字符串连接。示例如下：

${"Hello " + user + "!"}
${user + user + user + user}


2.获取一个字符
假设user不是string对象
转化成字符串
${user?string}
获取一个字符
$(name[0]}

获取范围内的字符
比如${user[1..4]}和${user[4..]}
或者使用函数substring
${name?substring(0,4)}