POSIX正则语法合法性只能通过POSIX C API的regcomp()判断，std::regex不支持POSIX BRE/ERE且无法区分其语法错误；regcomp()传REG_EXTENDED为ERE、不传为BRE，需配合regfree()释放资源并检查如REG_EBRACK等POSIX特有错误码。

POSIX正则在C++里没有直接的“合规性校验”函数

标准C++（包括C++11及之后）的 std::regex 默认使用ECMAScript语法，不是POSIX BRE/ERE。它不提供接口来检查一个字符串是否“符合POSIX正则语法规则”——换句话说，std::regex 不会告诉你 "[a-z{" 是非法POSIX表达式，而只是在构造时抛出 std::regex_error（且错误类型是通用的，不区分POSIX语法错误）。

用 regcomp() 检测POSIX正则语法合法性

真正能判断POSIX正则（BRE或ERE）是否语法合法的，是POSIX C API的 regcomp()。它在编译失败时返回非零值，并可通过 regerror() 获取具体原因。这是目前最贴近“判断是否符合POSIX标准”的实操方式。

• regcomp() 的 cflags 参数决定模式：传 REG_EXTENDED 表示 ERE，不传则为 BRE
• 必须用 regfree() 释放资源，否则内存泄漏
• 错误码如 REG_EBRACK（括号不匹配）、REG_ERANGE（字符范围无效）等，才是真正POSIX定义的语法错误
• 注意：Windows下无原生POSIX regex支持，需依赖MSYS2、Cygwin或第三方库（如libpcre2）

int is_posix_regex(const char* pattern, int cflags) {
    regex_t reg;
    int ret = regcomp(&reg, pattern, cflags);
    if (ret != 0) {
        char errbuf[256];
        regerror(ret, &reg, errbuf, sizeof(errbuf));
        // errbuf 可能含 "Invalid range end" 等POSIX特有提示
        regfree(&reg);
        return 0;
    }
    regfree(&reg);
    return 1;
}

别把 std::regex 的异常当POSIX合规判断

很多人误以为捕获 std::regex_error 就等于验证了POSIX兼容性，但这是错的：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

• std::regex 在GCC/libstdc++中实际使用ECMAScript引擎，"(a|b)?" 合法，但POSIX BRE中 ? 是字面量，不支持——std::regex 却能编译成功
• Clang libc++ 的 std::regex 甚至不完全支持ECMAScript，更别说POSIX；部分版本直接禁用，抛出 std::regex_constants::error_collate
• std::regex_constants::syntax_option_type 中没有 regex_constants::basic 或 extended 的标准化映射，各实现自由解释

真正需要POSIX行为时，绕不开 regcomp() + 手动选型

如果你的场景明确要求“这段字符串必须能被POSIX系统（如Linux grep -E）接受”，唯一可靠路径就是调用POSIX C接口，并严格指定 REG_EXTENDED 或默认BRE模式。不要依赖C++标准库的正则设施做合规判定。

立即学习“C++免费学习笔记（深入）”；

容易忽略的一点：POSIX正则本身分BRE和ERE，二者元字符集不同（比如BRE中 +、?、{ 需转义才具特殊含义），而 regcomp() 不会自动推断你想要哪种——cflags 必须显式设置，否则默认BRE，可能和你的预期不符。