Miks mitte kasutada double andmetüüpi erandite jaoks?

Skalaarsete tüüpide, näiteks double, kasutamine erandite jaoks ei ole soovitatav mitmel põhjusel:

• Ebatäpsus esinduses: double tüüpi väärtused võivad sisaldada ümardamisvigu nende sisemise esinduse tõttu muutuvpöördelise arvuna. Erandite võrdlemisel võib see põhjustada valehäireid või unustatud vigu.
• Viga semantika puudumine: double ei oma selget semantikat, mis näitaks konkreetset viga. Erandid peaksid selgelt näitama, mis täpselt juhtus, see hõlbustab töötlemist ja silumist.
• Töötlemise keerukus: Erandi püüdmine ja töötlemine, mis on lihtsalt arvväärtus, raskendab arusaadava ja usaldusväärse koodi loomist.
• Spetsialiseeritud eranditüübid: C++ pakub idiomaatilist viisi vigadega tegelemiseks spetsialiseeritud erandklasside kaudu, mis pärivad std::exception-ist. See on loetavam, laiendatav ja turvalisem lähenemine.

Asendama double erandite jaoks tuleks kasutada:

• Standardseid erandiklasse (näiteks std::runtime_error, std::logic_error).
• Kasutaja määratletud erandiklassid, mis pärivad std::exception-ist, et esindada spetsiifilisi vigu.

// Näide standarderandist
#include <iostream>
#include <stdexcept>

void process_data(double value) {
    if (value < 0) {
        // Spetsialiseeritud erandi kasutamine asemel double
        throw std::invalid_argument("Väärtus peab olema mitte-negatiivne.");
    }
    // ... andmete töötlemine
}

int main() {
    try {
        process_data(-1.0);
    } catch (const std::exception& e) {
        std::cerr << "Viga: " << e.what() << std::endl;
    }
    return 0;
}