如何检查字符串是否为有效的sed替换表达式？

不要依赖单一正则表达式处理，因为转义分隔符的场景会让正则变得异常复杂。采用分步字符遍历解析的方式更可靠，逻辑清晰且易于移植到C++/Qt中。

核心逻辑（算法步骤） #

sed替换命令的基础格式为：s<分隔符>查找内容<分隔符>替换内容[<分隔符>]，其中分隔符可以是任意非空白字符，内容中的分隔符可通过\转义。我们的验证逻辑如下：

1. 起始校验

   • 字符串长度至少为3（最短合法示例：s/a/b），否则直接判定无效。
   • 首字符必须是's'，第二个字符不能是空白字符（空格、制表符等），将第二个字符记为分隔符delim。

2. 定位查找部分的结束位置

   • 从索引2开始遍历字符串：
     • 遇到'\'时，直接跳过下一个字符（无论该字符是什么，都视为被转义）。
     • 遇到未被转义的delim时，记录当前索引为查找部分的结束位置，跳出遍历。
     • 若遍历到字符串末尾仍未找到该分隔符，判定无效（如测试用例s/foo）。

3. 验证替换部分存在

   • 从查找部分结束位置的下一个索引开始继续遍历：
     • 同样处理转义符：遇到'\'则跳过下一个字符。
     • 若遇到未被转义的delim：说明替换部分存在（即使为空），判定有效；后续可忽略剩余字符（允许添加sed标志位）。
     • 若遍历到字符串末尾：需确保替换部分的起始位置到末尾的长度大于0（即替换部分不能完全为空，对应测试用例s/foo\/bar/的失败场景）。

C++/Qt代码实现示例 #

#include <QString>
#include <QChar>

bool isValidSedReplaceExpr(const QString& expr) {
    // 步骤1：起始校验
    if (expr.length() < 3) {
        return false;
    }
    if (expr.at(0) != 's') {
        return false;
    }
    QChar delim = expr.at(1);
    if (delim.isSpace()) {
        return false;
    }

    int idx = 2;
    int len = expr.length();

    // 步骤2：查找部分的结束位置
    int endRegex = -1;
    while (idx < len) {
        QChar c = expr.at(idx);
        if (c == '\\') {
            idx += 2; // 跳过转义符和被转义的字符
            continue;
        }
        if (c == delim) {
            endRegex = idx;
            break;
        }
        idx++;
    }
    if (endRegex == -1) {
        return false; // 未找到查找部分的结束分隔符
    }

    // 步骤3：验证替换部分存在
    idx = endRegex + 1;
    bool foundDelim = false;
    int replaceStart = idx;
    while (idx < len) {
        QChar c = expr.at(idx);
        if (c == '\\') {
            idx += 2;
            continue;
        }
        if (c == delim) {
            foundDelim = true;
            break;
        }
        idx++;
    }

    // 两种合法情况：要么找到替换部分的结束分隔符，要么替换部分有内容（长度>0）
    return foundDelim || (idx - replaceStart > 0);
}

测试用例验证 #

将你的测试用例代入上述函数，结果如下：

• s/foo/bar/：符合所有步骤，返回true（pass）
• s|foo|bar/：分隔符为|，替换部分为bar/，返回true（pass）
• s/foo\//bar\//：查找部分的\/被转义，替换部分同理，返回true（pass）
• s/foo\/bar/：替换部分起始位置等于字符串末尾（长度为0），返回false（fail）
• s/foo：未找到查找部分的结束分隔符，返回false（fail）

内容的提问来源于stack exchange，提问作者LorenDB