7.1 函数的参数

最简单的获取函数调用者传递过来的参数便是使用zend_parse_parameters()函数。zend_parse_parameters()函数的前几个参数我们直接用内核里宏来生成便可以了，形式为：ZEND_NUM_ARGS() TSRMLS_CC，注意两者之间有个空格，但是没有逗号。从名字可以看出，ZEND_NUM_ARGS()代表着参数的个数。紧接着需要传递给zend_parse_parameters()函数的参数是一个用于格式化的字符串，就像printf的第一个参数一样。下面表示了最常用的几个符号。

  1. type_spec是格式化字符串，其常见的含义如下：
  2. 参数   代表着的类型
  3. b    Boolean
  4. l    Integer 整型
  5. d    Floating point 浮点型
  6. s    String 字符串
  7. r    Resource 资源
  8. a    Array 数组
  9. o    Object instance 对象
  10. O    Object instance of a specified type 特定类型的对象
  11. z    Non-specific zval 任意类型～
  12. Z    zval**类型
  13. f    表示函数、方法名称，PHP5.1里貌似木有... ...

这个函数就像printf()函数一样，后面的参数是与格式化字符串里的格式一一对应的。一些基础类型的数据会直接映射成C语言里的类型。

  1. ZEND_FUNCTION(sample_getlong) {
  3.     long foo;
  4.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC,"l", &foo) == FAILURE)
  5.     {
  6.         RETURN_NULL();
  7.     }
  8.     php_printf("The integer value of the parameter is: %ld\n", foo);
  9.     RETURN_TRUE;
  10. }
  1. 一般来说，int和long这两种数据类型的数据往往是相同的，但也有例外情况。所以我们不应改把long的数组放在一个int里，尤其是在64位平台里，那将引发一些不容易排查的Bug。所以通过zend_parse_parameter()函数接收参数时，我们应该使用内核约定好的那些类型的变量作为载体。
  1. 参数    对应C里的数据类型
  2. b    zend_bool
  3. l    long
  4. d    double
  5. s    char*, int 前者接收指针，后者接收长度
  6. r    zval*
  7. a    zval*
  8. o    zval*
  9. O    zval*, zend_class_entry*
  10. z    zval*
  11. Z    zval**

注意，所有的PHP语言中的复合类型参数都需要zval*类型来作为载体，因为它们都是内核自定义的一些数据结构。我们一定要确认参数和载体的类型一致，如果需要，它可以进行类型转换，比如把array转换成stdClass对象。s和O(字母大写欧)类型需要单独说一些，因为它们都需要两个载体。我们将在接下来的章节里了解php中对象的具体实现。这样我们改写一下我们在第五章定义的一个函数：

  1. <?php
  2. function sample_hello_world($name) {
  3.     echo "Hello $name!\n";
  4. }

在编写扩展时，我们需要用zend_parse_parameters()来接收这个字符串:

  1. ZEND_FUNCTION(sample_hello_world) {
  2.     char *name;
  3.     int name_len;
  5.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "s",&name, &name_len) == FAILURE)
  6.     {
  7.         RETURN_NULL();
  8.     }
  9.     php_printf("Hello ");
  10.     PHPWRITE(name, name_len);
  11.     php_printf("!\n");
  12. }

如果传递给函数的参数数量小于zend_parse_parameters()要接收的参数数量，它便会执行失败，并返回FAILURE。
如果我们需要接收多个参数，可以直接在zend_parse_paramenters()的参数里罗列接收载体便可以了，如：

  1. <?php
  2. function sample_hello_world($name, $greeting) {
  3.     echo "Hello $greeting $name!\n";
  4. }
  5. sample_hello_world('John Smith', 'Mr.');

