Warum kann PHP Trait keine Schnittstellen implementieren?

Ich frage mich, warum PHP Trait (PHP 5.4) keine Schnittstellen implementieren kann.

Update von der Antwort von user1460043 => …kann keine Klasse erfordern, die sie verwendet, um eine bestimmte Schnittstelle zu implementieren

Ich verstehe, dass es offensichtlich sein könnte, weil die Leute denken könnten, dass, wenn a Class A verwendet a Trait T die eine implementiert interface Ials das Class A sollte die implementieren interface I indirekt (und das ist nicht wahr, weil Class A könnte Trait-Methoden umbenennen).

In meinem Fall ruft mein Merkmal Methoden von der Schnittstelle auf, die die Klasse, die das Merkmal verwendet, implementiert.

Das Merkmal ist tatsächlich eine Implementierung einiger Methoden der Schnittstelle. Also möchte ich im Code “entwerfen”, dass jede Klasse, die mein Merkmal verwenden möchte, die Schnittstelle implementieren muss. Das würde es dem Merkmal ermöglichen, von der Schnittstelle definierte Klassenmethoden zu verwenden und sicherzustellen, dass sie in der Klasse vorhanden sind.

Die wirklich kurze Version ist einfacher, weil Sie es nicht können. So funktionieren Traits nicht.

Wenn du schreibst use SomeTrait; In PHP sagen Sie dem Compiler (effektiv), dass er den Code aus dem Trait kopieren und in die Klasse einfügen soll, in der er verwendet wird.

Weil die use SomeTrait; innerhalb der Klasse ist, kann es nicht hinzugefügt werden implements SomeInterface zur Klasse, denn das muss außerhalb der Klasse sein.

“Warum gibt es keine Traits-Typen in PHP?”

Weil sie nicht instanziiert werden können. Traits sind wirklich nur ein Sprachkonstrukt (das dem Compiler mitteilt, den Trait-Code zu kopieren und in diese Klasse einzufügen), im Gegensatz zu einem Objekt oder Typ, auf das von Ihrem Code verwiesen werden kann.

Also möchte ich im Code “entwerfen”, dass jede Klasse, die mein Merkmal verwenden möchte, die Schnittstelle implementieren muss.

Dies kann mit einer abstrakten Klasse erzwungen werden use die Eigenschaft und dann die Erweiterung von Klassen daraus.

interface SomeInterface{
    public function someInterfaceFunction();
}

trait SomeTrait {
    function sayHello(){
        echo "Hello my secret is ".static::$secret;
    }
}

abstract class AbstractClass implements SomeInterface{
    use SomeTrait;
}

class TestClass extends AbstractClass {
    static public  $secret = 12345;

    //function someInterfaceFunction(){
        //Trying to instantiate this class without this function uncommented will throw an error
        //Fatal error: Class TestClass contains 1 abstract method and must therefore be 
        //declared abstract or implement the remaining methods (SomeInterface::doSomething)
    //}
}

$test = new TestClass();

$test->sayHello();

Wenn Sie jedoch erzwingen müssen, dass jede Klasse, die eine Eigenschaft verwendet, eine bestimmte Methode hat, verwenden Sie möglicherweise Eigenschaften, bei denen Sie überhaupt abstrakte Klassen hätten sein sollen.

Oder dass Sie Ihre Logik falsch herum haben. Sie sollen verlangen, dass Klassen, die Schnittstellen implementieren, bestimmte Funktionen haben, nicht dass sie sich selbst als eine Schnittstelle implementierend deklarieren müssen, wenn sie bestimmte Funktionen haben.

Bearbeiten

Tatsächlich können Sie abstrakte Funktionen innerhalb von Traits definieren, um eine Klasse zu zwingen, die Methode zu implementieren. z.B

trait LoggerTrait {

    public function debug($message, array $context = array()) {
        $this->log('debug', $message, $context);
    }

    abstract public function log($level, $message, array $context = array());
}

Dies erlaubt Ihnen jedoch immer noch nicht, die Schnittstelle in der Eigenschaft zu implementieren, und riecht immer noch nach schlechtem Design, da Schnittstellen viel besser als Eigenschaften sind, um einen Vertrag zu definieren, den eine Klasse erfüllen muss.

Da ist ein RFC: Merkmale mit Schnittstellen schlägt vor, der Sprache Folgendes hinzuzufügen:

trait SearchItem implements SearchItemInterface
{
    ...
}

