### 7.6.3 引用傳參
上一節介紹了如何在內部函數中解析參數,這里還有一種情況沒有講到,那就是引用傳參:
```php
$a = array();
function my_func(&$a){
$a[] = 1;
}
```
上面這個例子在函數中對$a的修改將反映到原變量上,那么這種用法如何在內部函數中實現呢?上一節介紹參數解析的過程中并沒有提到用戶函數中參數的zend_arg_info結構,內部函數中也有類似的一個結構用于函數注冊時指定參數的一些信息:zend_internal_arg_info。
```c
typedef struct _zend_internal_arg_info {
const char *name; //參數名
const char *class_name;
zend_uchar type_hint; //顯式聲明的類型
zend_uchar pass_by_reference; //是否引用傳參
zend_bool allow_null; //是否允許參數為NULL,類似"!"的用法
zend_bool is_variadic; //是否為可變參數
} zend_internal_arg_info;
```
這個結構幾乎與zend_arg_info完全一樣,不同的地方只在于name、class_name的類型,zend_arg_info這兩個成員的類型都是zend_string。如果函數需要使用引用類型的參數或返回引用就需要創建函數的參數數組,這個數組通過:`ZEND_BEGIN_ARG_INFO()或ZEND_BEGIN_ARG_INFO_EX()`、`ZEND_END_ARG_INFO()`宏定義:
```c
#define ZEND_BEGIN_ARG_INFO_EX(name, _unused, return_reference, required_num_args)
#define ZEND_BEGIN_ARG_INFO(name, _unused)
```
* __name:__ 參數數組名,注冊函數`PHP_FE(function, arg_info)`會用到
* ___unused:__ 保留值,暫時無用
* __return_reference:__ 返回值是否為引用,一般很少會用到
* __required_num_args:__ required參數數
這兩個宏需要與`ZEND_END_ARG_INFO()`配合使用:
```c
ZEND_BEGIN_ARG_INFO_EX(arginfo_my_func_1, 0, 0, 2)
...
ZEND_END_ARG_INFO()
```
接著就是在上面兩個宏中間定義每一個參數的zend_internal_arg_info,PHP提供的宏有:
```c
//pass_by_ref表示是否引用傳參,name為參數名稱
#define ZEND_ARG_INFO(pass_by_ref, name) { #name, NULL, 0, pass_by_ref, 0, 0 },
//只聲明此參數為引用傳參
#define ZEND_ARG_PASS_INFO(pass_by_ref) { NULL, NULL, 0, pass_by_ref, 0, 0 },
//顯式聲明此參數的類型為指定類的對象,等價于PHP中這樣聲明:MyClass $obj
#define ZEND_ARG_OBJ_INFO(pass_by_ref, name, classname, allow_null) { #name, #classname, IS_OBJECT, pass_by_ref, allow_null, 0 },
//顯式聲明此參數類型為數組,等價于:array $arr
#define ZEND_ARG_ARRAY_INFO(pass_by_ref, name, allow_null) { #name, NULL, IS_ARRAY, pass_by_ref, allow_null, 0 },
//顯式聲明為callable,將檢查函數、成員方法是否可調
#define ZEND_ARG_CALLABLE_INFO(pass_by_ref, name, allow_null) { #name, NULL, IS_CALLABLE, pass_by_ref, allow_null, 0 },
//通用宏,自定義各個字段
#define ZEND_ARG_TYPE_INFO(pass_by_ref, name, type_hint, allow_null) { #name, NULL, type_hint, pass_by_ref, allow_null, 0 },
//聲明為可變參數
#define ZEND_ARG_VARIADIC_INFO(pass_by_ref, name) { #name, NULL, 0, pass_by_ref, 0, 1 },
```
舉個例子來看:
```php
function my_func_1(&$a, Exception $c){
...
}
```
用內核實現則可以這么定義:
```c
ZEND_BEGIN_ARG_INFO_EX(arginfo_my_func_1, 0, 0, 1)
ZEND_ARG_INFO(1, a) //引用
ZEND_ARG_OBJ_INFO(0, b, Exception, 0) //注意:這里不要把字符串加""
ZEND_END_ARG_INFO()
```
展開后:
```c
static const zend_internal_arg_info name[] = {
//多出來的這個是給返回值用的
{ (const char*)(zend_uintptr_t)(2), NULL, 0, 0, 0, 0 },
{ "a", NULL, 0, 0, 0, 0 },
{ "b", "Exception", 8, 1, 0, 0 },
}
```
第一個數組元素用于記錄必傳參數的數量以及返回值是否為引用。定義完這個數組接下來就需要把這個數組告訴函數:
```c
const zend_function_entry mytest_functions[] = {
PHP_FE(my_func_1, arginfo_my_func_1)
PHP_FE(my_func_2, NULL)
PHP_FE_END //末尾必須加這個
};
```
引用參數通過`zend_parse_parameters()`解析時只能使用"z"解析,不能再直接解析為zend_value了,否則引用將失效:
```c
PHP_FUNCTION(my_func_1)
{
zval *lval; //必須為zval,定義為zend_long也能解析出,但不是引用
zval *obj;
if(zend_parse_parameters(ZEND_NUM_ARGS(), "zo", &lval, &obj) == FAILURE){
RETURN_FALSE;
}
//lval的類型為IS_REFERENCE
zval *real_val = Z_REFVAL_P(lval); //獲取實際引用的zval地址:&(lval.value->ref.val)
Z_LVAL_P(real_val) = 100; //設置實際引用的類型
}
```
```php
$a = 90;
$b = new Exception;
my_func_1($a, $b);
echo $a;
==========[output]===========
100
```
> __Note:__ 參數數組與zend_parse_parameters()有很多功能重合,兩者都會生效,對zend_internal_arg_info驗證在zend_parse_parameters()之前,為避免混亂兩者應該保持一致;另外,雖然內部函數的參數數組并不強制定義聲明,但還是建議聲明。
- 前言
- 第1章 PHP基本架構
- 1.1 PHP簡介
- 1.2 PHP7的改進
- 1.3 FPM
- 1.3.1 概述
- 1.3.2 基本實現
- 1.3.3 FPM的初始化
- 1.3.4 請求處理
- 1.3.5 進程管理
- 1.4 PHP執行的幾個階段
- 第2章 變量
- 2.1 變量的內部實現
- 2.2 數組
- 2.3 靜態變量
- 2.4 全局變量
- 2.5 常量
- 第3章 Zend虛擬機
- 3.1 PHP代碼的編譯
- 3.1.1 詞法解析、語法解析
- 3.1.2 抽象語法樹編譯流程
- 3.2 函數實現
- 3.2.1 內部函數
- 3.2.2 用戶函數的實現
- 3.3 Zend引擎執行流程
- 3.3.1 基本結構
- 3.3.2 執行流程
- 3.3.3 函數的執行流程
- 3.3.4 全局execute_data和opline
- 3.4 面向對象實現
- 3.4.1 類
- 3.4.2 對象
- 3.4.3 繼承
- 3.4.4 動態屬性
- 3.4.5 魔術方法
- 3.4.6 類的自動加載
- 3.5 運行時緩存
- 3.6 Opcache
- 3.6.1 opcode緩存
- 3.6.2 opcode優化
- 3.6.3 JIT
- 第4章 PHP基礎語法實現
- 4.1 類型轉換
- 4.2 選擇結構
- 4.3 循環結構
- 4.4 中斷及跳轉
- 4.5 include/require
- 4.6 異常處理
- 第5章 內存管理
- 5.1 Zend內存池
- 5.2 垃圾回收
- 第6章 線程安全
- 6.1 什么是線程安全
- 6.2 線程安全資源管理器
- 第7章 擴展開發
- 7.1 概述
- 7.2 擴展的實現原理
- 7.3 擴展的構成及編譯
- 7.3.1 擴展的構成
- 7.3.2 編譯工具
- 7.3.3 編寫擴展的基本步驟
- 7.3.4 config.m4
- 7.4 鉤子函數
- 7.5 運行時配置
- 7.5.1 全局變量
- 7.5.2 ini配置
- 7.6 函數
- 7.6.1 內部函數注冊
- 7.6.2 函數參數解析
- 7.6.3 引用傳參
- 7.6.4 函數返回值
- 7.6.5 函數調用
- 7.7 zval的操作
- 7.7.1 新生成各類型zval
- 7.7.2 獲取zval的值及類型
- 7.7.3 類型轉換
- 7.7.4 引用計數
- 7.7.5 字符串操作
- 7.7.6 數組操作
- 7.8 常量
- 7.9 面向對象
- 7.9.1 內部類注冊
- 7.9.2 定義成員屬性
- 7.9.3 定義成員方法
- 7.9.4 定義常量
- 7.9.5 類的實例化
- 7.10 資源類型
- 7.11 經典擴展解析
- 7.8.1 Yaf
- 7.8.2 Redis
- 第8章 命名空間
- 8.1 概述
- 8.2 命名空間的定義
- 8.2.1 定義語法
- 8.2.2 內部實現
- 8.3 命名空間的使用
- 8.3.1 基本用法
- 8.3.2 use導入
- 8.3.3 動態用法
- 附錄
- break/continue按標簽中斷語法實現
- defer推遲函數調用語法的實現
- 一起線上事故引發的對PHP超時控制的思考