我正在使用 clang 尝试解析(使用 C++ API)一些 C++ 文件，并使所有大小写 - 断点对使用特定样式。

示例:

**Original**

switch(...)
{
   case 1:
   {
      <code>
   }break;

   case 2:
   {
      <code>
      break;
   }
}

**After replacement**

switch(...)
{
   case 1:
   {
      <code>
      break;
   }

   case 2:
   {
      <code>
      break;
   }
}

如果代码部分不包含任何宏，我目前所拥有的正是我想要的。 我的问题是:clang 是否以不同的方式处理扩展(如果我转储有问题的语句，它将显示扩展版本)宏？如果是这样，我怎样才能让它工作？

可能有帮助的其他信息:

我正在使用 Rewriter::ReplaceStmt用新创建的 CompoundStmt 替换每个案例的子语句，我注意到 ReplaceStmt 如果“from”参数包含宏并且该方法返回的唯一方式返回 true 真是如果

Rewriter::getRangeSize(from->getSourceRange())

返回 -1

最佳答案

您的问题是由 SourceLocation 的设计引起的.

下面是一篇文章:

使用 clang 的 SourceLocation 进行宏扩展

SourceLocation旨在足够灵活地处理同时处理未扩展位置和宏扩展位置。

如果 token 是扩展的结果，则需要考虑两个不同的位置:拼写位置(与 token 对应的字符的位置)和实例化位置(使用 token 的位置 - 宏实例化点)。

我们以下面这个简单的源文件为例:

#define MACROTEST bool

int main() {

    int var = 2;
    switch(var)
    {
       case 1:
       {
          MACROTEST newvar;
       }break;

       case 2:
       {
          MACROTEST newvar;
          break;
       }
    }

    return 0;
}

假设我们要替换两个声明语句

MACROTEST newvar;

带有声明语句

int var = 2;

为了得到这样的东西

#define MACROTEST bool

int main() {

    int var = 2;
    switch(var)
    {
       case 1:
       {
          int var = 2;
       }break;

       case 2:
       {
          int var = 2;
          break;
       }
    }

    return 0;
}

如果我们输出 AST (-ast-dump)，我们会得到以下信息(我包含了一张图片，因为它比无色文本更直观):

您可以看到我们感兴趣的第一个 DeclStmt 报告的位置，从第 1 行到第 10 行:这意味着 clang 在转储中报告从宏行到宏的使用点:

#define MACROTEST [from_here]bool

int main() {

    int var = 2;
    switch(var)
    {
       case 1:
       {
          MACROTEST newvar[to_here];
       }break;

       case 2:
       {
          MACROTEST newvar;
          break;
       }
    }

    return 0;
}

_{(请注意，由于我的文本编辑器使用制表符，因此字符数可能与普通空格不同)}

最终，这会触发 Rewriter::getRangeSize 失败 (-1) 和随后的 Rewriter::ReplaceStmt true 返回值(表示失败 - 请参阅文档)。

发生的情况如下:您收到了几个 SourceLocation第一个是宏 ID 的标记(isMacroID() 将返回 true)，而后者不是。

为了成功获得宏扩展语句的范围，我们需要后退一步并与 SourceManager 进行通信。这是您所有拼写位置和实例化位置的查询网关(如果您不记得这些术语，请退后一步)需求。我不能比提供的详细描述更清楚 in the documentation :

The SourceManager can be queried for information about SourceLocation objects, turning them into either spelling or expansion locations. Spelling locations represent where the bytes corresponding to a token came from and expansion locations represent where the location is in the user's view. In the case of a macro expansion, for example, the spelling location indicates where the expanded token came from and the expansion location specifies where it was expanded.

此时您应该明白为什么我首先解释了所有这些内容:如果您打算使用源范围进行替换，则需要使用适当的扩展间隔。。 p>

回到我提出的示例，这是实现它的代码:

SourceLocation startLoc = declaration_statement->getLocStart();
SourceLocation endLoc = declaration_statement->getLocEnd();

if( startLoc.isMacroID() ) {
    // Get the start/end expansion locations
    std::pair< SourceLocation, SourceLocation > expansionRange = 
             rewriter.getSourceMgr().getImmediateExpansionRange( startLoc );

    // We're just interested in the start location
    startLoc = expansionRange.first;
}

if( endLoc.isMacroID() ) {
  // will not be executed
}

SourceRange expandedLoc( startLoc, endLoc );
bool failure = rewriter.ReplaceText( expandedLoc, 
                                     replacer_statement->getSourceRange() );

if( !failure )
    std::cout << "This will get printed if you did it correctly!";

declaration_statement 是两者之一

MACROTEST newvar;

while replacer_statement 是用于替换的语句

int var = 2;

上面的代码会告诉你:

#define MACROTEST bool

int main() {

    int var = 2;
    switch(var)
    {
       case 1:
       {
          int var = 2;
       }break;

       case 2:
       {
          int var = 2;
          break;
       }
    }

    return 0;
}

即宏扩展语句的完整且成功的替换。

引用资料:

• clang documentation
• clang doxygen API
• clang 源代码

关于c++ - 如果语句包含宏，则 clang 无法替换语句，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24062989/