如何用正则检查C++类ExampleClass函数首行是否调用EXAMPLE_MACRO

你遇到的核心问题是原正则用了非贪婪匹配[\s\S]*?{，会把函数内部的{当成函数体的结束标记，导致误匹配。下面给出适配场景的正则方案：

修正后的正则表达式 #

ExampleClass::\w+\s*\([\s\S]*?\)\s*(const)?\s*\{\s*(?:\/\/.*?\n|\s*)*?(?!EXAMPLE_MACRO\(\);)

正则各部分解释 #

• ExampleClass::\w+：精准匹配目标类的函数前缀
• \s*\([\s\S]*?\)：匹配函数参数列表（非贪婪模式适配多行参数定义）
• \s*(const)?\s*：兼容成员函数的const修饰符
• \{\s*：定位函数体的起始大括号，跳过后续空白
• (?:\/\/.*?\n|\s*)*?：跳过函数体开头的所有空白行和单行注释，只关注有效代码行
• (?!EXAMPLE_MACRO\(\);)：正向否定预查，确保第一个有效代码行不是目标宏调用

测试用例验证 #

针对你给出的三个测试函数：

• ExampleFunction1：函数体开头无宏调用，正则会匹配到该函数，符合预期
• ExampleFunction2/3：函数体开头明确调用了EXAMPLE_MACRO();，正则不会匹配，符合预期

注意事项 #

如果你的函数参数中存在嵌套括号（比如默认参数里的复杂表达式），非贪婪匹配可能会提前终止参数解析。这种极端场景下，建议结合VS的代码分析工具（比如自定义规则）来补充检查，正则更适合常规场景下的快速扫描。

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