函数的定义只是将函数名注册到函数列表的过程.
下面继续分析函数的参数.
如果没有看就移步到>>原:PHP内核研究 函数的定义,

,
function $test($arg=11){

}
还是要看Lex的语法分析

unticked_function_declaration_statement:
function is_reference T_STRING { zend_do_begin_function_declaration(&$1, &$3, 0, $2.op_type, NULL TSRMLS_CC); }
'(' parameter_list ')' '{' inner_statement_list '}' { zend_do_end_function_declaration(&$1 TSRMLS_CC); }

parameter_list 就是分析参数的地方
经过分析找到了解析参数的函数
zend_do_receive_arg(ZEND_RECV, &tmp, &$$, NULL, &$1, &$2, 0 TSRMLS_CC);
这里先要说一下 用来保存函数的结构体zend_arg_info

typedef struct _zend_arg_info {
const char *name; //参数名
zend_uint name_len; //参数名长度
const char *class_name; //参数为类时,指定类名
zend_uint class_name_len;//类名长度
zend_bool array_type_hint;//参数是否是数组
zend_bool allow_null; //参数是否允许为空
zend_bool pass_by_reference; //参数是否为引用 也就是有没有使用&
zend_bool return_reference; //函数自身是否是一个引用函数
int required_num_args; //最少传递几个参数
} zend_arg_info;

zend_do_receive_arg定义在Zend/zend_compile.c中

void zend_do_receive_arg(zend_uchar op, const znode *var, const znode *offset,

const znode *initialization, znode *class_type, const znode

*varname, zend_uchar pass_by_reference TSRMLS_DC) /* {{{ */
{
zend_op *opline;
zend_arg_info *cur_arg_info;//声明一个函数结构指针
if (class_type->op_type == IS_CONST && //这里是类相关处理 暂时跳过 讲到类的时候再细说
跳过....
}

if (var->op_type == IS_CV &&
var->u.var == CG(active_op_array)->this_var &&
(CG(active_op_array)->fn_flags & ZEND_ACC_STATIC) == 0) {
zend_error(E_COMPILE_ERROR, "Cannot re-assign $this");
} else if (var->op_type == IS_VAR &&
CG(active_op_array)->scope &&
((CG(active_op_array)->fn_flags & ZEND_ACC_STATIC) == 0) &&
(Z_TYPE(varname->u.constant) == IS_STRING) &&
(Z_STRLEN(varname->u.constant) == sizeof("this")-1) &&
(memcmp(Z_STRVAL(varname->u.constant), "this", sizeof("this")) == 0)) {
zend_error(E_COMPILE_ERROR, "Cannot re-assign $this");
}
//创建一个op
opline = get_next_op(CG(active_op_array) TSRMLS_CC);
CG(active_op_array)->num_args++;//参数的个数
opline->opcode = op; //中间码 ZEND_RECV
opline->result = *var;//返回值
opline->op1 = *offset;
if (op == ZEND_RECV_INIT) {
opline->op2 = *initialization;
} else {
CG(active_op_array)->required_num_args = CG(active_op_array)->num_args;
SET_UNUSED(opline->op2);
}
//复制参数列表到arr_info
CG(active_op_array)->arg_info = erealloc(CG(active_op_array)->arg_info, sizeof(zend_arg_info)*(CG(active_op_array)->num_args));
cur_arg_info = &CG(active_op_array)->arg_info[CG(active_op_array)->num_args-1];
cur_arg_info->name_len = varname->u.constant.value.str.len;
cur_arg_info->array_type_hint = 0;
cur_arg_info->allow_null = 1;
cur_arg_info->pass_by_reference = pass_by_reference;
cur_arg_info->class_name = NULL;
cur_arg_info->class_name_len = 0;
//这个时候 cur_arg_info->name的值就是 $arg;也就是我们传递过来的参数名
if (class_type->op_type != IS_UNUSED) {//跳过
有略过....
}
opline->result.u.EA.type |= EXT_TYPE_UNUSED;
}

如果函数有N个参数,那么 此函数就会执行N次
下一节将继续介绍 函数的返回值