-
- class A {
- public function __toString() {
- return 'bar';
- }
- }
- $a = new A();
- define('foo', $a);
- echo foo;
- // 輸出bar
複製程式碼
複製程式碼
php中的define究竟是如何實現的:
-
-
-
-
-
-
ZEND_FUNCTION(define)
- {
- char *name;
- int name_len; zval *val_free = NULL;
- zend_bool non_cs = 0;
- int case_sensitive = CONST_CS;
- zend_constant c;
// 接收3個參數, string,zval,bool
- if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "sz|b", &name, &name_len, &val, &non_cs) == FAILURE) {
- return; 🎜>
// 是否大小寫敏感
- if(non_cs) {
- case_sensitive = 0;
- }
// 如果define類別常數,則報錯
- if (zend_memnstr(name, "::", sizeof("::") - 1, name name_len)) {
- zend_error(E_WARNING, "Class constants cannot be defined or redefined"); }
// 取得真正的值,用val儲存
- repeat:
- switch (Z_TYPE_P(val)) {
- case IS_LONG:
- case IS_DOUBLE:
- case IS_STRING:
- case IS_BOOL:
- case IS_RESOURCE:
- case IS_NULL:
- break;
- case IS_OBJECT IS_NULL:
- break;
- copase IS_OBJECTECTget) {
- val_free = val = Z_OBJ_HT_P(val)->get(val TSRMLS_CC);
- goto repeat;
- } else if (Z_OBJ_castP(Z_OBJ_objval)ect)> ) {
- ALLOC_INIT_ZVAL(val_free);
- if (Z_OBJ_HT_P(val)->cast_object(val, val_free, IS_STRING TSRMLS_CC) == SUCCESS) {
- break
- ; }
- }
- }
- /* no break */
- default:
- zend_error(E_WARNING,"Constants may only evaluate to scalar values");
- if ( zval_ptr_dtor(&val_free);
- }
- RETURN_FALSE;
- }
-
- // 建構常數
- c.value = *val
-
- if (val_free) {
- zval_ptr_dtor(&val_free);
- }
- c.flags = case_sensitive; /* non persistent */ // 若大小寫不敏感,則為0,則為0,則為0,則為1
- c.name = zend_strndup(name, name_len);
- c.name_len = name_len 1;
- c.module_number = PHP_USER_CONSTANT; // 標註非內核常數,而是使用者定義的量
-
- // 註冊常數
- if (zend_register_constant(&c TSRMLS_CC) == SUCCESS) {
- RETURN_TRUE;
- } else {
- RETURN_FALSE;
-
-
- 複製程式碼
注意以repeat開始的一段循環,也用到了goto語句T_T
這段程式碼的作用為:
對於int,float,string,bool,resource,null,則實際定義的常數時直接使用這些值
對於object,則需要將object轉換成上述6個類型之一(如果轉型之後依然是object,則繼續轉型)
如何將object成6個類型之一呢?從程式碼上看有2種手段:
if (Z_OBJ_HT_P(val)->get) { val_free = val = Z_OBJ_HT_P(val)->get(val TS goto repeat;}- // __toString()方法會在cast_object中被呼叫
- else if (Z_OBJ_HT_P(val)->cast_object) {
- ALLOC_INIT_ZVAL(val_freeIT_ZVAL(val_free); (Z_OBJ_HT_P(val)->cast_object(val, val_free, IS_STRING TSRMLS_CC) == SUCCESS)
- {
- val = val_free;
- break;
- }
- }
- break;
- }
-
-
- 複製程式碼
-
-
1,Z_OBJ_HT_P(val)->get ,宏展開之後為(*val).value.obj.handlers->get
2,Z_OBJ_HT_P(val)->cast_object,巨集展開之後為(*val).value.obj.handlers->cast_object
handlers是一個包含許多函數指標的結構體,具體定義參見_zend_object_handlers 。此結構體中的函數指標皆用於操作object,例如讀取/修改物件屬性、取得/呼叫物件方法等等...get和cast_object也是其中之一。
對於一般的對象,php提供了標準的cast_object函數zend_std_cast_object_tostring,程式碼位於php-src/zend/zend-object-handlers.c:
-
-
ZEND_API int zend_std_cast_object_tostring(zval *readobj, zval *writeobj, int type RM =DC)* {
- zval *retval;
- zend_class_entry *ce;
switch (type) {
- case IS_STRING:
- ce = Z_OBJCE_P(readobj);
-
- // 如果使用者的class中定義了__toString,則嘗試呼叫
- if (ce->__tostring &&
- (zend_call_method_with_0_params(&readobj, ce, &ce->__tostring, "__tostring", &retval) || EG(exception))) {
- ……
-
- }
return FAILURE; …… } return FAILURE; } } return FAILURE;}
複製程式碼
從上述具體實作來看,預設的cast_object就是去尋找class中的__tostring方法然後呼叫...
回到剛開始的例子,define('foo', $a) ,由於$a是A的實例,而class A中定義了__toString,因此實際上foo常數等於toString的回傳值bar。
ps:繼續挖掘一點小細節.-
- 1,define有回傳值
通常我們定義常數直接寫成:define('foo', 123); 不過從define的實作來看,它是有回傳值的。根據手冊上的描述:
-
- 成功時回傳 TRUE, 或在失敗時回傳 FALSE。
-
- 什麼情況下define會失敗呢?
舉個例子:
-
define('PHP_INT_MAX', 1); // 回傳FALSE
define(' FOO', 1); // 回傳TRUE
define('FOO', 2); // 回傳FALSE
複製程式碼 -
- 上麵程式碼包含了兩種情況,一是我們嘗試重新定義php核心的預設常數,例如PHP_INT_MAX,這顯然會失敗。第二種情況是我們曾經在程式碼的某個位置定義過了一個常數FOO,然後又在接下來的程式中再次定義它,這也會造成失敗。因此,在編碼時最好將所有需要定義的常數寫在一起,以免造成name重複。
-
2,常數名沒有限制
再回顧define的實現,其中僅僅判斷name是否為XXX::YYY這種形式。
換句話說,define幾乎對其name不做任何要求,當然也不需要name是一個合法的php變數名稱。因此,我們可以讓define的常數取一些稀奇古怪的名稱。例如:
define('>_echo >_ - echo >_
複製程式碼
不過如果定義了這樣的常數,是沒法直接使用的,會報語法錯誤。正確的使用方法如下:
|