我想同时替换两次

zangshufei

1. import io;
   
2. import string;
   
3. str= "123456eeetttt";
   
4. string.save("c:\qq.txt",str )
   
5. str=string.replace(str,"123456","aaa");
   
6. str=string.replace(str,"tttt","1111");//这种方法只能替换一次，我想同时替换123456和tttt
   
7. import console
   
8. console.log(str);
   
9. console.pause();
   
10. 
    

复制代码

xudhrh

可以吗，可以吗？可以吗？可以吗？

我觉得，这个得自己写库

落伍者

str="123456eeetttt";

sss=string.replace(str,"<123456>|<tttt>",function(s){
    if(s="123456"){
        return "aaa";
    }
    else{
        return "1111";
    }
})

import win;
win.msgbox(sss,"aardio");

zangshufei

学到了.............

quicker

str="123456eeetttt";

str = string.replace(
    str,
    "<123456>|<tttt>",
    //替换内容可以是字符串,也可以是一个函数,也可以象下面这样,是一个table
    {
        ["123456"] = "aaa";
        ["tttt"] = "1111" ;
    }
)

import console
console.log( str )

zangshufei

帮助文档里面好像没这么说;
都是实践来的吧....
学到了.....更多了......

xudhrh

replace=function(sss,s,j){

   for(i=1;#s;1){
        sss = string.replace(sss,s[ i ],j[ i ])
   }
   
   return sss;
}
str = "123456eeetttt"
ss = replace(str,{"123456";"tttt"},{"aaa";"1111"})
import console
console.log(ss)


replace=function(sss,s){

   for(i=1;#s;1){
        a,b = string.match(s[ i ],"(.*)\@\#(.*)")
        sss = string.replace(sss,a,b)
   }
   
   return sss;
}
str = "123456eeetttt"
sj = {}
table.push(sj,"123456@#aaa")
table.push(sj,"tttt@#1111")
ss = replace(str,sj)
import console
console.log(ss)

freemanol

原来可以这样子，平时很少用，真不知道

namwonsta

挺一下xudhrh，为了使大家充分认识到这段程序的价值，我注释和修改了一下他的一段code，供大家参考讨论。

replace=function(str,config){
    for(i=1;#config;1)
        str = string.replace(str,string.match(config[ i ],"^(.+)@#(.*?)$")); //@#可自定义也可机器学习获得，然后传参拼接

    return str;
}

str = "123456eeetttt1234567@#"

设置 = {} //为交互准备一个表
table.push(设置,"\d+@#aaa") //人类信息1
table.push(设置,"t{4}@#1111") //人类信息2
table.push(设置,"\@#@#")  //人类信息3

ss = replace(str,设置)
import console
console.log(ss)

jyb21

namwonsta 发表于 2011-5-23 14:10
挺一下xudhrh，为了使大家充分认识到这段程序的价值，我注释和修改了一下他的一段code，供大家参考讨论。
...

真实看不懂，要努力很久啊

不争

str="123456eeetttt";

sss = string.replace(str,"<123456>|<tttt>",{
    ["123456"] = "aaa";
    ["tttt"] = "1111"
} )

import win;
win.msgbox(sss,"aardio");