LLVM InstVisitor -没有虚拟函数？
LLVM InstVisitor -没有虚拟函数？
提问于 2017-10-31 21:31:11
我一直在查看他们实现访问者模式的LLVM InstVisitor.h文件。它们的实现与我在访问者模式上看到的任何东西都有很大的不同。
在文档中，我发现了以下内容：
要定义自己的访问者，请继承这个类，为'SubClass‘模板参数指定新类型，并在类中“覆盖”visitXXX函数。我之所以说“重写”，是因为这个类的定义是静态解析重载，而不是虚拟函数。 ..。 注意，这个类被专门设计为一个模板，以避免虚拟函数调用开销。定义和使用InstVisitor与在指令操作代码上拥有自己的开关语句一样有效。
我之所以问这个问题，是因为这个答案说LLVM在这个实现中使用访问者模式，但我不明白为什么它与我所见过的任何其他实现如此不同。
如何在文件中准确地使用访问者模式？
回答 1
Stack Overflow用户
回答已采纳
发布于 2017-11-02 13:01:05
llvm::InstVisitor使用奇怪的循环模板模式(CRTP)，这是一个用于执行访问成员函数静态分配的C++成语。
这样，正确的visitXXX调用将静态解析(在编译时)，避免了动态虚拟调用解析的额外成本。
这是通过调用这样的东西来实现的：
// The compiler will choose the Derived implementation of visitXXX
// if exists, but will fallback to the Base implementation as Derived
// inherits from Base. All done at compile time.
void Base::do_visit() {
return static_cast<Derived *>(this)->visitXXX();
}请注意，不存在类似于“覆盖”的机制:如果您无法匹配一个访问函数的确切函数签名，它将调用基类实现，而不是您自己的。
使用的一个例子与文档所解释的完全相同：
struct CountAllocaVisitor : public InstVisitor<CountAllocaVisitor> {
unsigned Count;
CountAllocaVisitor() : Count(0) {}
void visitAllocaInst(AllocaInst &AI) { ++Count; }
};
// And this class would be used like this:
CountAllocaVisitor CAV;
CAV.visit(function);
NumAllocas = CAV.Count;页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/47044823
复制相关文章
相似问题
腾讯云开发者
