Наскільки міксини або риси краще, ніж звичайне багаторазове успадкування?

У C ++ є багаторазове успадкування, багато мовних конструкцій забороняють це як небезпечне. Але деякі мови, такі як Ruby і PHP, використовують дивний синтаксис, щоб зробити те ж саме, і називають його mixins або traits. Я багато разів чув, що міксини / риси складніше зловживати, ніж звичайне багаторазове успадкування.

Що конкретно робить їх менш небезпечними? Чи є щось, що неможливо за допомогою комбінацій / ознак, але можливо з багатократним успадкуванням у стилі C ++? Чи можна зіткнутися з проблемою алмазів з ними?

Це здається, ніби ми використовували багато успадкованих, але просто виправдовуємося, що це міксини / ознаки, щоб ми могли їх використовувати.

Існує ряд проблем із багаторазовим успадкуванням, коли він використовується з повноцінними класами, але всі вони обертаються навколо неоднозначності .

Неоднозначність проявляється кількома різними способами:

1. Якщо у вас є два базових класи з одним xі тим же полем , і похідний тип запитує x, що він отримує?
   • Якщо обидві xзмінні мають невідповідні типи, ви можете це зробити.
   • Якщо вони одного типу, ви можете спробувати об'єднати їх у одну змінну.
   • Ви завжди можете викрити їх як дивні цілком кваліфіковані імена.
2. Якщо у вас є два базових класи з однаковою функцією fз однаковими підписами, і хтось дзвонить f, хто отримує виклик?
   • Що робити, якщо два базових класи поділяють іншого загального віртуального предка (проблема алмазів).
   • Що робити, якщо функція має різні, але сумісні підписи?
3. Коли ви будуєте клас з двома базовими класами, який із конструкторів базових класів називається першим? Коли ви знищуєте об'єкт, який вбивають?
4. Коли ви викладаєте об'єкт в пам'ять, як це робити послідовно?
5. Як ви вирішуєте всі ці випадки за допомогою 3 базових класів? 10?

І це ігнорує такі речі, як динамічна диспетчеризація, умовивідведення типу, відповідність шаблонів та інші речі, про які я знаю менше, які стають складнішими, коли мова підтримує багатократне успадкування повних класів.

Риси чи мікшн (або інтерфейси, або ...) - це всі конструкції, які конкретно обмежують можливості типу, щоб не було двозначності. Вони рідко самі володіють чим-небудь. Це дозволяє складності типів проходити більш гладко, оскільки немає двох змінних або двох функцій ... є змінна та посилання; функція та підпис. Компілятор знає, що робити.

Інший поширений підхід полягає в тому, щоб змусити користувача "будувати" (або змішувати) свій тип по черзі. Замість того, щоб базові класи були рівними партнерами нового типу, ви додаєте один тип до іншого - переосмислюючи все, що там було (як правило, з необов'язковим синтаксисом для перейменування та / або повторного викриття перезаписаних бітів).

Чи є щось, що неможливо за допомогою комбінацій / ознак, але можливо з багатократним успадкуванням у стилі C ++?

Залежно від мови - зазвичай стає проблематичним або неможливим об'єднати реалізацію функцій та зберігання змінних з декількох базових класів та викрити їх у похідному типі.

Чи можна зіткнутися з алмазною проблемою з ними?

Іноді менш чіткі варіанти з’являться на основі вашої мови, але зазвичай ні. Вся суть рис полягає в тому, щоб порушити таку неоднозначність.