Ի՞նչ է խոչընդոտողների դերը խելացի ցուցիչներում։

Անմիջական նշանավորիչների (smart pointers) deleter-ները թույլ են տալիս սահմանել անհատականացված տրամաբանություն ռեսուրսի ազատման համար, որի վրա ցույց է տալիս նշանավորիչը։ Ստանդարտում, std::unique_ptr օգտագործում է delete, իսկ std::shared_ptr`` delete կամ delete[]։ Դելիտերը կարող է լինել ֆունկցիա, ֆունկցոր կամ lambda արտահայտություն։

Օրինակներ՝

std::unique_ptr ֆունկցիայի դելիտերով՝

#include <cstdio> // fclose-ի համար

void file_deleter(FILE* file) {
    if (file) {
        fclose(file);
    }
}

// ...
// std::unique_ptr<FILE, decltype(&file_deleter)> file_ptr(fopen("example.txt", "r"), &file_deleter);
// ...

std::unique_ptr lambda դելիտերով՝

#include <iostream>
#include <memory>

// ...
// auto resource_deleter = [](int* p){ std::cout << "Ազատում ռեսուրսը\n"; delete p; };
// std::unique_ptr<int, decltype(resource_deleter)> ptr(new int(10), resource_deleter);
// ...

std::shared_ptr lambda դելիտերով՝

#include <iostream>
#include <memory>

// ...
// std::shared_ptr<int> shared_ptr_with_deleter(new int(20), [](int* p){ std::cout << "Ազատում համօգտագործվող ռեսուրսը\n"; delete p; });
// ...

Դելիտերի դերը կարևոր է հետևյալ իրավիճակներում՝

• Անմիջականորեն ոչ հիշողության ռեսուրսների կառավարում: Ֆայլեր, ցանցային socket-ներ, տվյալների բազայի մենեջերներ և այլն։
• Հիշողության ազատման գործընթացի կարգավորում: Օրինակ, delete[] օգտագործել զանգվածների կամ օբյեկտների պուլերի համար։
• Լրացուցիչ տրամաբանություն ազատելու ժամանակ: Գրանցում, կապված կառուցվածքների մաքառում։

std::unique_ptr-ի համար, դելիտերի տիպը մաս է կազմում ցուցիչի տիպի, ինչը կարող է բարդացնել պոլիմորֆիզմի աշխատանքը։ std::shared_ptr-ի համար, դելիտերի տիպը մաս չէ ցուցիչի տիպի, ինչը ապահովում է ավելի մեծ ճկունություն։