Bir veri yapısının "müdahaleci" olması ne anlama geliyor?

Listeler ve yığınlar gibi veri yapılarını tanımlamak için kullanılan müdahaleci terimini gördüm , ama bu ne anlama geliyor?

Müdahaleci bir veri yapısının bir kod örneğini ve müdahaleci olmayan bir yapının nasıl farklı olduğunu verebilir misiniz?

Ayrıca, neden müdahaleci (veya müdahaleci olmayan) yapasınız? Faydaları nelerdir? Dezavantajları nelerdir?

Müdahaleci bir veri yapısı, depolamak için depolamayı düşündüğü öğelerden yardım gerektiren bir yapıdır.

Tekrar ifade edeyim. Bu veri yapısına bir şey koyduğunuzda, bu "bir şey" bir şekilde o veri yapısında olduğu gerçeğinin farkına varır. Veri yapısına eleman eklemek, elemanı değiştirir.

Örneğin, her düğümün sol ve sağ alt ağaçlara ve bu düğümün eleman değerine bir referansa sahip olduğu, müdahaleci olmayan bir ikili ağaç oluşturabilirsiniz.

Veya, bu alt ağaçlara yapılan referansların değerin kendisine gömülü olduğu müdahaleci bir tane oluşturabilirsiniz.

Müdahaleci veri yapısının bir örneği, değiştirilebilir olan öğelerin sıralı bir listesi olabilir. Öğe değişirse, listenin yeniden sıralanması gerekir, bu nedenle liste nesnesi, işbirliğini sağlamak için öğelerin gizliliğine müdahale etmelidir. yani. eleman, içinde bulunduğu listeyi bilmeli ve değişiklikleri ona bildirmelidir.

ORM sistemleri, büyük nesne listeleri üzerindeki yinelemeyi en aza indirmek için genellikle müdahaleci veri yapıları etrafında döner. Örneğin, veritabanındaki tüm çalışanların bir listesini alırsanız, onlardan birinin adını değiştirirseniz ve bunu veritabanına geri kaydetmek isterseniz, çalışan nesnesi değiştiğinde izinsiz çalışanların listesi söylenir, çünkü nesne hangi listede olduğunu bilir.

Müdahaleci olmayan bir liste söylenmez ve neyin değiştiğini ve kendi kendine nasıl değiştiğini bulması gerekirdi.

Müdahaleci bir kapta, kap için gerekli bilgilerin depolanmasından verinin kendisi sorumludur. Bu, bir yandan veri türünün nasıl depolanacağına bağlı olarak özelleştirilmesi gerektiği anlamına gelirken, diğer yandan verilerin nasıl depolandığını "bildiği" ve dolayısıyla biraz daha iyi optimize edilebileceği anlamına gelir.

Sigara müdahaleci:

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;

İntrüsif:

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;

Şahsen ben şeffaflığı nedeniyle müdahaleci tasarımı tercih ediyorum.