关于php中的“别名”-tutorial php-php.cn

关于php中的“别名”

WBOY

Lepaskan： 2016-06-23 14:28:30

asal

1792 orang telah melayarinya

php alias 语言结构

今天有个朋友贴了百度知道一个询问exit和die区别的问题。
里面的标准答案大概意思是:

两个有区别，die是退出并释放内存，exit是退出但不释放内存。

这个解释显然是错的，我们以前都看过手册中说，两者只是别名关系，除此之外完全一样。
不过我还是很好奇，决定从源码中找找线索，看看php是如何处理的这个“别名”。

首先要清楚一点，die和exit都是语言结构而非函数。很多初学者总搞不清语言结构和函数的区别，用通俗点的话讲，语言结构可以理解为语法本身的一种标识。像+、-、*、/这些也都是语言结构，if、else、for、while，这些都是语言结构。是语法本身的一部分。任何语言都会有这些东西，因为计算机看到+不会认为是应该做加法的。这需要编译器转换为机器码也就是cpu能够识别的指令集。

php执行源码时的整个过程为，首先按照zend_language_scanner.l中定义的，将源码中的echo、if之类的语言结构转换成类似的T_ECHO、T_IF这些token，并且会去掉源码中的空格，注释这些与程序逻辑无关的字符。，就形成了一些简短的表达式，这就是词法分析阶段。然后会按照zend_vm_opcodes.h中定义的，将这些token转换为op code。然后一条一行的执行这些op code。

上面大概解释了php的编译和执行的过程，以及语言结构的定义。下面进入正题。

我们也应该记得，php中有很多别名函数，比如:implode和join。无论是别名函数还是别名语言结构，从实际效果角度讲，都是一样的，不过源码的处理方式肯定还是不一样的。

我们先看看这个别名语言结构是如何处理的，稍后再看别名函数。

zend_language_parser.c中，定义了一个宏
#define T_EXIT 300

还定义了一个enum，里面也有
enum yytokentype {
...
T_EXIT = 300,
....
}

这里告诉我们，T_EXIT这个token，它的code是300。

再看zend_language_scanner.l,其中有这么几行代码。

"exit" {
return T_EXIT;
}

"die" {
return T_EXIT;
}

很明显，php做词法分析时，无论遇到exit还是die，都会返回T_EXIT这个token。从这里酒可以证明，die和exit，再php内部处理是完全一样的。

也可以用下列php代码来确定:
var_dump(token_get_all(""));

返回的结果中die和exit对应的token code，都是300。

关于die和exit的问题，我们已经可以确定了。在这里，再引申出一个问题。也是我一直忽略的一个细节:
&&、||与AND、OR一样吗？

我先坦白，之前我一直以为一样，以为是纯粹的别名关系。但今天看到源码后，发现完全是不同的token。拿&&和AND举例:

还是zend_language_scanner.l

"&&" {
return T_BOOLEAN_AND;
}

"AND" {
return T_LOGICAL_AND;
}

一个叫布尔"与",一个叫逻辑"与"

之所以使用不同的token。那必然有不同之处。这里我也不卖关子了，google能找到很多答案，其实这两个最实质的区别就是优先级不同:

$a = 1 && 0;
$b = 1 AND 0;
var_dump($a);
var_dump($b);

前者会尝试先计算1 && 0,得到结果后再赋给$a,后者会先将1赋给$b;所以结果为
bool(false) int(1)

这下大家应该清楚这里的细节了。用的时候需要注意下。

刚才说的都是语言结构的“别名”，那么php中的函数别名是如何处理的呢？
拿implode和join举例:

basic_function.c中，可以找到如下一行:

PHP_FALIAS(join, implode, arginfo_implode)
那么很明显了，是PHP_FAILIAS这个宏起的作用。下面还能找到许多，比如ini_set和ini_alter也是别名关系。想深究下去，就一路去追这个宏吧。

php.h中
#define PHP_FALIAS ZEND_FALIAS
发现PHP_FALIAS又指向ZEND_FALIAS

zend_API.h中
#define ZEND_FALIAS(name, alias, arg_info) ZEND_FENTRY(name, ZEND_FN(alias), arg_info, 0)
...
#define ZEND_FENTRY(zend_name, name, arg_info, flags) { #zend_name, name, arg_info, (zend_uint) (sizeof(arg_info)/sizeof(struct _zend_arg_info)-1), flags },

再往下就是函数初始化之类的工作了，我们也知道别名函数也知道大概是怎么回事了。

回复讨论(解决方案)

学习了，一般习惯用exit;

涨见识了

学习
今天看一个app上的笑话
也是讲的php exit与die
举的是生孩子的例子.............................

首先，别名这个问题长见识了。
另外 && 和 and 我只知道，当使用条件1 && 条件2 的时候，如果条件1为false，那么条件2就不会执行，and则会计算2个，今天算是知道本质原因了。

学习了......

首先，别名这个问题长见识了。
另外 && 和 and 我只知道，当使用条件1 && 条件2 的时候，如果条件1为false，那么条件2就不会执行，and则会计算2个，今天算是知道本质原因了。

不是的

无论是&&还是AND，当左边表达式计算结果为false后都不会再计算右边表达式

$i = 0;
1>2 && $i = 1;
echo $i;
-----------------
$i = 0;
1>2 AND $i = 1;
echo $i;

这两段代码结果都是0。这个例子可以说明这个问题，在这个断言问题上，&&与AND是一样的。
同样
1

&&和AND的区别是，&&比=的优先级高，而AND的优先级比=低，所以：
$a = 1 && 0;
可以理解为:
$a = (1 && 0);

而
$b = 1 AND 0;
可以理解为:
($b = 1) AND 0;

引用 5 楼 none01 的回复:首先，别名这个问题长见识了。
另外 && 和 and 我只知道，当使用条件1 && 条件2 的时候，如果条件1为false，那么条件2就不会执行，and则会计算2个，今天算是知道本质原因了。

不是的

无论是&&还是AND，当左边表达式计算结果…… 看来我是一直有误解啊，多谢仁兄的耐心解释。

xie xie
谢谢

第一次见token_get_all()这个函数

学知识
来了

学习了...

其实了解了这里php如何处理的别名问题，我们甚至可以自定义php的语法，自己添加新语言结构作为其他语句的别名了。

只需要zend_language_scanner.l中，在
"exit" {
return T_EXIT;
}

"die" {
return T_EXIT;
}

下面，增加
"stop" {
return T_EXIT;
}

重新编译，恭喜你又多了stop语句可以用。因为只是作为其他语言结构的别名，返回的仍然是现有token，并没有增加新的，所以不需要做任何后续处理。stop语句的效果和exit、die完全一样，纯粹的别名关系。

当然如果你需要增加一个新功能的php语言结构，那也需要增加新的token，并且增加对新token的处理逻辑。就不止改这么一个地方那么简单了。