关于 clang AST 和 odr - 析构函数的使用

是否使用了此析构函数 ODR？

是的。引用 basic.def.odr：

如果可能调用类的析构函数，则使用 odr。

其中“潜在调用”有一个不平凡的定义，但简而言之， 在这里为 true，因为声明了一个 类型的对象。main()X

Clang 是什么意思？getDestructor()nullptr

CXXRecordDecl：：getDestructor（） 的文档只是说：

返回此类的析构函数 decl。

甚至不承认它可以返回，更不用说了 解释这意味着什么。根据阅读源码，我 得出结论，这意味着析构函数是微不足道的，并且没有一个 无论如何都会导致创建隐式声明的条件 （见下文）已经满意了。nullptr

这并不意味着 Clang 声称析构函数不是 ODR 使用。Decl：：isUsed（） 方法声称可以报告此信息（参见 上的文档），但它似乎并不完全准确;甚至 如果我通过添加函数来创建析构函数声明，则析构函数仍然没有被标记。setIsUsed()virtualisUsed()

标准不是说应该在这里定义析构函数吗？

是的，但为了符合要求，Clang 只需要生成编译的输出 它的行为“就好像”析构函数已被定义一样。缺少 特定的 AST 节点不会使其不符合要求。即使缺乏 编译对象文件中的定义不会，只要它遵循 相关的 ABI，从而与其他工具合作，再次实现 所需的“仿佛”行为（假设源代码 符合一个定义规则）。

Clang 创建隐式声明的条件是什么？

这似乎没有记录在案，所以我试图从 来源。隐式析构函数声明由 SemaDeclCXX.cpp：13803 创建。 这个函数在几个地方被调用，我没有遵循所有 链向后，但对于第一个近似值，这不会是 如果出现以下情况，则称为：Sema::DeclareImplicitDestructor()

• 析构函数本身是微不足道的，并且
• 该类没有 vtable，并且
• 析构函数之间不需要过载解决方案（这可能 需要 ）。requires

请注意，这是最后一个条件，由于 的声明，这导致 Clang 声明三个隐式结构函数。x

我是否可以强制声明析构函数？

是的！您可以在 a 上调用 Sema：：ForceDeclarationOfImplicitMembers 来强制 Clang 声明隐式成员，甚至 否则它不会这样做。例如，紧接着 解析时，可以使用 RecursiveASTVisitor 遍历 AST 并在每个 .CXXRecordDeclCXXRecordDecl

完成此操作后，所有隐式成员都将可用。

我将如何获得对象？Sema

你不能从 中得到它，因为那只是 AST， while 是创建 AST 过程的一部分。（如果你 如果将 AST 保存到磁盘，然后将其加载回去，则根本不会有对象。ASTContextSemaSema

我的首选方法是使用 ASTUnit：：LoadFromCompilerInvocation 进行初始解析。这会立即产生一个对象， 您可以从中获取 （via ） 和 （via ）。ASTUnitSemagetSema()ASTContextgetASTContext()

如果您改用 ClangTool：：run， 这就是本教程指向人们的内容：

Tool.run(
  clang::tooling::newFrontendActionFactory<MyASTFrontendAction>().get());

抓住 ：CompilerInstanceCreateASTConsumer

class MyASTFrontendAction : public clang::ASTFrontendAction {
public:
  virtual unique_ptr<clang::ASTConsumer> CreateASTConsumer(
    clang::CompilerInstance &ci,
    llvm::StringRef inFile) override
  {
    return make_unique<MyASTConsumer>(ci);
  }
};

然后将其存储在 中，并在需要时使用它：ASTConsumergetSema()

class MyASTConsumer : public clang::ASTConsumer {
public:
  clang::CompilerInstance &m_compilerInstance;

  MyASTConsumer(clang::CompilerInstance &compilerInstance)
    : m_compilerInstance(compilerInstance)
  {}

  virtual void HandleTranslationUnit(clang::ASTContext &Context) override
  {
    clang::Sema &sema = m_compilerInstance.getSema();

    // ...
  }
};