Von der Schnittstelle benötigte Methoden können entweder durch die Eigenschaft implementiert oder als abstrakt deklariert werden, wobei in diesem Fall erwartet wird, dass die Klasse, die die Eigenschaft verwendet, diese implementiert.

Diese Funktion wird derzeit von der Sprache nicht unterstützt, wird aber geprüft (aktueller Status des RFC ist: Unter Diskussion).

[…] im Code zu “entwerfen”, dass jede Klasse, die mein Merkmal verwenden möchte, die Schnittstelle implementieren muss. Das würde es dem Merkmal ermöglichen, von der Schnittstelle definierte Klassenmethoden zu verwenden und sicherzustellen, dass sie in der Klasse vorhanden sind.

Das klingt sehr vernünftig und ich würde nicht sagen, dass an Ihrem Design etwas falsch sein muss. Eigenschaften wurden mit dieser Idee im Hinterkopf vorgeschlagen, siehe den zweiten Punkt hier:

• Ein Merkmal bietet eine Reihe von Methoden, die Verhalten implementieren.
• Ein Merkmal erfordert eine Reihe von Methoden, die als Parameter für das bereitgestellte Verhalten dienen.
• […]

Schärli et al, Traits: Composable Units of Behaviour, ECOOP’2003, LNCS 2743, S. 248–274, Springer Verlag, 2003, Seite 2

Es wäre also vielleicht angemessener zu sagen, dass Sie eine Eigenschaft wollen benötigen eine Schnittstelle, nicht um sie zu “implementieren”.

Ich sehe keinen Grund, warum es unmöglich sein sollte, diese Funktion “Eigenschaft erfordert (ihre zu implementierenden Consumer-Klassen) eine Schnittstelle” in PHP zu haben, aber derzeit scheint sie zu fehlen.

Wie @Danack in seiner Antwort feststellt, können Sie abstrakte Funktionen in der Eigenschaft verwenden, um sie von Klassen zu “erfordern”, die die Eigenschaft verwenden. Leider können Sie dies nicht mit privaten Funktionen tun.

Ich stimme der Antwort von @Danack zu, werde sie jedoch ein wenig ergänzen.

Die wirklich kurze Version ist einfacher, weil Sie es nicht können. So funktionieren Traits nicht.

Mir fallen nur wenige Fälle ein, in denen das, was Sie verlangen, notwendig ist und sich eher als Designproblem denn als Sprachfehler erweist. Stellen Sie sich vor, es gäbe eine Schnittstelle wie diese:

interface Weaponize
{
    public function hasAmmunition();
    public function pullTrigger();
    public function fire();
    public function recharge();
}

EIN Merkmal wurde erstellt, die eine der in der definierten Funktionen implementiert Schnittstelle nutzt dabei aber auch andere Funktionen, die von der definiert werden Schnittstelleanfällig für den Fehler, dass, wenn die Klasse, die das Feature verwendet, die Schnittstelle alles scheitert, den abzug zu betätigen

trait Triggerable
{
    public function pullTrigger()
    {
        if ($this->hasAmmunition()) {
            $this->fire();
        }
    }
}

class Warrior
{
    use Triggerable;
}

Eine einfache Lösung besteht darin, einfach die Klasse zu erzwingen, die die verwendet Merkmal um diese Funktionen ebenfalls zu implementieren:

trait Triggerable
{
    public abstract function hasAmmunition();
    public abstract function fire();

    public function pullTrigger()
    {
        if ($this->hasAmmunition()) {
            $this->fire();
        }
    }
}

Also die Merkmal ist nicht vollständig abhängig von der Schnittstelleaber ein Vorschlag, eine seiner Funktionen zu implementieren, da bei Verwendung der Merkmal Die Klasse fordert die Implementierung der abstrakten Methoden.

Endgültiges Design

interface Weaponize
{
    public function hasAmmunition();
    public function pullTrigger();
    public function fire();
    public function recharge();
}

trait Triggerable
{
    public abstract function hasAmmunition();
    public abstract function fire();

    public function pullTrigger()
    {
        if ($this->hasAmmunition()) {
            $this->fire();
        }
    }
}


class Warrior implements Weaponize
{
    use Triggerable;

    public function hasAmmunition()
    {
        // TODO: Implement hasAmmunition() method.
    }

    public function fire()
    {
        // TODO: Implement fire() method.
    }

    public function recharge()
    {
        // TODO: Implement recharge() method.
    }
}

Bitte entschuldigen Sie mein Deutsch