Проверка наследования признаков PHP

Ну (ИМХО) существует проблема с тем, как вы используете трейты, что технически является анти-шаблоном.

Во-первых, что такое черты и почему их следует использовать. Цитирую один из комментарии в php.net

Лучший способ понять, что такое черты и как их использовать, — это посмотреть на них с точки зрения того, чем они по сути являются: копирование и вставка с помощью языка.

Если вы можете копировать и вставлять код из одного класса в другой (а мы все это делали, хотя и стараемся не делать этого из-за дублирования кода), то у вас есть кандидат на трейт.

Даже то, что трейты позволяют вам использовать членов класса, который их использует, не означает, что вы должны это делать. вернуться к SRP, это настоящее нарушение. PHP позволяет вам делать echo $_POST['XSS data'], но это не значит, что вы должны это делать. Таким образом, независимо от того, как вы хотите ограничить использование свойств, на самом деле вы представляете проблему и пытаетесь ее решить, поэтому, чтобы ответить на ваш вопрос, просто переделайте свой код. чтобы вы не использовали методы и члены класса, исходя из предположения, что каждый класс, который будет использовать трейт, должен иметь эти методы и члены.

Я думаю, что ваше решение с abstract function как раз то, для чего предназначено это средство. Я согласен с твоим внутренним ощущением:

мне не гарантируется, что рассматриваемый метод действительно будет делать то, что я хочу

Однако это то же самое предположение, которое вы делаете всякий раз, когда используете interface: единственное, что утверждается, это то, что метод существует с правильной подписью (которая в PHP в основном сводится к его имени и количеству параметров). Нет никакого способа узнать, действительно ли функция ведет себя особенно полезным образом при заданных параметрах.

В случае trait абстрактный метод фактически представляет собой тот же тип контракта, что и interface: «чтобы use это trait, вы должны предоставить эти предварительные условия».

Я также хотел бы отметить, что общее описание traits - это «автоматическое копирование и вставка», поэтому его обычно следует рассматривать как отдельное от иерархий объектов. С технической точки зрения это представляет собой «горизонтальное повторное использование кода», а не «множественное наследование». Например, вы можете определить trait, который разрешает переход от class к implement и interface, но для внешнего кода важен именно interface, а не trait.

Я столкнулся с аналогичной проблемой, но с несколькими подклассами, унаследованными от базового класса.

На этом этапе имеет смысл поместить абстрактные объявления трейтов в какой-то включаемый файл и как сам трейт, например:

abstract class Base_Object {

  use BaseObjectTrait;
  ...
}

trait BaseObjectTrait {

  protected function _addToUpdate($field, $value) {
    ...
  }

}

trait BaseObjectTraitPrototypes {

  abstract protected function _addToUpdate($field, $value);

}

trait Extended_Object {

  use BaseObjectTraitPrototypes;

  public function doSomeStuff() {
    ...
    $this->_addToUpdate($someVar, $someOtherVar);
  }
  ...
}

class User extends Base_Object {
  use Extended_Object;
  ...
}

Может ли кто-нибудь придумать более элегантное решение, чем это? Я использую здесь термин «прототип» очень вольно, исходя из смысла программирования на C. Файлы «заголовков» также взяты из контекста программирования C, но все же не идеальны. Может ли кто-нибудь придумать более краткую концепцию для проблемной области, возможно, что-то приемлемое для php-fig?

Моя проблема заключается в том, что если кто-то еще в моей команде решит использовать черту Extended_Object для объекта, который не расширяет черту Base_Object.

:

В идеале я хотел бы иметь возможность запускать что-то вроде приведенного ниже кода, когда объект создается с использованием черты Extended_Object.

if (!($this instanceof Base_Object)) {
    throw new Inheritance_Exception("Base_Object");
}

Может быть, я что-то упускаю, но если эта черта должна применяться только к экземплярам Base_Object, то звучит так, как будто эта «черта» должна быть подклассом Base_Object, а не чертой вообще?

Затем класс User расширяет этот Extended_Object (подкласс), а не use создает Extended_Object (признак).

Откуда: http://php.net/manual/en/language.oop5.traits.php

Черта предназначена для уменьшения некоторых ограничений одиночного наследования, позволяя разработчику свободно повторно использовать наборы методов в нескольких независимых классах, находящихся в разных иерархиях классов.