在PHP扩展里应该这样来实现：

  1. ZEND_FUNCTION(sample_hello_world) {
  2.     char *name;
  3.     int name_len;
  4.     char *greeting;
  5.     int greeting_len;
  6.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "ss",&name, &name_len, &greeting, &greeting_len) == FAILURE) {
  7.         RETURN_NULL();
  8.     }
  9.     php_printf("Hello ");
  10.     PHPWRITE(greeting, greeting_len);
  11.     php_printf(" ");
  12.     PHPWRITE(name, name_len);
  13.     php_printf("!\n");
  14. }

除了上面定义的参数，还有其它的三个参数来增强我们接收参数的能力,如下：

  1. Type Modifier    Meaning
  2. |        它之前的参数都是必须的，之后的都是非必须的，也就是有默认值的。
  3. !        如果接收了一个PHP语言里的null变量，则直接把其转成C语言里的NULL，而不是封装成IS_NULL类型的zval。
  4. /        如果传递过来的变量与别的变量共用一个zval，而且不是引用，则进行强制分离，新的zval的is_ref__gc==0, and refcount__gc==1.

函数参数的默认值

现在让我们继续改写sample_hello_world(), 接下来我们使用一些参数的默认值，在php语言里就像下面这样：

  1. <?php
  2. function sample_hello_world($name, $greeting='Mr./Ms.') {
  3.     echo "Hello $greeting $name!\n";
  4. }
  5. sample_hello_world('Ginger Rogers','Ms.');
  6. sample_hello_world('Fred Astaire');

此时即可以只向sample_hello_world中传递一个参数，也可以传递完整的两个参数。那同样的功能我们怎样在扩展函数里实现呢？我们需要借助zend_parse_parameters中的(|)参数，这个参数之前的参数被认为是必须的，之后的便认为是非必须的了,如果没有传递，则不会去修改载体。

  1. ZEND_FUNCTION(sample_hello_world) {
  2.     char *name;
  3.     int name_len;
  4.     char *greeting = "Mr./Mrs.";
  5.     int greeting_len = sizeof("Mr./Mrs.") - 1;
  8.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "s|s",
  9.       &name, &name_len, &greeting, &greeting_len) == FAILURE) {
  10.         RETURN_NULL();
  11.     }
  12.     php_printf("Hello ");
  13.     PHPWRITE(greeting, greeting_len);
  14.     php_printf(" ");
  15.     PHPWRITE(name, name_len);
  16.     php_printf("!\n");
  17. }

如果你不传递第二个参数，则扩展函数会被认为默认而不去修改载体。所以，我们需要自己来预先设置有载体的值，它往往是是NULL，或者一个与函数逻辑有关的值。每个zval，包括IS_NULL型的zval，都需要占用一定的内存空间，并且需要cpu的计算资源来为它申请内存、初始化，并在它们完成工作后释放掉。但是很多代码都都没有意识到这一点。有很多代码都会把一个null型的值包裹成zval的IS_NULL类型，在扩展开发里这种操作是可以优化的，我们可以把参数接收成C语言里的NULL。我们就这一个问题看以下代码：

  1. ZEND_FUNCTION(sample_arg_fullnull) {
  2.     zval *val;
  3.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "z",&val) == FAILURE) {
  4.         RETURN_NULL();
  5.     }
  6.     if (Z_TYPE_P(val) == IS_NULL) {
  7.         val = php_sample_make_defaultval(TSRMLS_C);
  8.     }
  9.     ...
  10. }
  11. ZEND_FUNCTION(sample_arg_nullok) {
  12.     zval *val;
  13.     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "z!",&val) == FAILURE) {
  14.         RETURN_NULL();
  15.     }
  16.     if (!val) {
  17.         val = php_sample_make_defaultval(TSRMLS_C);
  18.     }
  19. }

这两段代码乍看起来并没有什么很大的不同，但是第一段代码确实需要更多的cpu和内存资源。可能这个技巧在平时并没多大用，不过技多不压身，知道总比不知道好。

Forced Separation

