深入V8引擎-AST(4)

淡淡的烟草味﹌ 2021-11-27 03:50 381阅读 0赞

(再声明一下，为了简单暴力的讲解AST的转换过程，这里的编译内容以"'Hello' + ' World'"作为案例)

上一篇基本上花了一整篇讲完了scanner的Init方法，接下来就是Scan了，Init的方法基本上都是在Stream类下操作，但是本节回到了scanner层级。

/**
     * Scan
     * 仅仅只涉及next_指针
     */
    void Scanner::Scan() { Scan(next_); }
    void Scanner::Scan(TokenDesc* next_desc) {
      next_desc->token = ScanSingleToken();
      /**
       * 设置当前词法的结束位置
       */
      next_desc->location.end_pos = source_pos();
    }

虽然这里只有简简单单的两步(砍掉了所有的CHECK和DEBUG内容)，但这个ScanSingleToken已经够讲了。从字面意思理解，就是对单个词法的解析，源码如下。

/**
     * 这个ScanSingleToken方法可TM太长了
     */
    V8_INLINE Token::Value Scanner::ScanSingleToken() {
      Token::Value token;
      do {
        /**
         * 设置当前词法的起始位置
         */
        next().location.beg_pos = source_pos();
        /**
         * Ascii码是从0 ~ 127
         * 简单的判断一下合法性
         */
        if (V8_LIKELY(static_cast<unsigned>(c0_) <= kMaxAscii)) {
          /**
           * 这是一个mapping数组
           * 对所有的Unicode => Ascii做了映射
           */
          token = one_char_tokens[c0_];
          /**
           * 包含非常多的case...先不展开了
           * 根据Token类型进行不同的处理
           */
          switch (token) {
            case Token::LPAREN:
            case Token::RPAREN:
            // 其他单符号...
              // One character tokens.
              return Select(token);
            case Token::STRING:
              return ScanString();
    
            // 更多...
            default:
              UNREACHABLE();
          }
        }
        /**
         * 处理结束符、空格、异常符号等特殊情况
         */
        // ...
      } while (token == Token::WHITESPACE);
    
      return token;
    }

作为一个词法解析方法，长度其实还是可以接受的，已经删掉了大部分的case判断，由于本系列专注于"'Hello' + ' World'"的编译，所以留下了STRING类型。

讲两个点，第一个是那个source\_pos，位置的属性和方法是真的多，比较简单，看看就行了。

/**
     * 上一篇解析了第一个字符 所以pos移动到了1
     * 然而记录location需要从头开始 所以这里做了一个偏移
     */
    static const int kCharacterLookaheadBufferSize = 1;
    int source_pos() {
      return static_cast<int>(source_->pos()) - kCharacterLookaheadBufferSize;
    }

然后那个mapping数组可以稍微给一下出处，源码如下。

/**
     * 总结起来就是GetOneCharToken(0),GetOneCharToken(1),...,GetOneCharToken(127)全部调用一遍
     * 其中IsDecimalDigit负责判断是否是数字
     * 而IsAsciiIdentifier负责判断是否是标识符，例如$、_、a-z等等
     * 最后生成的one_char_tokens数组下标代表Unicode编码 值代表对应的Token类型
     */
    
    #define INT_0_TO_127_LIST(V)                                          \
    V(0)   V(1)   V(2)   V(3)   V(4)   V(5)   V(6)   V(7)   V(8)   V(9)   \
    // ...
    V(120) V(121) V(122) V(123) V(124) V(125) V(126) V(127)
    
    static const constexpr Token::Value one_char_tokens[128] = {
    #define CALL_GET_SCAN_FLAGS(N) GetOneCharToken(N),
        INT_0_TO_127_LIST(CALL_GET_SCAN_FLAGS)
    #undef CALL_GET_SCAN_FLAGS
    };
    
    constexpr Token::Value GetOneCharToken(char c) {
      // clang-format off
      return
        c == '(' ? Token::LPAREN :
        c == ')' ? Token::RPAREN :
        // 其余字符...
        IsDecimalDigit(c) ? Token::NUMBER :
        IsAsciiIdentifier(c) ? Token::IDENTIFIER :
        Token::ILLEGAL;
    }

之前说过，c0\_代表的是当前解析字符的Unicode编码，于是这里直接通过数组索引查找其对应的类型，按照例子中，我们的字符是一个单引号，而单引号的类型如下。

/**
     * 单双引号均会被识别为字符串标记
     * 而es6的模板字符串比较特殊 暂时不搞他
     */
    c == '"' ? Token::STRING :
    c == '\'' ? Token::STRING :
    c == '`' ? Token::TEMPLATE_SPAN :

所以，当前token被赋值为Token::STRING，因此，case分支进入ScanString的方法。这个方法内容比较多，下一篇讲吧，午休时间。

转载于:https://www.cnblogs.com/QH-Jimmy/p/11131749.html