假设我有一个像这样的字符串 string
:
"abcd=0; efgh=1"
我想将“abcd”替换为“dddd”。我已经尝试过这样的操作:
string.replaceAll("abcd","dddd");
它不起作用,有什么建议吗?
编辑:
为了更具体,我正在使用Java,并尝试解析HTML文档,具体而言是<script>
标记之间的内容。 我已经找到了一种将此内容解析为字符串的方法:
if(tag instanceof ScriptTag){
if(((ScriptTag) tag).getStringText().contains("DataVideo")){
String tagText = ((ScriptTag)tag).getStringText();
}
}
现在我必须找到一种方法,如何用另一个字符串替换一个子字符串。