AST 中的表达式大小对于成员访问不正确

Question

假设我有以下代码：

struct S {
int abcd = 0;
};
int main() {
S s;
return s.abcd;
}

相应的 AST 部分：

-FunctionDecl 0x563ddd3a3e20 <line:5:1, line:8:1> line:5:5 main 'int ()'
`-CompoundStmt 0x563ddd3a4570 <col:12, line:8:1>
|-DeclStmt 0x563ddd3a44e0 <line:6:1, col:4>
| `-VarDecl 0x563ddd3a3f40 <col:1, col:3> col:3 used s 'S' callinit
|   `-CXXConstructExpr 0x563ddd3a44b8 <col:3> 'S' 'void () noexcept'
`-ReturnStmt 0x563ddd3a4560 <line:7:1, col:10>
`-ImplicitCastExpr 0x563ddd3a4548 <col:8, col:10> 'int' <LValueToRValue>
`-MemberExpr 0x563ddd3a4518 <col:8, col:10> 'int' lvalue .abcd 0x563ddd3a3d10
`-DeclRefExpr 0x563ddd3a44f8 <col:8> 'S' lvalue Var 0x563ddd3a3f40 's' 'S'

问题是：根据 AST 的说法，return 语句跨越 10 列，而实际上它跨越 13 列。

但是，如果我们在成员访问周围加上大括号，那么它会给出预期的大小：

int main() {
S s;
return (s.abcd);
}

`-FunctionDecl 0x562842792e20 <line:5:1, line:8:1> line:5:5 main 'int ()'
`-CompoundStmt 0x562842793590 <col:12, line:8:1>
|-DeclStmt 0x5628427934e0 <line:6:1, col:4>
| `-VarDecl 0x562842792f40 <col:1, col:3> col:3 used s 'S' callinit
|   `-CXXConstructExpr 0x5628427934b8 <col:3> 'S' 'void () noexcept'
`-ReturnStmt 0x562842793580 <line:7:1, col:15>
`-ImplicitCastExpr 0x562842793568 <col:8, col:15> 'int' <LValueToRValue>
`-ParenExpr 0x562842793548 <col:8, col:15> 'int' lvalue
`-MemberExpr 0x562842793518 <col:9, col:11> 'int' lvalue .abcd 0x562842792d10
`-DeclRefExpr 0x5628427934f8 <col:9> 'S' lvalue Var 0x562842792f40 's' 'S'

此外，您可以看到ParenExpr跨越 8-15 列，而MemberExpr跨越 9-11 列，这暴露了后来 AST 节点的奇怪之处。

我错过了什么吗？

我正在进行源到源转换，我想获得表达式/语句的正确大小。现在我不知道该怎么做。 原始 return 语句的getEndLoc()还返回.的位置(点运算符(。

clang version 9.0.1

Answer 1

我决定在 cfe-dev 邮件列表中寻求帮助，这是我学到的。

似乎我完全误解了getBeginLoc()/getEndLoc()的含义.getBeginLoc()返回第一个标记的开头的位置，而getEndLoc()返回最后一个标记的开头。

要获得令牌的末尾，可以使用Lexer::getLocForEndOfToken(...)。

文档也可能有所帮助： https://clang.llvm.org/docs/InternalsManual.html#sourcerange-and-charsourcerange