Является ли получение BinaryTreeNode из GraphNode нарушением принципа подстановки Лискова?

В Является ли получение квадрата из прямоугольника нарушением Лискова Принцип подстановки?, он в основном говорит, что Square не может наследоваться от Rectangle, потому что есть вещи, которые вы можете делать с Rectangles, но не с Squares — устанавливать ширину, отличную от высоты.

Вы не можете наследовать BTNode от GraphNode, потому что, согласно исходному сообщению, на которое вы ссылаетесь, GraphNode имеет метод с именем addChild. BTNode с другой стороны, может иметь только двоих детей. Наследование от GraphNode также наследует метод addChild. Это позволяет вам добавить несколько дочерних элементов в BTNode, с которыми BTNode не может справиться.

Поэтому BTNode не может наследовать от GraphNode, потому что есть вещи, которые можно делать с GraphNode, но нельзя с BTNodes — добавлять несколько дочерних элементов.

Для полноты картины приведем принцип замещения Лискова из Википедии.

Требование к подтипу: Пусть ϕ(x) — доказуемое свойство объектов x типа T. Тогда ϕ ( y ) должно быть истинным для объектов y типа S, где S — подтип T.

Проще говоря,

Если вы можете выполнить действие X с типом T, вы также сможете выполнить действие X с любыми подклассами T.