深入V8引擎-AST(6)

花了5篇才把一个字符串词法给解析完，不知道要多久才能刷完整个流程，GC、复杂数据类型的V8实现那些估计又是几十篇，天呐，真是给自己挖了个大坑。

前面几篇实际上只是执行了scanner.Initialize方法，并未开始全面解析，继续跑流程。

FunctionLiteral* Parser::ParseProgram(Isolate* isolate, ParseInfo* info) {

  // ...

  /**

   * 前面完成了这一步

   */

  scanner_.Initialize();

  if (FLAG_harmony_hashbang) {

    scanner_.SkipHashBang();

  }

  // 接下来进这个方法

  FunctionLiteral* result = DoParseProgram(isolate, info);

  // ...

  return result;

}

后面的方法域都在Parser类下，毕竟这是整个AST的执行类，parseInfo只是一个编译信息的存储类，直接进DoParseProgram方法。

FunctionLiteral* Parser::DoParseProgram(Isolate* isolate, ParseInfo* info) {

  // ...

  FunctionLiteral* result = nullptr;

  {

    // ...

    ScopedPtrList<Statement> body(pointer_buffer());

    int beg_pos = scanner()->location().beg_pos;

    if (parsing_module_) {

      // ...

    } else if (info->is_wrapped_as_function()) {

      ParseWrapped(isolate, info, &body, scope, zone());

    } else {

      // 进入这里

      this->scope()->SetLanguageMode(info->language_mode());

      ParseStatementList(&body, Token::EOS);

    }

    // ...

  }

  // ...

  return result;

}

这里对编译描述类进行查询，判断待编译字符串是否是模块、包装函数，会进入不同的分支，由于测试代码只是两个字符串相加，所以进入最后的分支。

void ParserBase<Impl>::ParseStatementList(StatementListT* body, Token::Value end_token) {

  // ...

  /**

   * 当之前初始化的第一个Token是字符串时

   * 判断可能是设置模式

   */

  while (peek() == Token::STRING) {

    bool use_strict = false;

    bool use_asm = false;

    Scanner::Location token_loc = scanner()->peek_location();

    /**

     * 做字符串严格判定

     * 声明类似于"use  strict"、"use \nstrict"、"use \x73trict"都是不合法的

     */

    if (scanner()->NextLiteralExactlyEquals("use strict")) {

      use_strict = true;

    } else if (scanner()->NextLiteralExactlyEquals("use asm")) {

      use_asm = true;

    }

    // 这里提前进行解析

    StatementT stat = ParseStatementListItem();

    // ...

    if (use_strict) {

      // 进入严格模式

    } else if (use_asm) {

      // 进入asm模式

    } else {

      // 非配置字符串 进入普通模式

      RaiseLanguageMode(LanguageMode::kSloppy);

    }

  }

  TargetScopeT target_scope(this);

  /**

   * 其他情况全面解析AST

   */

  while (peek() != end_token) {

    StatementT stat = ParseStatementListItem();

    if (impl()->IsNull(stat)) return;

    if (stat->IsEmptyStatement()) continue;

    body->Add(stat);

  }

}

这一步v8对之前解析的第一个词法进行了判断，来选择是否开启严格模式或者asm模式，可以看一眼严格模式定义。

To invoke strict mode for an entire script, put the exact statement "use strict"; (or 'use strict';) before any other statements.

由于这个语句必须出现在最前面，所以会在进行全面转换前判断待编译字符串的第一个Token是不是严格等于这个字符串，来设置编译模式。

这里还有另外一个新鲜的配置，即"use asm"，大部分人不会接触到这个东西，asm是JavaScript的一个子集，虽然语法总的来说也是JS的，但是非常难阅读，对于机器来说更加友好。如果用了这个配置，v8会跳过一些阶段，直接将代码编译成机器指令(贴一个介绍链接)。

如果不配置模式，v8会以普通模式来编译代码，随后底部的while循环指向了全面的AST转换。

先简单介绍一下AST的容器body，初始化代码如下。

/**

 * 构造函数参数是一个指针 指向一个内容为任意指针的vector

 * std::vector<void*>* pointer_buffer() { return &pointer_buffer_; }

 * std::vector<void*> pointer_buffer_;

 * ScopedPtrList<Statement>的简写类型为StatementListT 定义如下

 * using StatementListT = typename Types::StatementList;

 * using Types = ParserTypes<Impl>;

 * struct ParserTypes<Parser> { using StatementList = ScopedPtrList<v8::internal::Statement>; }

 */

ScopedPtrList<Statement> body(pointer_buffer());

这里的类型包含两部分，一个是容器类ScopePtrList，一个是内容Statement，先看容器。

template <typename T>

class ScopedPtrList final {

  public:

    void Add(T* value) {

      buffer_.push_back(value);

      ++end_;

    }

  private:

    std::vector<void*>& buffer_;

    size_t start_;

    size_t end_;

}

象征性的给一些属性和方法，传统的vector一把梭，知道一个Add方法就差不多了，反正都那样。

至于Statement类则是标准的抽象语法树节点类，简单看一下定义就行了，其本身没有什么东西，大量的枚举类型都定义在父类上，暂时不展开。

class Statement : public AstNode {

 protected:

  Statement(int position, NodeType type) : AstNode(position, type) {}

  static const uint8_t kNextBitFieldIndex = AstNode::kNextBitFieldIndex;

};

转换的AST会以Statement类存储，并通过Add方法加到容器中。

这一篇感觉啥都没写，先这样吧，下一篇开始正式全面解析AST。

巴特西

深入V8引擎-AST(6)

最新文章

热门文章