整数和字符串比较的坑

1. 结果竟然是相同，惊呆了吧？

$num1 = '2023快放假了';
$num2 = 2023;if ($num1 == $num2) {echo '相同';
} else {echo '不相同';
}

2. num2改成字符串类型，结果：不相同，又不懵了吧？

$num1 = '2023快放假了';
$num2 = '2023';if ($num1 == $num2) {echo '相同';
} else {echo '不相同';
}

原因：
PHP语言中在涉及“==”判断时，有字符串和数字的，把字符串自动转换成了数字，也就是：
$num1=(int)$num1 后的值再跟$num2比较。