Arvojen testaaminen (assert)

Yksi tehokkaista ohjelmoijan apuvälineistä on assert()-funktio. Sen avulla voidaan tarkastaa ehtoja. Se löytyy cassert-tiedostosta (tai assert.h).

Hyvä puoli assert()-funktiossa on että se voidaan poistaa lopullisesta ohjelmasta asettamalla #define NDEBUG -määritys ennen #include <cassert>:ia, jolloin kaikki assert()-funktion kutsut muuttuvat ei-operaatioiksi eli ne eivät tule mukaan käännettyyn ohjelmakoodiin, eikä siten vaikuta ohjelman suorituskykyyn.

assert():in syntaksi:

void assert(int expression);

assert()-funktio testaa parametrinsa arvon ja jos se on tosi, ohjelma jatkaa toimintaansa. Silloin kun parametri on epätosi se tulostaa virheilmoituksen ja tiedoston ja rivin missä assert()-funktiota kutsuttiin ja lopettaa ohjelman.

Esimerkki 1. assert():in käyttö.

#include <iostream>
#include <cassert>   // assert():in määrittely löytyy täältä.

using namespace std;

int main()
{
    cout << "Anna positiivinen luku: ";
    int luku;
    cin >> luku;
    assert(luku >= 0);   // Testataan onko annettu luku positiivinen.
    cout << "Antamasi luku (" << luku << ") on positiivinen\!" <<  endl;
}