当一个变量被传递给函数时候，无论它是否被引用，它的refcoung__gc属性都会加一，至少成为2。一份是它自己，另一份是传递给函数的copy。在改变这个zval之前，有时会需要提前把它分成实际意义上的两份copy。这就是”/“格式符的作用。它将把写时复制的zval提前分成两个完整独立的copy，从而使我们可以在下面的代码中随意的对其进行操作。否则我们可能需要不停的提醒自己对接收的参数进行分离等操作。Like the NULL flag, this modifier goes after the type it means to impact. Also like the NULL flag, you won’t know you need this feature until you actually have a use for it.

zend_get_arguments()

如果你想让你的扩展能够兼容老版本的PHP，或者你只想以zval为载体来接收参数，便可以考虑使用zend_get_parameters()函数来接收参数。zend_get_parameters()与zend_parse_parameters()不同，从名字上我们便可以看出，它直接获取，而不做解析。首先，它不会自动进行类型转换，所有的参数在扩展实现中的载体都需要是zval类型的，下面让我们来看一个最简单的例子：

  1. ZEND_FUNCTION(sample_onearg) {
  2.     zval *firstarg;
  3.     if (zend_get_parameters(ZEND_NUM_ARGS(), 1, &firstarg)== FAILURE) {
  4.         php_error_docref(NULL TSRMLS_CC, E_WARNING,"Expected at least 1 parameter.");
  5.         RETURN_NULL();
  6.     }
  7.     /* Do something with firstarg... */
  8. }

其次，zend_get_parameters()在接收失败的时候，并不会自己抛出错误，它也不能方便的处理具有默认值的参数。最后一点与zend_parse_parameters不同的是，它会自动的把所有符合copy-on-write的zval进行强制分离，生成一个崭新的copy送到函数内部。如果你希望用它其它的特性，而唯独不需要这个功能，可以去尝试一下用zend_get_parameters_ex()函数来接收参数。为了不对copy-on-write的变量进行分离操作，zend_get_parameters_ex()的参数是zval*类型的，而不是zval。 这个函数不太经常用，可能只会在你碰到一些极端问题时候才会想到它，而它用起来却很简单：

  1. ZEND_FUNCTION(sample_onearg) {
  2.     zval **firstarg;
  3.     if (zend_get_parameters_ex(1, &firstarg) == FAILURE) {
  4.         WRONG_PARAM_COUNT;
  5.     }
  6.     /* Do something with firstarg... */
  7. }

注意zend_get_parameters_ex不需要ZEND_NUM_ARGS()作为参数，因为它是在是在后期加入的，那个参数已经不再需要了。
上面例子中还使用了WRONG_PARAM_COUNT宏,它的功能是抛出一个E_WARNING级别的错误信息，并自动return。

可变参数

有两种其它的zendget_parameter**函数，专门用来解决参数很多或者无法提前知道参数数目的问题。想一下php语言中var_dump()函数的用法，我们可以向其传递任意数量的参数，它在内核中的实现其实是这样的：

  1. ZEND_FUNCTION(var_dump) {
  2.     int i, argc = ZEND_NUM_ARGS();
  3.     zval ***args;
  5.     args = (zval ***)safe_emalloc(argc, sizeof(zval **), 0);
  6.     if (ZEND_NUM_ARGS() == 0 || zend_get_parameters_array_ex(argc, args) == FAILURE) {
  7.         efree(args);
  8.         WRONG_PARAM_COUNT;
  9.     }
  10.     for (i=0; i<argc; i++) {
  11.         php_var_dump(args[i], 1 TSRMLS_CC);
  12.     }
  13.     efree(args);
  14. }

程序首先获取参数数量，然后通过safe_emalloc函数申请了相应大小的内存来存放这些zval*类型的参数。这里使用了zend_get_parameters_array_ex()函数来把传递给函数的参数填充到args中。你可能已经立即想到，还存在一个名为zend_get_parameters_array()的函数，唯一不同的是它将zval类型的参数填充到args中，并且需要ZEND_NUM_ARGS()作为参数。