素材牛VIP会员
问一个比较基础的问题 php变量类型及其存储结构
 lo***ou  分类:PHP代码  人气:1159  回帖:3  发布于6年前 收藏
typedef struct _zval_struct zval;
struct _zval_struct {
    /* Variable information */
    zvalue_value value;     /* value */
    zend_uint refcount__gc;
    zend_uchar type;    /* active type */
    zend_uchar is_ref__gc;
};
这是php变量存储结构,php变量类型可以转化。
那么我想问的是两个变量相等的条件是什么? 存储的value相等就可以了嘛?
<?php  
$str1 = null;  
$str2 = false;  
  
echo $str1 == $str2 ? '相等' : '不相等';  //相等

<?php  
$str1 = '';  
$str2 = 0;  
  
echo $str1 == $str2 ? '相等' : '不相等';   //相等


<?php  
$str1 = 0;  
$str2 = '0';  
  
echo $str1 === $str2 ? '相等' : '不相等'; //不相等

这三个 我有点混乱 ,能不能给我解释一下?谢谢各位
 标签:php

讨论这个帖子(3)垃圾回帖将一律封号处理……

Lv6 码匠
无***圣 职业无 6年前#1

感觉你这个不是变量结构能看明白的,应该是看原算符,看他是怎么运算的
我是php的,但是没有去看过源码的运算符是怎么写的!

null == false == 0 == '' ,这个是php规定的,应该是和弱类型有关,
不过想要强校验 php 提供 === 校验,这个可以这样理解,先找 $str1的类型, 也就是变量结构中,数据具体存在什么地方,然后在做比较,让第二个变量$str2 也从相同的地方去找.

Lv1 新人
闪***星 UI设计师 6年前#2

看源码更清晰:

全等===比较函数

ZEND_API int ZEND_FASTCALL zend_is_identical(zval *op1, zval *op2) /* {{{ */
{
    if (Z_TYPE_P(op1) != Z_TYPE_P(op2)) {
        return 0;
    }
    switch (Z_TYPE_P(op1)) {
        case IS_NULL:
        case IS_FALSE:
        case IS_TRUE:
            return 1;
        case IS_LONG:
            return (Z_LVAL_P(op1) == Z_LVAL_P(op2));
        case IS_RESOURCE:
            return (Z_RES_P(op1) == Z_RES_P(op2));
        case IS_DOUBLE:
            return (Z_DVAL_P(op1) == Z_DVAL_P(op2));
        case IS_STRING:
            return (Z_STR_P(op1) == Z_STR_P(op2) ||
                (Z_STRLEN_P(op1) == Z_STRLEN_P(op2) &&
                 memcmp(Z_STRVAL_P(op1), Z_STRVAL_P(op2), Z_STRLEN_P(op1)) == 0));
        case IS_ARRAY:
            return (Z_ARRVAL_P(op1) == Z_ARRVAL_P(op2) ||
                zend_hash_compare(Z_ARRVAL_P(op1), Z_ARRVAL_P(op2), (compare_func_t) hash_zval_identical_function, 1) == 0);
        case IS_OBJECT:
            return (Z_OBJ_P(op1) == Z_OBJ_P(op2) && Z_OBJ_HT_P(op1) == Z_OBJ_HT_P(op2));
        default:
            return 0;
    }
}

很明显是先比较动态类型, 类型不一致,直接返回0.
类型一致,再比较值

普通比较==函数

代码太长,就不贴了, 按照你的例子, 操作数1是字符串, 操作数2是数字, 会把操作数1转成数字再比较.
代码片断:

zendi_convert_scalar_to_number(op1, op1_copy, result);
zendi_convert_scalar_to_number(op2, op2_copy, result);
converted = 1;

普通比较==的比较规则如下图:

Lv5 码农
38***38 职业无 6年前#3
  • == 为等于比较符,仅比较值,在两个值类型不同的情况下,会先进行类型转换,然后再比较值是否相等

  • === 为全等比较符,会比较值和类型,而不会进行类型转换,只有值和类型完全相同,才相等

类型不同时的转换规则:

运算数 1 类型 运算数 2 类型 结果
null 或 string string 将 NULL 转换为 "",进行数字或词汇比较
bool 或 null 任何其它类型 转换为 bool,FALSE < TRUE
object object 内置类可以定义自己的比较,不同类不能比较,相同类和数组同样方式比较属性(PHP 4 中),PHP 5 有其自己的说明
string,resource 或 number string,resource 或 number 将字符串和资源转换成数字,按普通数学比较
array array 具有较少成员的数组较小,如果运算数 1 中的键不存在于运算数 2 中则数组无法比较,否则挨个值比较(见下例)
object 任何其它类型 object 总是更大
array 任何其它类型 array 总是更大

更多参考:http://php.net/manual/zh/language.operators.comparison.php

 文明上网,理性发言!   😉 阿里云幸运券,戳我领取