Що означає для структури даних "нав'язливою"?

Я бачив термін нав'язливий, який використовується для опису структур даних, таких як списки та стеки, але що це означає?

Чи можете ви навести приклад коду нав'язливої ​​структури даних, і чим вона відрізняється від ненав'язливої?

Крім того, навіщо робити це нав'язливим (або, не настирливим)? Які переваги? Які недоліки?

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

Дозвольте це переформулювати. Коли ви щось вкладаєте в цю структуру даних, це "щось" усвідомлює той факт, що воно є в тій структурі даних, певним чином. Додавання елемента до структури даних змінює елемент.

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

Або ви можете створити нав'язливий, де посилання на ці під-дерева вбудовані у саме значення.

Прикладом нав'язливої ​​структури даних може бути упорядкований перелік елементів, які можна змінювати. Якщо елемент змінюється, список потрібно впорядкувати, тому об’єкт списку повинен втручатися у конфіденційність елементів, щоб отримати їх співпрацю. тобто. елемент повинен знати про список, у якому він знаходиться, та повідомляти про зміни.

ORM-системи зазвичай обертаються навколо нав'язливих структур даних, щоб мінімізувати ітерацію над великими списками об'єктів. Наприклад, якщо ви отримаєте список усіх співробітників у базі даних, а потім зміните ім’я одного з них і хочете зберегти його назад у базі даних, нав'язливий список працівників повідомить, коли об'єкт працівника змінився, оскільки це Об'єкт знає, у якому списку він знаходиться.

Не нав'язливий список не розповідався б і повинен був з’ясувати, що змінилося і як воно змінилося само собою.

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

Не нав'язливий:

template<typename T>
class LinkedList
{
  struct ListItem
  {
    T Value;
    ListItem* Prev;
    ListItem* Next;
  };

  ListItem* FirstItem;
  ListItem* LastItem;

  [...]
  ListItem* append(T&& val)
  {
    LastItem = LastItem.Next = new ListItem{val, LastItem, nullptr};
  };
};

LinkedList<int> IntList;

Нав'язливий:

template<typename T>
class LinkedList
{
  T* FirstItem;
  T* LastItem;

  [...]
  T* append(T&& val)
  {
    T* newValue = new T(val);
    newValue.Next = nullptr;
    newValue.Prev = LastItem;
    LastItem.Next = newValue;
    LastItem = newValue;
  };
};

struct IntListItem
{
  int Value;
  IntListItem* Prev;
  IntListItem* Next;
};

LinkedList<IntListItem> IntList;

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