Kann man PHP Header Angabe und Namespace Festlegung includen?

[Rolf B]

Hallo Professor,

<?php
include "file2.inc";

function hallo() {
   echo "noname - Hallo\n";
}

hallo();
welt();

und file2.inc:

<?php
namespace Bar;

function welt() {
   echo "Bar - Welt\n";
}

funktioniert auch nicht. In dem Fall würde in file1.php nach \welt gesucht, statt nach \Bar\welt.

Es ist etwas anderes, wenn es so aussieht:

<?php
namespace Foo;

include "file2.inc";

function hallo() {
   echo "Foo - Hallo\n";
}

hallo();
welt();

und file2.inc:

<?php
function welt() {
   echo "noname - Welt\n";
}

Jetzt ist welt im Root-Namespace und der Aufruf erfolgt aus dem Foo-Namespace heraus. Und dann sucht PHP. Zuerst nach \Foo\welt, und dann automatisch auch nach \welt.

Rolf