c++ - Vera++ TCL 规则 : list all local variables

Question

<分区>

Answer 1

使用 vera++ 规则解析局部(或任何其他)变量定义非常复杂，但当然可行。基本的 C++ 解析和标记化由 vera++ 完成。

基本方法是使用vera++的getTokens功能与检查完整的 C++ 语句的小状态机结合使用。您需要收集标记(可能还包括它们的值，因为稍后您将需要变量名来设置列表)并将它们连接起来，直到您有一个完整的语句。如果您有完整的语句，您可以使用正则表达式来检查它是否是变量定义并从子匹配中提取变量名称。你还需要记住你是否在 {} 中。 block 以了解它是否是局部变量定义。

您可以在 vera++ 的规则 T019 中找到一个示例，用于构建一个简单的状态机来收集语句的标记，该规则检查完整的花括号代码块，以此作为起点。

我已经使用 vera++ 解析变量定义(以检查各种命名约定)，但遗憾的是无法发布完整代码，因为它是我雇主的专有工作。但我可以给你一个片段，显示我用来检查变量声明的正则表达式:

set isVar false
if [regexp {\s+((extern\s+)?(static\s+|mutable\s+|register\s+|volatile\s+)?(const\s+)?)?((identifier#[^#]+#\s+colon_colon\s+)*identifier#[^#]+#)\s+(star\s+|const\s+|and\s+|less.*greater\s+|greater\s+)*(identifier#[^#]+#\s+colon_colon\s+)*identifier#([^#]+)#(\s+leftbracket.*rightbracket)?(\s+assign)?.*semicolon$} $statement m s1 s2 s3 s4 s5 s6 s7 s8 s9 s10] {
    set locVarname $s9
    set isVar true
    set currentMatch $m
} elseif [regexp {\s+((extern\s+)?(static\s+|mutable\s+|register\s+|volatile\s+)?(const\s+)?)?(char\s+|int\s+|short\s+|long\s+|void\s+|bool\s+|double\s+|float\s+|unsigned\s+|and\s+|star\s+|unsigned\s+)+(identifier#[^#]+#\s+colon_colon)*\s+identifier#([^#]+)#(\s+leftbracket.*rightbracket)?(\s+assign)?.*semicolon$} $statement m s1 s2 s3 s4 s5 s6 s7 s8] {
    set locVarname $s7
    set isVar true
    set currentMatch $m
}

$statement包含前面提到的完整语句。请注意，我将 token 值连接到 identifier token 使用 identifier#<value>#并使用正则表达式组来提取它。