PHPはシンプルと言われますが、それを使いこなすのは簡単ではありません。それを使用できることに加えて、その根本的な動作原理を知る必要もあります。
PHP は Web 開発に適した動的言語です。具体的には、C言語を使用して多数のコンポーネントを実装するソフトウェアフレームワークです。より狭い意味で見ると、強力な UI フレームワークと考えることができます。
PHP の基礎となる実装を理解する目的は何ですか?動的言語をうまく使用するには、まずメモリ管理とフレームワーク モデルを理解する必要があります。拡張された開発を通じて、より強力な機能を実現し、プログラムのパフォーマンスを最適化できます。
PHP のコアアーキテクチャは以下のとおりです:
写真からわかるように、PHP は下から上への 4 層システムです:
PHP が車だとすると、車のフレームは PHP そのものであり、Zend は車のエンジンであり、Ext の下にあるさまざまなコンポーネントは車の車輪とみなすことができ、車はそう考えることができます。さまざまな種類の道路を走行し、PHP プログラムを実行することで車が道路を走行します。したがって、高性能エンジン + 適切なホイール + 適切なトラックが必要です。
前述したように、Sapi を使用すると、外部アプリケーションが一連のインターフェイスを通じて PHP とデータを交換し、さまざまなアプリケーションの特性に応じて特定の処理メソッドを実装できるようになります。
図からわかるように、PHP は典型的な動的言語の実行プロセスを実装しています。コードの一部を取得した後、字句解析、構文解析、その他の段階を経て、ソース プログラムが命令 (オペコード) に変換され、その後 ZEND が実行されます。仮想マシンはこれらの命令を順番に実行して操作を完了します。 PHP 自体は C で実装されているため、最終的に呼び出される関数はすべて C の関数です。実際には、PHP は C で開発されたソフトウェアと考えることができます。
PHP 実行の中核は、オペコードである翻訳された命令です。
オペコードは、PHP プログラム実行の最も基本的な単位です。オペコードは 2 つのパラメータ (op1、op2)、戻り値、および処理関数で構成されます。 PHP プログラムは最終的に、一連のオペコード処理関数の順次実行に変換されます。
いくつかの一般的な処理関数:
1 |
ZEND_ASSIGN_SPEC_CV_CV_HANDLER : 变量分配 ( $a = $b )
|
2 |
ZEND_DO_FCALL_BY_NAME_SPEC_HANDLER:函数调用 |
3 |
ZEND_CONCAT_SPEC_CV_CV_HANDLER:字符串拼接 $a . $b
|
4 |
ZEND_ADD_SPEC_CV_CONST_HANDLER: 加法运算 $a +2
|
5 |
ZEND_IS_EQUAL_SPEC_CV_CONST:判断相等 $a ==1
|
6 |
ZEND_IS_IDENTICAL_SPEC_CV_CONST:判断相等 $a ===1
|
HashTable は zend のコア データ構造であり、PHP のほぼすべての一般的な関数を実装するために使用されます。また、関数シンボル テーブルやグローバル変数など、zend 内での一般的なアプリケーションも使用されます。また、ハッシュ テーブルに基づいて実現します。
PHP のハッシュ テーブルには次の機能があります:
Zend ハッシュ テーブルは、典型的なハッシュ テーブルのハッシュ構造を実装し、同時に二重リンク リストを付加することによって配列の順方向および逆方向の走査機能を提供します。その構造は以下に示すとおりです:
ご覧のとおり、ハッシュ テーブルにはキー -> 値の形式のハッシュ構造と二重リンク リスト モードの両方があり、高速検索と線形トラバーサルをサポートするのに非常に便利です。
01 |
getKeyHashValue h; |
02 |
index = n & nTableMask; |
03 |
Bucket *p = arBucket[index]; |
04 |
while (p) {
|
05 |
if ((p->h == h) && (p->nKeyLength == nKeyLength)) {
|
06 |
RETURN p->data;
|
07 |
}
|
08 |
p=p->next;
|
09 |
} |
10 |
RETURN FALTURE; |
PHP は型付けが弱い言語であり、変数の型を厳密に区別しません。 PHP では、変数を宣言するときに型を指定する必要はありません。 PHP は、プログラムの実行中に変数の型の暗黙的な変換を実行する場合があります。他の厳密に型指定された言語と同様に、プログラム内で明示的な型変換を実行することもできます。 PHP 変数は、単純型 (int、string、bool)、コレクション型 (配列リソース オブジェクト)、および定数 (const) に分類できます。上記の変数はすべて、内部では同じ構造 zval を持ちます。
Zval は Zend のもう 1 つの非常に重要なデータ構造であり、PHP 変数の識別と実装に使用されます。そのデータ構造は次のとおりです。
Zval は主に 3 つの部分で構成されます:
PHP 変数の型と実際のストレージの対応関係は次のとおりです:
1
|
IS_LONG -> lvalue
|
2
|
IS_DOUBLE -> dvalue
|
3
|
IS_ARRAY -> ht
|
4
|
IS_STRING -> str
|
5
|
IS_RESOURCE -> lvalue
|
1 |
$res = $strA . $strB 和 $res = “ $strA $strB ”
|
2 |
这种情况下,zend会重新malloc一块内存并进行相应处理,其速度一般
|
3 |
$strA = $strA . $strB
|
4 |
这种是速度最快的,zend会在当前strA基础上直接relloc,避免重复拷贝
|
5 |
$res = $intA . $intB
|
6 |
这种速度较慢,因为需要做隐式的格式转换,实际编写程序中也应该注意尽量避免
|
7 |
$strA = sprintf (“%s%s”, $strA . $strB );
|
8 |
这会是最慢的一种方式,因为sprintf在PHP中并不是一个语言结构,本身对于格式识别和处理就需要耗费比较多时间,另外本身机制也是malloc。不过sprintf的方式最具可读性,实际中可以根据具体情况灵活选择。 |
PHP 配列は、Zend HashTable を通じて自然に実装されます。
foreach操作を実装するには?配列の Foreach は、ハッシュテーブル内の二重リンク リストを走査することによって完了します。インデックス配列の場合、foreach を介した走査は for よりもはるかに効率的であり、キー→値を検索する必要がなくなります。 count オペレーションは、HashTable->NumOfElements, O(1) オペレーションを直接呼び出します。 「123」のような文字列の場合、zend はそれを整数形式に変換します。 $arr[‘123’] と $arr[123] は同等です
リソースタイプ変数は、PHP で最も複雑な変数であり、複合構造でもあります。
PHP の zval は幅広いデータ型を表すことができますが、カスタム データ型を完全に記述することは困難です。これらの複合構造を表現する効率的な方法がないため、それらに対して従来の演算子を使用する方法はありません。この問題を解決するには、リソースと呼ばれる本質的に任意の識別子 (ラベル) を介してポインターを参照するだけで済みます。
zval では、リソースの場合、lval はリソースのアドレスを直接指すポインターとして使用されます。リソースは任意の複合構造にすることができます。よく知られている mysqli、fsock、memcached などはすべてリソースです。
リソースの使用方法:
リソースは、それを参照しているすべての変数がスコープ外になった後だけでなく、リクエストが終了して新しいリクエストが生成された後でも、長期間存続することができます。これらのリソースは、特に破棄されない限り、SAPI のライフサイクル全体にわたって存続するため、永続リソースと呼ばれます。多くの場合、永続リソースによりパフォーマンスがある程度向上します。たとえば、一般的な mysql_pconnect では、永続リソースは pemalloc を通じてメモリを割り当て、リクエストが終了しても解放されないようにします。 zend の場合、この 2 つ自体には区別がありません。
ローカル変数とグローバル変数は PHP でどのように実装されますか?リクエストの場合、PHP はいつでも 2 つのシンボル テーブル (symbol_table と active_symbol_table) を参照でき、前者はグローバル変数を維持するために使用されます。後者は、現在アクティブな変数シンボル テーブルを指すポインターです。プログラムが関数に入ると、zend はシンボル テーブル x をそれに割り当て、active_symbol_table を a に指します。このようにして、グローバル変数とローカル変数の区別が行われます。
変数値の取得: PHP のシンボル テーブルは hash_table を通じて実装され、取得時に対応する zval がテーブルから検索され、識別子に従って返されます。
関数でグローバル変数を使用する: 関数では、明示的に global を宣言することでグローバル変数を使用できます。 active_symbol_tableのsymbol_tableに同じ名前の変数への参照を作成します。symbol_tableに同じ名前の変数が存在しない場合は、それが最初に作成されます。