c++ - clang 中方法 classof 的目的是什么？

Question

让我举个例子来解释我想做什么(或者至少知道这是否可行):

在 Clang 中，让我们使用一些基本的 ValueDecl .正如您在提供的链接中所见，此 ValueDecl 可以:

• 做一个简单的ValueDecl
• 成为DeclaratorDecl
• 成为 EnumConstantDecl
• 成为 IndirectFieldDecl
• 成为 UnresolvedValueDecl

我想知道，给定一个 ValueDecl *，我是否可以确定它是否是上面列出的类之一，或者我是否受此 ValueDecl * 的约束？

在每个类(class)，都有这个bool classof()方法，但我不明白这个方法的目的。它可以解决我的问题吗？

Answer 1

classof确实是解决方案的一部分，但通常并不意味着直接使用。

相反，您应该使用 isa<> , cast<> and dyn_cast<> templates . LLVM 程序员手册中的示例:

static bool isLoopInvariant(const Value *V, const Loop *L) {
  if (isa<Constant>(V) || isa<Argument>(V) || isa<GlobalValue>(V))
    return true;

  // Otherwise, it must be an instruction...
  return !L->contains(cast<Instruction>(V)->getParent());
}

cast<>之间的区别和 dyn_cast<>是前者断言是否无法转换实例，而前者仅返回空指针。

备注:cast<>和 dyn_cast<>不允许空参数，您可以使用 cast_or_null<>和 dyn_cast_or_null<>如果参数可能为空。

---

对于没有virtual的多态设计的进一步理解方法，参见 How is LLVM isa<> implemented , 你会注意到它使用了 classof在幕后。