v8中的visitor模式

在设计模式中，有一种visitor模式，它给出了一种在编译器构造时使用的经典模式，如下图所示：

语法树的节点存在不同的类型，在不同的编译阶段对这些节点的操作是不同的，为了避免操作与数据的耦合，产生了visitor模式，如下图所示：

实际上，基于以下的矩形空间考虑，可以理解的更加清楚

	AssignmentNode	VariableNode
TypeChecking	TypeChecking-AssignmentNode	TypeChecking-VariableNode
CodeGenerate	CodeGenerate-AssignmentNode	CodeGenerate-VariableNode

这里有两方面内容，在同一个编译阶段，针对不同的Node，操作是不同的；在不同的编译阶段，针对同一个Node，操作也是不同的，visitor模式就是用来处理这种耦合的。

首先，不同的visitor就区分了不同的编译阶段的操作，把同一个阶段，针对所有节点的操作聚合到一起，在遍历节点的时候，调用Node提供的虚函数Accept，同时把自己作为参数传递给Accept，由于虚函数的特性，实现了不同Node节点操作的区分。由于此时节点的类型已经可以确定，所以节点的Accept操作又把操作委托给参数visitor的相应类型的操作。

下面我们来看看v8是如何实现这种模式的，在v8中AstVisitor是Visitor模式的基类，以v8::internal::Processor和v8::internal::FullCodeGenerator为例

Processor类从AstVisitor继承，它在rewriter中调用，负责遍历list中的statement，并改写它们

void Processor::Process(ZoneList<Statement*>* statements) {

  for (int i = statements->length() - 1; i >= 0; --i) {

    Visit(statements->at(i));

  }

}

我们来看Visit函数的实现，它本身是AstVisitor类的虚函数，其定义如下：

virtual void Visit(AstNode* node) {                               \

    if (!CheckStackOverflow()) node->Accept(this);                  \

  }

我们看到Processor把功能委托给AstNode来实现，这是我们在区分不同对象不同处理的时候，常用的方法之一，AstNode::Accept是个虚函数，在ast.cc中给出了统一的定义

#define DECL_ACCEPT(type)                                       \

  void type::Accept(AstVisitor* v) { v->Visit##type(this); }

AST_NODE_LIST(DECL_ACCEPT)

#undef DECL_ACCEPT

这里是visitor模式的关键，v8通过宏定义的形式定义了AstNode一系列继承类的Accept虚函数，注意它的实现，v->Visit##type(this); ，即调用了visitor的相应的Visit##type函数，这里采用了一种编译期的类型区分，它不同于虚函数，虚函数是运行期的类型区分，具体到Processor而言，就是调用了Processor的对应的Visit##type函数，在Processor类中，我们看到很多形如这样的函数，对于AstNode是ExpressionStatement而言，对应的函数如下：

void Processor::VisitExpressionStatement(ExpressionStatement* node) {

  // Rewrite : <x>; -> .result = <x>;

  if (!is_set_ && !node->expression()->IsThrow()) {

    node->set_expression(SetResult(node->expression()));

    if (!in_try_) is_set_ = true;

  }

}

此时Node中存放着一个Expression，这里通过改写把它变成一个赋值表达式，如注释所言，

Rewrite : <x>; -> .result = <x>;

同样的，FullCodeGenerator类也是从AstVisitor继承的，它也定义了很多的visit##type函数，用于生成Code