Ырасоолордун коопсуздук кепилдиктери жөнүндө эмне…

Кыймылсыздык кепилдиктери чыгаруу учурунда функциянын жүрүм-турумун аныктайт. Төрт деңгээлдүү кепилдиктер бар:

Негизги кепилдик (Basic guarantee): Эгер функция чыгаруу учурунда чыгарса, программа ишенимдүү абалда калат. Ресурстар чыгат (мисалы, эс тутум бошотулат), бирок объекттердин так абалы белгисиз болушу мүмкүн. Ишти улантууга мүмкүнчүлүк сакталат:

// Негизги кепилдиктин мисалы
void basic_guarantee_function(std::vector<int>& vec, int value) {
    // Чыгаруу мүмкүн
    vec.push_back(value); 
    // Эгер чыгаруу болсо, vec күтүлбөгөн абалда болушу мүмкүн (бөлүнгөн),
    // бирок vec үчүн бөлүнгөн эс тутум туура бошотулат.
}

Катуу кепилдик (Strong guarantee): Эгер функция чыгарса, программа абалы ошол бойдон калат, кандайдыр бир өзгөрүүлөр болбойт. Бардык өзгөртүүлөр кайтарылат:

// Катуу кепилдиктин мисалы
// Copy-and-Swap идиомасын колдонуп кепилдикти камсыз кылуу
class Resource {
    int* data;
    size_t size;
public:
    Resource(size_t s) : size(s), data(new int[s]) {}
    ~Resource() { delete[] data; }
    Resource(const Resource& other) : size(other.size), data(new int[other.size]) {
        std::copy(other.data, other.data + size, data); // Чыгаруу мүмкүн
    }
    Resource& operator=(Resource other) // Баалуулук аркылуу өткөрүү копияны жаратат
    {
        swap(*this, other); // Чыгаруу мүмкүн эмес
        return *this;
    }
    friend void swap(Resource& first, Resource& second) noexcept {
        using std::swap;
        swap(first.data, second.data);
        swap(first.size, second.size);
    }
    // ... башка мүчөлөр
};

void strong_guarantee_function(Resource& res, size_t new_size) {
    Resource temp(new_size); // Эгер бул жерде чыгаруу болсо, res өзгөрбөйт
    res = temp;               // Перегруженный оператор = колдонуп, кепилдикти камсыз кылат
}

Чыгаруу жок кепилдик (No-throw guarantee): Функция чыгаруу мүмкүн эмес. Бул функциялар noexcept спецификатору менен белгиленет:

// Чыгаруу жок мисалы
void no_throw_function() noexcept {
    // Чыгаруу мүмкүнчүлүгү жок операциялар
    int a = 5;
    int b = 10;
    int c = a + b;
}

Авария кепилдиги (Failure guarantee): Чыгаруу коопсуздугунун контекстинде, бул деңгээл функция программаны анык эмес абалга калтыра алат, ресурстардын агып кетиши же каталар болушу мүмкүн. Бул чын эле кепилдиктердин жоктугу. Мындай жүрүм-турумдан алыс болуу керек.

Чыгаруу коопсуздугунун кепилдиктери ишенимдүү жана алдын ала билүүгө мүмкүндүк берген код түзүүдө маанилүү, ал каталарды туура иштетип, ресурстарды башкарууга жардам берет, эгер чыгаруу болсо да. Деңгээлдин тандоосу операциянын маанилүүлүгүнө, кайтаруу баалуулугуна жана чыгаруу мүмкүнчүлүгүнө көз карандуу.

Кепилдиктердин салыштырмалуу таблицасы:

Кепилдик	Чыгаруу учурунда абал	Маалыматтын бүтүндүгү	Ресурстардын агып кетиши
Негизги	Валида, бирок белгисиз	Гарантияланбайт	Жок
Катуу	Өзгөрбөйт (чоңоюу алдын ала)	сакталат	Жок
Чыгаруу жок	Качан гана болот (чыгаруулар жок)	N/A	N/A
Авария (жок)	Белгисиз, мүмкүн зыяндар же каталар	Гарантияланбайт	Мүмкүн

Ырасоолордун коопсуздук кепилдиктери жөнүндө эмне билесиз?