名稱解析規(guī)則

(PHP 5 >= 5.3.0, PHP 7, PHP 8)

在說明名稱解析規(guī)則之前，我們先看一些重要的定義：

命名空間名稱定義
非限定名稱（Unqualified name）

名稱中不包含命名空間分隔符的標(biāo)識符，例如 Foo

限定名稱（Qualified name）

名稱中含有命名空間分隔符的標(biāo)識符，例如 Foo\Bar

完全限定名稱（Fully qualified name）

名稱中包含命名空間分隔符，并以命名空間分隔符開始的標(biāo)識符，例如 \Foo\Bar。 namespace\Foo 也是一個完全限定名稱。

相對名稱（Relative name）

這是個以 namespace 開頭的標(biāo)識符， 例如 namespace\Foo\Bar。

名稱解析遵循下列規(guī)則：

  1. 完全限定名稱總是會解析成沒有前綴符號的命名空間名稱。 \A\B 解析為 A\B。
  2. 解析相對名稱時，會用當(dāng)前命名空間的名稱替換掉 namespace。 如果名稱出現(xiàn)在全局命名空間，會截掉 namespace\ 前綴。 例如，在命名空間 X\Y 里的 namespace\A 會被解析成 X\Y\A。 在全局命名空間里，同樣的名字卻被解析成 A。
  3. 對于限定名稱，名字的第一段會根據(jù)當(dāng)前 class/namespace 導(dǎo)入表進(jìn)行翻譯。 比如命名空間 A\B\C 被導(dǎo)入為 C， 名稱 C\D\E 會被翻譯成 A\B\C\D\E。
  4. 對于限定名稱，如果沒有應(yīng)用導(dǎo)入規(guī)則，就將當(dāng)前命名空間添加為名稱的前綴。 例如，位于命名空間 A\B 內(nèi)的名稱 C\D\E 會解析成 A\B\C\D\E。
  5. 根據(jù)符號類型和對應(yīng)的當(dāng)前導(dǎo)入表，解析非限定名稱。 這也就是說，根據(jù) class/namespace 導(dǎo)入表翻譯類名稱； 根據(jù)函數(shù)導(dǎo)入表翻譯函數(shù)名稱； 根據(jù)常量導(dǎo)入表翻譯常量名稱。 比如，在 use A\B\C; 后，類似 new C() 這樣的名稱會解析為 A\B\C()。 類似的，use function A\B\fn; 后， fn() 的用法，解析名稱為 A\B\fn。
  6. 如果沒有應(yīng)用導(dǎo)入規(guī)則，對于類似 class 符號的非限定名稱，會添加當(dāng)前命名空間作為前綴。 比如命名空間 A\B 內(nèi)的 new C() 會把名稱解析為 A\B\C。
  7. 如果沒有應(yīng)用導(dǎo)入規(guī)則，非限定名稱指向函數(shù)或常量，且代碼位于全局命名空間之外，則會在運行時解析名稱。 假設(shè)代碼位于命名空間 A\B 中， 下面演示了調(diào)用函數(shù) foo() 是如何解析的：
    1. 在當(dāng)前命名空間中查找函數(shù)： A\B\foo()。
    2. 它會嘗試找到并調(diào)用 全局 的函數(shù) foo()。

示例 #1 名稱解析示例

<?php
namespace A;
use B\D, C\E as F;

// 函數(shù)調(diào)用

foo();      // 首先嘗試調(diào)用定義在命名空間"A"中的函數(shù)foo()
            // 再嘗試調(diào)用全局函數(shù) "foo"

\foo();     // 調(diào)用全局空間函數(shù) "foo" 

my\foo();   // 調(diào)用定義在命名空間"A\my"中函數(shù) "foo" 

F();        // 首先嘗試調(diào)用定義在命名空間"A"中的函數(shù) "F" 
            // 再嘗試調(diào)用全局函數(shù) "F"

// 類引用

new B();    // 創(chuàng)建命名空間 "A" 中定義的類 "B" 的一個對象
            // 如果未找到，則嘗試自動裝載類 "A\B"

new D();    // 使用導(dǎo)入規(guī)則，創(chuàng)建命名空間 "B" 中定義的類 "D" 的一個對象
            // 如果未找到，則嘗試自動裝載類 "B\D"

new F();    // 使用導(dǎo)入規(guī)則，創(chuàng)建命名空間 "C" 中定義的類 "E" 的一個對象
            // 如果未找到，則嘗試自動裝載類 "C\E"

new \B();   // 創(chuàng)建定義在全局空間中的類 "B" 的一個對象
            // 如果未發(fā)現(xiàn)，則嘗試自動裝載類 "B"

new \D();   // 創(chuàng)建定義在全局空間中的類 "D" 的一個對象
            // 如果未發(fā)現(xiàn)，則嘗試自動裝載類 "D"

new \F();   // 創(chuàng)建定義在全局空間中的類 "F" 的一個對象
            // 如果未發(fā)現(xiàn)，則嘗試自動裝載類 "F"

// 調(diào)用另一個命名空間中的靜態(tài)方法或命名空間函數(shù)

B\foo();    // 調(diào)用命名空間 "A\B" 中函數(shù) "foo"

B::foo();   // 調(diào)用命名空間 "A" 中定義的類 "B" 的 "foo" 方法
            // 如果未找到類 "A\B" ，則嘗試自動裝載類 "A\B"

D::foo();   // 使用導(dǎo)入規(guī)則，調(diào)用命名空間 "B" 中定義的類 "D" 的 "foo" 方法
            // 如果類 "B\D" 未找到，則嘗試自動裝載類 "B\D"

\B\foo();   // 調(diào)用命名空間 "B" 中的函數(shù) "foo" 

\B::foo();  // 調(diào)用全局空間中的類 "B" 的 "foo" 方法
            // 如果類 "B" 未找到，則嘗試自動裝載類 "B"

// 當(dāng)前命名空間中的靜態(tài)方法或函數(shù)

A\B::foo();   // 調(diào)用命名空間 "A\A" 中定義的類 "B" 的 "foo" 方法
              // 如果類 "A\A\B" 未找到，則嘗試自動裝載類 "A\A\B"

\A\B::foo();  // 調(diào)用命名空間 "A\B" 中定義的類 "B" 的 "foo" 方法
              // 如果類 "A\B" 未找到，則嘗試自動裝載類 "A\B"
?>