深入PHP-变量类型底层实现及strlen和count函数探讨

最近在看《深入理解PHP内核》，网址：点击打开链接

看到了比较基础的变量的底层实现，明白了php是如何在强类型语言-C语言的基础上成为了弱类型语言

首先来看一下php变量的底层结构：看不懂C结构的请移步C语言基础教程~学好C对深入理解php还是很有帮助的

typedef struct _zval_struct zval;
struct _zval_struct {
zvalue_value value; // 变量的值，$a='abc';$a=123;$a=array(123,456,789);这些变量值都是放在这个结构体中的
zend_uint refcount__gc; // 引用计数，用于垃圾回收
zend_uchar type; // 变量类型，IS_NULL、IS_BOOL、IS_LONG、IS_DOUBLE、IS_STRING、IS_ARRAY、IS_OBJECT、IS_RESOURCE
zend_uchar is_ref__gc; // 是否为引用
};

在看一下zvalue_value结构体是如何存储变量的值的

typedef union _zvalue_value {
long lval; // 整形值
double dval; // 浮点型值
struct { // 字符串值
char *val;
int len; // 看到了吗？字符串在赋值后就有长度这个值，所以放心大胆的用strlen吧
} str;
HashTable *ht; // 数组值
zend_object_value obj; // 对象值
} zvalue_value;

这是一个union共同体，顾名思义，其中的各种类型只用一份内存空间，因为一个变量一旦赋值，那么它只能对应一种类型，那么他的类型也就确定的，比如是整形，那就存储在lval中，如果是字符串，那就存储在str结构体中

下面在看下数组的实现方式 HashTable

typedef struct _hashtable {
uint nTableSize;
uint nTableMask;
uint nNumOfElements; // HashTable即数组中元素的数量
ulong nNextFreeElement;
Bucket *pInternalPointer; // foreach比for快的原因
Bucket *pListHead;
Bucket *pListTail;
Bucket **arBuckets;
dtor_func_t pDestructor;
zend_bool persistent;
unsigned char nApplyCount;
zend_bool bApplyProtection;
#if ZEND_DEBUG
int inconsistent;
#endif
} HashTable;

typedef struct _Bucket {
char *key;
void *value;
struct _Bucket *next;
} Bucket;

这里主要说一下nNumOfElements这个参数，即数组中元素的数量，对应的是count()方法别名sizeof()
下面探讨下 for($i=0; $i<count($arr); $i++) 和 $count = count($arr); for($i=0; $i<$count; $i++) 效率问题，后者效率明显要高于前者，原因如下：

虽然count($arr)不会重新计算数组长度，而是直接取nNumOfElements，但是调用如下：zval.value.ht.nNumOfElements；而$count变量的调用只有一层，所以还是局部变量的效率更高一些

这是我从其中发现的一些知识点，如有不对的地方，还请大家指正，共同学习！