PHP字符串布尔判断场景下非空串输出ok的取值咨询

PHP在不同类型值进行运算、比较或条件判断时，会触发内置的隐式类型转换规则，这类规则经常会产生不符合开发者直觉的运行结果。
最典型的就是字符串和整数的比较场景：如果变量$x取值为字符串"2abc"，运行如下代码会直接输出ok：

<?php
if($x > 1){
  echo "ok";
}

该结果的成因是PHP在执行比较前，会把字符串"2abc"转换为整数2，判断2 > 1结果为真，因此进入对应分支执行输出。

待解答问题 #

限定$x为字符串类型，且排除空字符串取值的前提下，是否存在合法的$x取值，可以让如下代码输出ok？

<?php
if($x){
  echo "not ok";
}
else{
   echo "ok";
}

结论 #

存在合法取值，当$x = "0"时，上述代码就会输出ok。

原理说明 #

PHP将值转为布尔类型做条件判断时，有一套固定的假值判定规则：

• 空字符串""是假值
• 字符串"0"是唯一的非空字符串假值
• 其余所有非空字符串，不管内容是空格、特殊符号、多字符数字串还是普通文本，都会被判定为真值，进入if的第一个分支输出not ok

可以通过如下代码验证这个规则：

<?php
$x = "0";
var_dump((bool)$x); // 运行结果：bool(false)
if($x){
  echo "not ok";
}
else{
   echo "ok"; // 实际运行时会走到该分支，输出ok
}

内容的提问来源于stack exchange，提问作者user1927468