字符提取数字

admin2021-05-13  121

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
转载请注明原文地址: http://aardio.net/read-183.html
最新回复(0)