今天遇到一个问题, PHP5.2.x在使用反射做函数包装的时候, 得到”Invocation failed”的异常, 而使用call_user_func代替则不会,

原逻辑太复杂, 经过精简以后可重现异常的代码如下(使用ReflectionFunction为例, ReflectionMethod类似):

    

  1. function who(&$name) {
    2. 

  2.     echo $name;
    3. 

  3. }
    4. 

  4. $name = "laruence";
    5. 

  5. $method = new ReflectionFunction("who");
    6. 

  6. $method->invokeArgs(array($name));
    7. 

  7. //异常:
    8. 

  8. Uncaught exception 'ReflectionException' with message
    9. 

  9. 'Invocation of function who() failed'
    10.

找原因过程中歧途我就不多言了, 最后跟踪到invokeArgs会调用Zend引擎提供的zend_call_function, 而在zend_call_function中, 有如下一段逻辑引起我的怀疑(注意注释部分):

    

  1. int zend_call_function(zend_fcall_info *fci
    2. 

  2.          , zend_fcall_info_cache *fci_cache TSRMLS_DC) {
    3. 

  3. //以上省略
    4. 

  4.         if (ARG_SHOULD_BE_SENT_BY_REF(EX(function_state).function, i+1)
    5. 

  5.          && !PZVAL_IS_REF(*fci->params[i])) {
    6. 

  6. /*如果形参是引用传递 并且参数不是引用 */
    7. 

  7.             if ((*fci->params[i])->refcount>1) {
    8. 

  8. /*如果参数的refcount大于1 */
    9. 

  9.                 zval *new_zval;
    10. 

  10.  
    11. 

  11.                 if (fci->no_separation) {
    12. 

  12. /*如果不容许执行分离操作, 则返回失败 */
    13. 

  13.                     return FAILURE;
    14. 

  14.                 }
    15. 

  15. //以下省略
    16.

也就是说, 如果一个申明为引用传递的参数不为引用传递, 而refcount又大于1, 那么在不容许分离的条件下, 就会导致zend_call_function失败返回(如果对refcount和变量分离不了解, 可以参看我之前的文章深入理解PHP原理之变量分离/引用).

经过验证, 果然invokeArgs在构造zend_fcall_info fci的时候, 是禁止separation的, 所以导致zend_call_funcion返回FAILURE.

而使用call_user_func则不会是因为,call_user_function不考虑no_separation直接分离, 这一点在PHP手册中, call_user_func中是有说明的:

    

  1. Note: Note that the parameters for call_user_func() are not passed by reference
    2.

找到了原因, 那解决的办法, 也就容易了:

    

  1. function who(&$name) {
    2. 

  2.     echo $name;
    3. 

  3. }
    4. 

  4. $name = "laruence";
    5. 

  5. $method = new ReflectionFunction("who");
    6. 

  6. $method->invokeArgs(array(&$name)); //is_ref
    7.