讲师中心 微信公众号
首页
文章
后端开发 web前端 数据库 开发工具 php框架 常见问题 科技 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 自媒体 新闻
专题
后端开发 web前端 数据库 开发工具 php框架 科技 Java 系统教程 电脑教程 硬件教程 手机教程 软件教程 游戏教程 新闻
AI工具
AI 聊天问答 Agent智能体 AI 文本写作 AI 绘画作图 AI 设计工具 AI 视频创作 AI 音频制作 AI 办公学习 AI 编程开发 Prompt指令
学习
大前端 后端开发 数据库 移动端 运维开发 计算机基础
编程手册
大前端 后端开发 数据库 移动端 运维开发 计算机基础
下载
js特效 网站源码 工具下载 类库下载 网站素材 学习资源 插件扩展 手机游戏
最近更新
首页 > php教程 > php手册 > 正文

PHP词法解析源码分析之引号及其内容

php中文网
发布： 2016-06-06 19:42:16
原创
1289人浏览过

在 词法 解析 的代码中， 引号 里面 内容 的 解析 就占了所有代码的一半以上，可见其情况是比较多的，这次就来简单 分析 一下。由于lex_scan开头的一段整个函数都用得到，所以这里就再贴一下： int lex _scan(zval *zendlval TSRMLS_ DC){//设置当前token的

在词法解析的代码中，引号里面内容的解析就占了所有代码的一半以上，可见其情况是比较多的，这次就来简单分析一下。由于lex_scan开头的一段整个函数都用得到，所以这里就再贴一下：

int lex<span>_scan(zval *zendlval TSRMLS_</span>DC)
{
//设置当前token的首位置为当前位置
restart:
<span>    SCNG(yy_text) = YYCURSOR;</span>

yymore_restart:
//这段注释定义了各个类型的正则表达式匹配，在<strong>词法</strong><strong>解析</strong>程序（如bison、re2c等）程序将本文件转化为c代码时会用到
/*!re2c
re2c:yyfill:check = 0;
LNUM    [0-9]&#43;
DNUM    ([0-9]<span>*"."[0-9]&#43;)|([0-9]&#43;"."[0-9]*</span>)
EXPONENT_DNUM    (({LNUM}|{DNUM})[<span>eE</span>][<span>&#43;-</span>]?{LNUM})
HNUM    "0x"[0-9a-fA-F]&#43;
BNUM    "0b"[01]&#43;
LABEL    [<span>a-zA-Z_-</span>][<span>a-zA-Z0-9_-</span>]*
WHITESPACE [ 

	]&#43;
TABS<span>_AND_</span>SPACES [ 	]*
TOKENS [<span>;:,.[</span>]()|^&&#43;-/*=%!~$<span><></span>?@]
ANY_CHAR [^]
NEWLINE ("
"|"
"|"
")

/<span>* compute yyleng before each rule *</span>/
<span><<span>!*</span>></span> := yyleng = YYCURSOR - SCNG(yy_text);
登录后复制

1.引号开始的处理

1.1 单引号的处理

可以看到整个的处理流程看似比较复杂，其实上就是单引号内只会转义诸如''、'''、' '等转义字符，并不会对诸如e、0123之类的十六进制及八进制数进行转义（这里只是举个例子，更多不转义的情况下面会介绍）。同时它还会保证在只有一个单引号的情况下不会报错，而只是返回T_ENCAPSED_AND_WHITESPACE（当然也没有转义）。

<ST_IN_SCRIPTING>b?[<span>'] {
    register char *s, *t;
    char *end;
    int bprefix = (yytext[0] != '</span><span>''</span>) ? <span>1</span> : <span>0</span>;

    <span>while</span> (<span>1</span>) {
        <span>if</span> (YYCURSOR < YYLIMIT) {
            <span>if</span> (<span>*YYCURSOR</span> == <span>'''</span>) {
                YYCURSOR&#43;&#43;;
                yyleng = YYCURSOR - SCNG(yy_text);

                <span>break</span>;
            } <span>else</span> <span>if</span> (<span>*YYCURSOR</span>&#43;&#43; == <span>'\'</span> && YYCURSOR < YYLIMIT) {
                YYCURSOR&#43;&#43;;
            }
        } <span>else</span> {
            yyleng = YYLIMIT - SCNG(yy_text);

            <span>/* Unclosed single quotes; treat similar to double quotes, but without a separate token
             * for ' (unrecognized by parser), instead of old flex fallback to "Unexpected character..."
             * rule, which continued in ST_IN_SCRIPTING state after the quote */</span>
            <span>return</span> T_ENCAPSED_AND_WHITESPACE;
        }
    }

    ZVAL_STRINGL(zendlval, yytext&#43;bprefix&#43;<span>1</span>, yyleng-bprefix-<span>2</span>, <span>1</span>);

    <span>/* convert escape sequences */</span>
    <span>s</span> = t = Z_STRVAL_P(zendlval);
    end = <span>s</span>&#43;Z_STRLEN_P(zendlval);
    <span>while</span> (<span>s</span><end) {
        <span>if</span> (<span>*s</span>==<span>'\'</span>) {
            <span>s</span>&#43;&#43;;

            switch(<span>*s</span>) {
                case <span>'\'</span>:
                case <span>'''</span>:
                    <span>*t</span>&#43;&#43; = <span>*s</span>;
                    Z_STRLEN_P(zendlval)--;
                    <span>break</span>;
                default:
                    <span>*t</span>&#43;&#43; = <span>'\'</span>;
                    <span>*t</span>&#43;&#43; = <span>*s</span>;
                    <span>break</span>;
            }
        } <span>else</span> {
            <span>*t</span>&#43;&#43; = <span>*s</span>;
        }

        <span>if</span> (<span>*s</span> == <span>'
'</span> || (<span>*s</span> == <span>'
'</span> && (<span>*(</span><span>s</span>&#43;<span>1</span>) != <span>'
'</span>))) {
            CG(zend_lineno)&#43;&#43;;
        }
        <span>s</span>&#43;&#43;;
    }
    <span>*t</span> = <span>0</span>;

    <span>if</span> (SCNG(output_filter)) {
        size_t sz = <span>0</span>;
        <span>s</span> = Z_STRVAL_P(zendlval);
        SCNG(output_filter)((unsigned char <span>**</span>)&Z_STRVAL_P(zendlval), &sz, (unsigned char <span>*)</span><span>s</span>, (size_t)Z_STRLEN_P(zendlval) TSRMLS_CC);
        Z_STRLEN_P(zendlval) = sz;
        efree(<span>s</span>);
    }
    <span>return</span> T_CONSTANT_ENCAPSED_STRING;
}
登录后复制

1.2 双引号的处理

双引号的处理相对单引号来说容易理解很多。在ST_IN_SCRIPTING状态下遇到双引号开始往后扫描，若是遇到了另一个双引号则直接调用zend_scan_escape_string转义里面的字符串并进行保存然后返回T_CONSTANT_ENCAPSED_STRING表明这是一个常量字符串；若是遇到了诸如'$LABEL'，'${'，'{$'这三种情况（字符串中的变量）则停止扫描，保存当前已经扫描的字符并将当前状态改为ST_DOUBLE_QUOTES表明正处于双引号字符串中，然后只返回一个'"'并进入下一轮的扫描；若是遇到了''则跳过该字符也进入下一轮处理：

<ST_IN_SCRIPTING>b?[<span>"] {
    int bprefix = (yytext[0] != '"</span><span>') ? 1 : 0;

    while (YYCURSOR < YYLIMIT) {
        switch (*YYCURSOR&#43;&#43;) {
            case '</span><span>"':
                yyleng = YYCURSOR - SCNG(yy_text);
                zend_scan_escape_string(zendlval, yytext&#43;bprefix&#43;1, yyleng-bprefix-2, '"</span><span>' TSRMLS_CC);
                return T_CONSTANT_ENCAPSED_STRING;
            case '</span><span>$'</span>:
                <span>if</span> (IS_LABEL_START(<span>*YYCURSOR</span>) || <span>*YYCURSOR</span> == <span>'{'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            case <span>'{'</span>:
                <span>if</span> (<span>*YYCURSOR</span> == <span>'$'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            case <span>'\'</span>:
                <span>if</span> (YYCURSOR < YYLIMIT) {
                    YYCURSOR&#43;&#43;;
                }
                /* fall through <span>*/</span>
            default:
                <span>continue</span>;
        }

        YYCURSOR--;
        <span>break</span>;
    }

    /* Remember how much was scanned to save rescanning <span>*/</span>
    SET_DOUBLE_QUOTES_SCANNED_LENGTH(YYCURSOR - SCNG(yy_text) - yyleng);

    YYCURSOR = SCNG(yy_text) &#43; yyleng;

    BEGIN(ST_DOUBLE_QUOTES);
    <span>return</span> <span>'"'</span>;
}
登录后复制

1.3 Heredoc和Nowdoc的处理

可以看到heredoc的形式，首先是'内容时首先把开头的空格和tab字符删去，随后若出现了单引号则将当前状态改为ST_NOWDOC，否则则为ST_HEREDOC。然后就是根据计算出的长度来确定是否到达末尾，如果到了末尾则直接将状态改为ST_END_HEREDOC以便下一次扫描结束heredoc的处理：

<ST_IN_SCRIPTING>b?<span>"<<<"</span><span>{TABS_AND_SPACES}</span>(<span>{LABEL}</span>|([<span>']{LABEL}['</span>])|([<span>"]{LABEL}["</span>]))<span>{NEWLINE}</span> {
    char <span>*s</span>;
    <span>int</span> bprefix = (yytext[<span>0</span>] != <span>'<'</span>) ? <span>1</span> : <span>0</span>;
    zend_heredoc_label <span>*heredoc_label</span> = emalloc(sizeof(zend_heredoc_label));

    CG(zend_lineno)&#43;&#43;;
    heredoc_label-><span>length</span> = yyleng-bprefix-<span>3</span>-<span>1</span>-(yytext[yyleng-<span>2</span>]==<span>'
'</span>?<span>1</span>:<span>0</span>);
    <span>s</span> = yytext&#43;bprefix&#43;<span>3</span>;
    <span>while</span> ((<span>*s</span> == <span>' '</span>) || (<span>*s</span> == <span>'	'</span>)) {
        <span>s</span>&#43;&#43;;
        heredoc_label-><span>length</span>--;
    }

    <span>if</span> (<span>*s</span> == <span>'''</span>) {
        <span>s</span>&#43;&#43;;
        heredoc_label-><span>length</span> -= <span>2</span>;

        BEGIN(ST_NOWDOC);
    } <span>else</span> {
        <span>if</span> (<span>*s</span> == <span>'"'</span>) {
            <span>s</span>&#43;&#43;;
            heredoc_label-><span>length</span> -= <span>2</span>;
        }

        BEGIN(ST_HEREDOC);
    }

    heredoc_label->label = estrndup(<span>s</span>, heredoc_label-><span>length</span>);

    <span>/* Check for ending label on the next line */</span>
    <span>if</span> (heredoc_label-><span>length</span> < YYLIMIT - YYCURSOR && !memcmp(YYCURSOR, <span>s</span>, heredoc_label-><span>length</span>)) {
        YYCTYPE <span>*end</span> = YYCURSOR &#43; heredoc_label-><span>length</span>;

        <span>if</span> (<span>*end</span> == <span>';'</span>) {
            end&#43;&#43;;
        }

        <span>if</span> (<span>*end</span> == <span>'
'</span> || <span>*end</span> == <span>'
'</span>) {
            BEGIN(ST_END_HEREDOC);
        }
    }

    zend_ptr_stack_push(&SCNG(heredoc_label_stack), (void <span>*)</span> heredoc_label);

    <span>return</span> T_START_HEREDOC;
}
登录后复制

1.4 反引号处理

反引号处理比较简单，直接将状态改为ST_BACKQUOTE然后返回'`'：

<ST_IN_SCRIPTING>[`] {
    BEGIN(ST_BACKQUOTE);
    <span>return</span> <span>'`'</span>;
}
登录后复制

2.引号中内容的处理

前面了解了在ST_IN_SCRIPTING状态下遇到引号类字符的处理过程，后面便是在引号中的各种处理了。引号的状态包括ST_DOUBLE_QUOTES,ST_BACKQUOTE,ST_HEREDOC和ST_NOWDOC，除了ST_NOWDOC之中的内容无法转义（相当于单引号，只能转义等极少数的字符）之外，其他几个状态中的内容都是可以进行转义的，至于单引号中的内容也是不需要转义的，这里也没有单独的状态来表示进入单引号，而只是T_ENCAPSED_AND_WHITESPACE表示单引号里面的内容。

2.1 引号中的变量

首先是是字符串中有'${'的情况，保存状态之后返回T_DOLLAR_OPEN_CURLY_BRACES表示是'$'与'{'的组合：

<ST_DOUBLE_QUOTES,ST_BACKQUOTE,ST_HEREDOC><span>"${"</span> {
    yy_push_state(ST_LOOKING_FOR_VARNAME TSRMLS_CC);
    <span>return</span> T_DOLLAR_OPEN_CURLY_BRACES;
}
登录后复制

在下一次扫描时的状态便会改为ST_LOOKING_FOR_VARNAME，将变量名保存并恢复状态为ST_IN_SCRIPTING：

<ST_LOOKING_FOR_VARNAME>{LABEL}[[}] {
    yyless(yyleng - <span>1</span>);
    zend_copy_value(zendlval, yytext, yyleng);
    zendlval-><span>type</span> = IS_STRING;
    yy_pop_state(TSRMLS_C);
    yy_push_state(ST_IN_SCRIPTING TSRMLS_CC);
    <span>return</span> T_STRING_VARNAME;
}
登录后复制

然后是匹配'$LABEL'：

<ST_IN_SCRIPTING,ST_DOUBLE_QUOTES,ST_HEREDOC,ST_BACKQUOTE,ST_VAR_OFFSET><span>"$"</span>{LABEL} {
    zend_copy_value(zendlval, (yytext&#43;<span>1</span>), (yyleng-<span>1</span>));
    zendlval-><span>type</span> = IS_STRING;
    <span>return</span> T_VARIABLE;
}
登录后复制

2.2 引号中的类、结构体

类和结构体的调用形式是'$LABEL->var'，本次扫描只会保存LABEL并不会对后面var进行处理，并将状态变为ST_LOOKING_FOR_PROPERTY等待下一次进行处理，至于寻找属性就是上面3.1的集中情况了：

/* Make sure a label character follows <span>"->"</span>, otherwise there <span>is</span> <span>no</span> property
 * <span>and</span> <span>"->"</span> will be taken literally
 */
<ST_DOUBLE_QUOTES,ST_HEREDOC,ST_BACKQUOTE><span>"$"</span>{LABEL}<span>"->"</span>[a-zA-Z_-] {
    yyless(yyleng - <span>3</span>);
    yy_push_state(ST_LOOKING_FOR_PROPERTY TSRMLS_CC);
    zend_copy_value(zendlval, (yytext&#43;<span>1</span>), (yyleng-<span>1</span>));
    zendlval->type = IS_STRING;
    <span>return</span> T_VARIABLE;
}
登录后复制

2.3 引号中的数组等

数组就是'$LABEL[var]'这个情况，同样本次扫描也不处理var而只是设置状态为ST_VAR_OFFSET等待下一次处理：

<span>/* A [ always designates a variable offset, regardless of what follows
 */</span>
<ST_DOUBLE_QUOTES,ST_HEREDOC,ST_BACKQUOTE><span>"$"</span>{LABEL}<span>"["</span> {
    yyless(yyleng - <span>1</span>);
    yy_push_state(ST_VAR_OFFSET TSRMLS_CC);
    zend_copy_value(zendlval, (yytext&#43;<span>1</span>), (yyleng-<span>1</span>));
    zendlval->type = IS_STRING;
    <span>return</span> T_VARIABLE;
}
登录后复制

下一次进行扫描时便会匹配ST_VAR_OFFSET状态的下值，[]中可以是数字，若是十进制数，超过表示范围则直接保存为字符串否则转化为十进制整数，若是八进制、十六进制和二进制数字，都是直接作为字符串处理：

<span><<span>ST_VAR_OFFSET</span>></span>[<span>0</span>]|([<span>1-9</span>][<span>0-9</span>]<span>*) { /*</span> Offset could be treated as a long */
<span>    if (yyleng < MAX_LENGTH_OF_LONG - 1 || (yyleng == MAX_LENGTH_OF_LONG - 1 && strcmp(yytext, long_min_digits) < 0)) {</span>
<span>        ZVAL_LONG(zendlval, strtol(yytext, NULL, 10));</span>
<span>    } else {</span>
<span>        ZVAL_STRINGL(zendlval, yytext, yyleng, 1);</span>
<span>    }</span>
<span>    return T_NUM_STRING;</span>
}

<span><<span>ST_VAR_OFFSET</span>></span>{LNUM}|{HNUM}|{BNUM} { /<span>* Offset must be treated as a string *</span>/
<span>    ZVAL_STRINGL(zendlval, yytext, yyleng, 1);</span>
<span>    return T_NUM_STRING;</span>
}
登录后复制

同样在[]中还可以包括一些运算符以及其他的符号：

//可以包含TOKENS和大括号双<strong>引号</strong>和反<strong>引号</strong>
<span><<span>ST_VAR_OFFSET</span>></span>{TOKENS}|[{}"`] {
    /* Only '[' can be valid, but returning other tokens will allow a more explicit parse error */
    return yytext[0];
}
//还可以包括空白字符、反斜杠、单<strong>引号</strong>以及#，但这些字符否会被略去
<span><<span>ST_VAR_OFFSET</span>></span>[ 

	\'#] {
    /* Invalid rule to return a more explicit parse error with proper line number */
    yyless(0);
    yy_pop_state(TSRMLS_C);
    return T_ENCAPSED_AND_WHITESPACE;
}
登录后复制

还有就是不带'$'的LABEL，直接作为字符串处理：

<ST_IN_SCRIPTING,ST_VAR_OFFSET>{LABEL} {
    zend_copy_value(zendlval, yytext, yyleng);
    zendlval-><span>type</span> = IS_STRING;
    <span>return</span> T_STRING;
}
登录后复制

3.引号中ANY_CHAR的处理

当处于ST_DOUBLE_QUOTES、ST_BACKQUOTE等引号状态时，如果没有匹配到第二节的情况便会到匹配ANY_CHAR的流程中。

3.1 双引号ST_DOUBLE_QUOTES

首先是判断有没有已经扫描过的字符，有的话直接保存并重新设置扫描的长度然后返回进行下一次的扫描，如果已扫描字符为空则后面的流程和第一次扫描到双引号时的差不多，都是碰到'\'跳过碰到'"'、'$'、'{$'等就停止本次扫描，保存当前扫描过的字符然后返回并进行下一次的扫描，总体流程比较简单：

<ST_DOUBLE_QUOTES>{ANY_CHAR} {
    <span>if</span> (GET_DOUBLE_QUOTES_SCANNED_LENGTH()) {
        YYCURSOR &#43;= GET_DOUBLE_QUOTES_SCANNED_LENGTH() - <span>1</span>;
        SET_DOUBLE_QUOTES_SCANNED_LENGTH(<span>0</span>);

        <span>goto</span> double_quotes_scan_done;
    }

    <span>if</span> (YYCURSOR > YYLIMIT) {
        <span>return</span> <span>0</span>;
    }
    <span>if</span> (yytext[<span>0</span>] == <span>'\'</span> && YYCURSOR < YYLIMIT) {
        YYCURSOR&#43;&#43;;
    }

    <span>while</span> (YYCURSOR < YYLIMIT) {
        <span>switch</span> (*YYCURSOR&#43;&#43;) {
            <span>case</span> <span>'"'</span>:
                <span>break</span>;
            <span>case</span> <span>'$'</span>:
                <span>if</span> (IS_LABEL_START(*YYCURSOR) || *YYCURSOR == <span>'{'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            <span>case</span> <span>'{'</span>:
                <span>if</span> (*YYCURSOR == <span>'$'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            <span>case</span> <span>'\'</span>:
                <span>if</span> (YYCURSOR < YYLIMIT) {
                    YYCURSOR&#43;&#43;;
                }
                <span>/* fall through */</span>
            <span>default</span>:
                <span>continue</span>;
        }

        YYCURSOR--;
        <span>break</span>;
    }

double_quotes_scan_done:
    yyleng = YYCURSOR - SCNG(yy_text);

    zend_scan_escape_string(zendlval, yytext, yyleng, <span>'"'</span> TSRMLS_CC);
    <span>return</span> T_ENCAPSED_AND_WHITESPACE;
}
登录后复制

3.2 反引号ST_BACKQUOTE

可以看到除了没有最开始判断已经扫描的长度之外其余的的操作都和双引号几乎相同，所以在词法解析这一层面双引号和反引号可以说非常相似：

<ST_BACKQUOTE>{ANY_CHAR} {
    <span>if</span> (YYCURSOR > YYLIMIT) {
        <span>return</span> <span>0</span>;
    }
    <span>if</span> (yytext[<span>0</span>] == <span>'\'</span> && YYCURSOR < YYLIMIT) {
        YYCURSOR&#43;&#43;;
    }

    <span>while</span> (YYCURSOR < YYLIMIT) {
        <span>switch</span> (*YYCURSOR&#43;&#43;) {
            <span>case</span> <span>'`'</span>:
                <span>break</span>;
            <span>case</span> <span>'$'</span>:
                <span>if</span> (IS_LABEL_START(*YYCURSOR) || *YYCURSOR == <span>'{'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            <span>case</span> <span>'{'</span>:
                <span>if</span> (*YYCURSOR == <span>'$'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            <span>case</span> <span>'\'</span>:
                <span>if</span> (YYCURSOR < YYLIMIT) {
                    YYCURSOR&#43;&#43;;
                }
                <span>/* fall through */</span>
            <span>default</span>:
                <span>continue</span>;
        }

        YYCURSOR--;
        <span>break</span>;
    }

    yyleng = YYCURSOR - SCNG(yy_text);

    zend_scan_escape_string(zendlval, yytext, yyleng, <span>'`'</span> TSRMLS_CC);
    <span>return</span> T_ENCAPSED_AND_WHITESPACE;
}
登录后复制

3.3 ST_HEREDOC

heredoc的其实和双引号差不多，所以在解析的过程中只是在双引号的基础上增加了对heredoc结尾的判断和处理：

<ST_HEREDOC><span>{ANY_CHAR}</span> {
    <span>int</span> newline = <span>0</span>;

    zend_heredoc_label <span>*heredoc_label</span> = zend_ptr_stack_top(&SCNG(heredoc_label_stack));

    <span>if</span> (YYCURSOR > YYLIMIT) {
        <span>return</span> <span>0</span>;
    }

    YYCURSOR--;

    <span>while</span> (YYCURSOR < YYLIMIT) {
        switch (<span>*YYCURSOR</span>&#43;&#43;) {
            case <span>'
'</span>:
                <span>if</span> (<span>*YYCURSOR</span> == <span>'
'</span>) {
                    YYCURSOR&#43;&#43;;
                }
                /* fall through <span>*/</span>
            case <span>'
'</span>:
                <span>//</span>这个分支判断是否到了heredoc的结尾
                /* Check <span>for</span> ending label on the <span>next</span> line <span>*/</span>
                <span>if</span> (IS_LABEL_START(<span>*YYCURSOR</span>) && heredoc_label-><span>length</span> < YYLIMIT - YYCURSOR && !memcmp(YYCURSOR, heredoc_label->label, heredoc_label-><span>length</span>)) {
                    YYCTYPE <span>*end</span> = YYCURSOR &#43; heredoc_label-><span>length</span>;

                    <span>if</span> (<span>*end</span> == <span>';'</span>) {
                        end&#43;&#43;;
                    }

                    <span>if</span> (<span>*end</span> == <span>'
'</span> || <span>*end</span> == <span>'
'</span>) {
                        <span>/* newline before label will be subtracted from returned text, but
                         * yyleng/yytext</span> will include it, <span>for</span> zend_highlight/strip, tokenizer, etc. <span>*/</span>
                        <span>if</span> (YYCURSOR[-<span>2</span>] == <span>'
'</span> && YYCURSOR[-<span>1</span>] == <span>'
'</span>) {
                            newline = <span>2</span>; <span>/* Windows newline */</span>
                        } <span>else</span> {
                            newline = <span>1</span>;
                        }

                        CG(increment_lineno) = <span>1</span>; <span>/* For newline before label */</span>
                        BEGIN(ST_END_HEREDOC);

                        <span>goto</span> heredoc_scan_done;
                    }
                }
                <span>continue</span>;
            case <span>'$'</span>:
                <span>if</span> (IS_LABEL_START(<span>*YYCURSOR</span>) || <span>*YYCURSOR</span> == <span>'{'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            case <span>'{'</span>:
                <span>if</span> (<span>*YYCURSOR</span> == <span>'$'</span>) {
                    <span>break</span>;
                }
                <span>continue</span>;
            case <span>'\'</span>:
                <span>if</span> (YYCURSOR < YYLIMIT && <span>*YYCURSOR</span> != <span>'
'</span> && <span>*YYCURSOR</span> != <span>'
'</span>) {
                    YYCURSOR&#43;&#43;;
                }
                /* fall through <span>*/</span>
            default:
                <span>continue</span>;
        }

        YYCURSOR--;
        <span>break</span>;
    }

heredoc_scan_done:
    yyleng = YYCURSOR - SCNG(yy_text);

    zend_scan_escape_string(zendlval, yytext, yyleng - newline, <span>0</span> TSRMLS_CC);
    <span>return</span> T_ENCAPSED_AND_WHITESPACE;
}
登录后复制

之前说过nowdoc相对heredoc就相当于单引号相对于双引号，所以在heredoc的基础上删除对'$'、'{'等的处理就是nowdoc的处理流程了。这里就不贴出对应的处理代码了。

4.引号结束的处理

因为heredoc和nowdoc在处理ANY_CHAR的时候就包括对末尾的处理，并且单引号字符串的处理都在遇到单引号时就搞定了，所以这里只有双引号和反引号结束的处理了。

4.1 双引号结束

将状态设置回ST_IN_SCRIPTING并返回'"'：

<span><<span>ST_DOUBLE_QUOTES</span>></span>["] {
    BEGIN(ST_IN_SCRIPTING);
    return '"';
}
登录后复制

4.2 反引号的处理

与双引号类似：

<ST_BACKQUOTE>[`] {
    BEGIN(ST_IN_SCRIPTING);
    <span>return</span> <span>'`'</span>;
}
登录后复制

在词法分析阶段对引号及其里面内容的处理差不多就是这些了，从匹配引号开头到引号中的变量，再到引号中的ANY_CHAR，最后则是引号结束的处理。

相关标签：
php
PHP速学教程(入门到精通)
PHP速学教程(入门到精通)

PHP怎么学习？PHP怎么入门？PHP在哪学？PHP怎么学才快？不用担心，这里为大家提供了PHP速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载
来源：php中文网
收藏 点赞
上一篇：NGINX 1.4.1 + PHP 5.2.6 虚拟目录alias配置 下一篇：保存数据很慢（php）
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn
最新问题
在python的开发过程中如何进行单链表的实现（代码） 本文介绍了如何实现单链表，希望大家耐心学习。
2018-09-15 09:33:11
11059
如何理解Elasticsearch单机双节点集群部署 这篇文章，我们还是做些基础的学习，在Elasticsearch如何进行CRUD。
2018-09-14 16:03:42
12926
如何理解关于memset函数 本文介绍了如何理解关于memset函数 ，希望大家耐心学习。
2018-09-14 15:27:49
5421
启动页进入时有短暂黑屏或白屏现象的终极解决方案 irontec 推出了一个开源项目 PHP for Android （PFA），把php带到Android平台上。现在我们来介绍一下。
2018-09-14 15:13:15
5495
如何把WebStorm上传代码到Git ​我是一名前端开发工程师。大概1年前开始使用webstorm这个编辑器，今天向大家介绍一下这个软件。
2018-09-14 14:49:20
6315
分布式系统唯一ID生成方案汇总 系统唯一ID是我们在设计一个系统的时候常常会遇见的问题，也常常为这个问题而纠结。生成ID的方法有很多，适应不同的场景、需求以及性能要求。所以有些比较复杂的系统会有多个ID生成的策略。下面就介绍一些常见的ID生成策略。
2018-09-14 13:39:20
5965
如何在远程过程调用（RPC） HTTP请求式 做过Socket编程的人都知道，当我们设计一个通信协议时，“消息头/消息体”的分割方式是很常用的，消息头告诉对方这个消息是干什么的，消息体告诉对方怎么干。
2018-09-14 11:44:18
4522
Visual Studio Code中安装go语言插件 PHP入门之语句，包括if语句、while语句、go语句，供PHP初学者参考。
2018-09-14 11:38:24
5353
详解Sublime Text 2 代码编辑器或者文本编辑器，对于程序员来说，就像剑与战士一样，谁都想拥有一把可以随心驾驭且锋利无比的宝剑，而每一位程序员，同样会去追求最适合自己的强大、灵活的编辑器，相信你和我一样，都不会例外。我用过的编辑器不少，真不少～ 但却没有哪款让我特别心仪的，直到我遇到了 Sublime Text 2 ！如果说“神器”是我能给予一款软件最高的评价，那么我很乐意为它封上这么一个称号。它小巧绿色且速度非常快
2018-06-11 16:24:34
2917
用CSS实现的一张图完成的按钮实例 用CSS实现的一张图完成的导航条ul,li{ list-style:non...
2018-05-09 20:23:31
2458
相关专题
更多>
热门推荐
开源免费商场系统广告
热门教程
更多>
相关推荐
热门推荐
最新课程
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网：公益在线php培训，帮助PHP学习者快速成长！
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号

  • PHP学习

  • 技术支持

  • 返回顶部