【PHP】クラスとネームスペースをインポートする際のバックスラッシュについて

Question

下記の二つはどう違うのでしょうか？

use Exception;
use \Exception;

又は

use Hoge\Fuga;
use \Hoge\Fuga;

マニュアルには下記のように書いてあります。

ネームスペースの名前は先頭にバックスラッシュを付ける必要はなく、つけることができません。なぜならインポートされる名前は現在のネームスペースと相対的にプロセスされる訳ではないので、条件を満たす必要があります (条件を満たしているネームスペースはFoo\Barのようにネームスペースのセパレータを含みます)

しかしこれがよくわかりません。上記の「許可されていない」ものもちゃんと作動するからです。

下記のコードでzend_do_useを見てみると、is_global (先頭にバックスラッシュがあるときはセットされています)は警告にのみ使われています。

namespace {
use Exception;
}
下記の警告を表示します: "The use statement with non-compound name 'Exception' has no effect". (しかし\Exceptionを使ったときは警告を投げません.)

何か抜けているところがあるのでしょうか？それともこれらは微妙に違うのですか？

Answer 1

マニュアルはバックスラッシュは不要だと明記しているだけなので、使っても特に変化はないはずです。しかし、質問者さんが指摘されているように、PHPには許可されていないと書いてありますが、これは間違っています。

マニュアルにはもう一つ触れている部分があります。下記の手段をすすめているところです。

// グローバルなクラスをinportする
use \ArrayObject;

インポートされた名前が、現在のnamespacesと相対的にプロセスされていないのであれば、use \ArrayObject と use ArrayObjectは同じ意味を持っているはずです。グローバルなもの以外、use ArrayObjectは他に何を指すことができますか？そのため、エンジンはグローバルなものをインポートします。

要するに、最初の質問を答えるならば、その2つに違いはありません。