php5多重繼承的bug

<?php</p><p>class a extends b {</p><p>};</p><p>class b extends c{</p><p>};</p><p>class c{</p><p>};</p><p>?><br />

 

上面的代碼執行時會找報錯：Fatal error: Class 'b' not found。

 

分析這個問題，是運行階段出錯，經過分析PHP的編譯，執行過程，得出如下的parsing順序…

 

  
start:
  
    top_statement_list
  
;
  
top_statement_list:
  
        top_statement_list
  
.... //有省略
  
;
  
top_statement:
  
.... //有省略
  
    | class_declaration_statement
  
 .... //有省略
  
;
  
class_declaration_statement:
  
        unticked_class_declaration_statement
  
;
  
unticked_class_declaration_statement:
  
        class_entry_type T_STRING extends_from
  
.... //有省略
  
;
  
class_entry_type:
  
        T_CLASS
  
.... //有省略
  
;
  
extends_from:
  
        /* empty */
  
    | T_EXTENDS fully_qualified_class_name
  
.... //有省略
  
;
  
fully_qualified_class_name:
  
        T_STRING { zend_do_fetch_class(&$$, &$1 TSRMLS_CC); }
  
 
 

 

  
zend_do_fetch_class 會設定opcode = ZEND_FETCH_CLAS
 

從這個過程我們可以發現，這個應該是PHP5的bug， 對於fully_qualified_class_name，如果fully_qualified_class_name也是繼承來自一個類，那麼就會出錯， 因為fully_qualified_class_name只是簡單的去fetch_class, 而如果這個時候，這個類還沒有被填入到class_table就會出錯。也就是說，需要有個機制，來保證父class首先被處理。

以下是我分析源碼後的結論：
對於a，因為是個衍生類別，在編譯階段，當遇到它的定義的時候，會：

 

  
 zend_do_begin_class_declaratio
 

在這個函數中，會調用:

 

  
 build_runtime_defined_function_key(&opline->op1.u.constant, lcname, name_len TSRMLS_CC)
 

來產生一個：

 

  
   sprintf(result->value.str.val, "%c%s%s%s", '/0', name, filename, char_pos_buf
   

    
);
   
 

的字串，來做為一個編譯器的classname存入class_table:

 

  
    zend_hash_update(CG(class_table), opline->op1.u.constant.value.str.val, opline->op1.u.constant.value.str.len, &new_class_entry, sizeof(zend_class_entry *), NULL
   

    
);
   
 

最後在吸收top_statement的時候，會有一次類的產生(填入class_table);

 

  
top_statement:
  
        statement
  
 ...
  
    | class_declaration_statement { zend_do_early_binding(TSRMLS_C); }
  
...
  
...
  
;
 

在zend_do_early_binding的時候：

 

  
void zend_do_early_binding(TSRMLS_D){
  
...
  
...
  
  switch (opline->opcode) {
  
      case ZEND_DECLARE_FUNCTION:
  
          if (do_bind_function(opline, CG(function_table), 1) == FAILURE) {
  
              return;
  
          }
  
          table = CG(function_table);
  
          break;
  
      case ZEND_DECLARE_CLASS:
  
      case ZEND_DECLARE_INHERITED_CLASS:
  
          is_abstract_class = 1;
  
          /* break missing intentionally */
  
      case ZEND_VERIFY_ABSTRACT_CLASS: {
  
              zend_op *verify_abstract_class_op = opline;
  
              if (!is_abstract_class) {
  
                  opline--;
  
              }
  
              if (opline->opcode == ZEND_DECLARE_CLASS) {
  
                  if (do_bind_class(opline, CG(class_table), 1 TSRMLS_CC) == NULL) {
  
                      return;
  
                  }
  
              } else if (opline->opcode == ZEND_DECLARE_INHERITED_CLASS) {
  
                  zval *parent_name = &(opline-1)->op2.u.constant;
  
                  zend_class_entry **pce;
  
                    if (zend_lookup_class(Z_STRVAL_P(parent_name), Z_STRLEN_P(parent_name), &pce TSR
  
MLS_CC) == FAILURE) {
  
                        return;
  
                    }
  
                    if (do_bind_inherited_class(opline, CG(class_table), *pce, 1 TSRMLS_CC) == NULL)
  
 {
  
                        return;
  
                    }
  
                    /* clear unnecessary ZEND_FETCH_CLASS opcode */
  
}
 

看到了吧，如果找不到父類，就直接返回了，也就是說，衍生類別在編譯期如果找不到父類，就不會被真正初始化，而是延遲到執行期。會分配一個opcode為ZEND_DECLARE_INHERITED_CLASS的opline，用來在運行期真正組建定義的類：

 

  
ZEND_API zend_class_entry *do_bind_inherited_class(zend_op *opline, HashTable *class_table, zend_class_entry *parent_ce, zend_bool compile_time TSRMLS_DC)
  
{
  
.......
  
//hash_merg子類和父類的屬性、方法
  
    if (zend_hash_add(class_table, opline->op2.u.constant.value.str.val, opline->op2.u.constant.value.str.len+1, pce, sizeof(zend_class_entry *), NULL)==FAILURE)
  
.....
  
}
 

這個時候問題就來了：
因為我們的b也是一個衍生類別，所以在執行a的do_bind_inherited_class時候，對於b，他也需要做一個ZEND_DECLARE_INHERITED_CLASS，也就是說，此時的class_table中是沒有b的。
這也就解釋了，如果最基類c，定義在前的時候，就不會出錯。

恩，這個應該是PHP5的一個Bug。

我已經報bug給PHP開發組並發信詢問Rasmus Lerdof(the creator of PHP)，看他們怎麼說了：
http://bugs.php.net/bug.php?id=45904

 

原文地址:http://www.laruence.com/2008/08/24/427.html