字符提取数字

import console;
var str="中国人123小米456";
console.dump(string.matches(str,"[0-9]+"));
//返回数组
{
[1]={[1]="123"};
[2]={[1]="456"}
}

console.dump(string.match(str,"[0-9]+"));
//返回一个数字
123