一个关于if else容易迷惑的问题

Posted 2020-12-21 bbcdc12

这个本来是之前在微博上有个同学说他经常用来面试别人，大概是说，对于如下代码，你觉得会输出啥:

1. $a = true;
2. if ($a) {
3.   echo "true";
4. } else label: {
5.   echo "false";
6. }

当时觉得有点偏，没想写，今天中午又有人问我，我想那就介绍下这个原因吧.

首先，上面的代码输出truefalse, 如果你知道原因，那就不用继续往下看了，如果不知道，那么:

这块让人比较迷惑的原因可能是因为，我们会很直观的认为:

1. label : {
2.   statement;
3. }

应该是一个整体， 就好比类似:

1. if ($a) {
2. } else switch($a) {
3. }

或者:

1. if ($a) {
2. } else do {
3. } while (!$a);

因为在php的语法设计中，if else本质上是:

1. if_stmt:
2.  if_stmt_without_else T_ELSE statement

也就是说，else后面可以接一切statement，如果条件不成立，执行流就跳到else后面的statement，而while, switch都可以归约为statement。

但label这块稍微有点特别（可以说是一个设计违反直觉的”缺陷”吧), 在zend_language_parser.y中:

1. statement:
2.   ...
3.   | T_DO statement T_WHILE ‘(‘ expr ‘)‘ ‘;‘ {...}
4.   | T_SWITCH ‘(‘ expr ‘)‘ switch_case_list {...}
5.   | T_STRING ‘:’ { $$ = zend_ast_create(ZEND_AST_LABEL, $1); }

大家可以看到， do while, switch 都会联合他们的body归约为statement（语句），但标签（label）有点不同，”label :”本身会规约为一条statement， 这就导致了这个看起来比较迷惑的问题的出现，他本质上就变成了:

1. $a = true;
2. if ($a) {
3.  echo "true";
4. } else {
5.  label: ; //单独的一条语句
6. }
7. echo "false";

最后多说一句，我忘了之前在那看到的，说是这个世界上本无elseif，有的只不过是else (if statement)，本质上其实就跟这个意思是一样的。 就是，else后面可以接语句（statement）。

善用这个结合switch, for, do while等，有的时候可以让我们的代码更精简。
比如，我们要遍历处理一个数组，当数组的长度为零的时候，要做点其他事，那很多人可能会这么写:

1. if (count($array)) {
2.   for ($i = 0; $i < count($array); $i++) {
3.   }
4. } else {
5.   //数组为空的逻辑
6. }

但你也可以写成:

1. if (count($array) == 0) {
2.    //数组为空的逻辑
3. } else for ($i = 0; $i < count($array); $i++) {
4. }

至于这俩中写法孰好孰坏， 那就是萝卜白菜了。

最后，大家如果在实际中遇到类似让大家觉得迷惑的问题，可以留言，也许以后也可以单独成文。