php语法基础知识（php简单的管理系统操作）

说明

这里基于php7.2.5进行测试，php7之后内部结构变化应该不是太大，但与php5.x有差别。

使用

变量声明及使用

$a = "hello"; // string
echo is_string($a); // 1
$b = 1; // int
echo is_int($b); // 1
$c = [1]; // array
$d = true; // bool

弱类型

区别于c/java/go等强类型语言，php在声明变量的时候不需要指定变量的类型,代码在执行的时候会自动去解析变量的类型。

如何实现

存储变量的底层结构zval、zend_value(zend_types.h)

struct _zval_struct {
	zend_value        value;			/* value 变量值放在这里 */
	union {
		struct {
			zend_endian_lohi_4(
				zend_uchar    type,			/* active type 变量类型  stirng/true/false/array */
				zend_uchar    type_flags,
				zend_uchar    const_flags,
				zend_uchar    reserved)	    /* call info for ex(this) */
		} v;
		uint32_t type_info;
	} u1;
	union {
		uint32_t     next;                 /* hash collision chain */
		uint32_t     cache_slot;           /* literal cache slot */
		uint32_t     lineno;               /* line number (for ast nodes) */
		uint32_t     num_args;             /* arguments number for ex(this) */
		uint32_t     fe_pos;               /* foreach position */
		uint32_t     fe_iter_idx;          /* foreach iterator index */
		uint32_t     access_flags;         /* class constant access flags */
		uint32_t     property_guard;       /* single property guard */
		uint32_t     extra;                /* not further specified */
	} u2;
};

// zend_value
typedef union _zend_value {
	zend_long         lval;				/* long value 这里存储int的值 */
	double            dval;				/* double value */
	zend_refcounted  *counted; /* 引用计数 用于垃圾回收 */
	zend_string      *str; /* 字符串 */
	zend_array       *arr;
	zend_object      *obj;
	zend_resource    *res;
	zend_reference   *ref;
	zend_ast_ref     *ast;
	zval             *zv;
	void             *ptr;
	zend_class_entry *ce;
	zend_function    *func;
	struct {
		uint32_t w1;
		uint32_t w2;
	} ww;
} zend_value;


// zval.u1.v1.type的类型的定义
/* regular data types */
#define is_undef					0
#define is_null						1 空 
#define is_false					2 false
#define is_true						3
#define is_long						4
#define is_double					5
#define is_string					6 字符串
#define is_array					7
#define is_object					8
#define is_resource					9
#define is_reference				10

/* constant expressions */
#define is_constant					11
#define is_constant_ast				12

/* fake types */
#define _is_bool					13
#define is_callable					14
#define is_iterable					19
#define is_void						18

/* internal types */
#define is_indirect             	15
#define is_ptr						17
#define _is_error					20

我们可以先看一下zval.u1.v.type 与 zend_value其他的元素可以暂时忽略。

zval是存放变量的结构体，变量的值则放在zend_value中，zend_value是一个union类型，也就是共用体，特点就是可以存放多种类型的数据，但同时只有一个种类型可以有值。

$a = "hello";

那么php代码在编译、执行的时候通过词法语法解析，将值1生成一个zval结构体，zval.u1.type就是is_string类型，值存储在zend_value中的str也就是zend_string中。

总结

弱类型的实现是基于zend_value共用体实现，变量类型在代码解析的时候根据语法去解析生成的。