字符提取数字

admin2021-05-13  223

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