sed 替换字符串

Question

(declare-const buabor Real)

我想替换为

(declare-fun buabor () Real)

用sed可以做到吗？

我试过了

sed 's/(declare-const\s([a-z])\s(Real))/(declare-fun\s\2\(\)\3/)g'

但无法得到结果 任何帮助都会很棒

Answer 1

应该这样做（假设GNU sed 使用\s）：

sed 's/(declare-const\s\([a-z]*\)/(declare-fun \1()/'

• 默认使用 BRE，所以( 和) 将在搜索部分按字面意思匹配。另请参阅手册中的BRE-vs-ERE 部分
• \( 和 \) 将成为捕获组
• [a-z]* 将匹配零个或多个小写字母
• 该行的其余部分不需要匹配并用于替换部分，因为它没有被修改

更多观察：

• ( 和 ) 在替换部分并不特殊
• \s 在替换部分再次不是特殊的，将插入 s