Použít assert nebo if jako ověřování kritérií za běhu programu? – C / C++ – Fórum – Programujte.com

Ahoj,

vytvářím projekt v němž chci mít červeno černý strom a samozřejmě mi přišlo zbytečné to dělat úplně od začátku, tak jsem našel již implementovanou strukturu.Programátor v kódu používá assert funkci, což mě překvapilo.

Z dokumentace jsem se dočetl, že assert ověřuje kritické stavy, když se stav ověřit nepovede, tak třeba aplikaci odstřelí, a na stackoverflow jsem se dočetl, že assert by se měl používat výhradně jako ladící nástroj.

Je tedy lepší ve finále předělat assert podmínky normálně na if, například následujícím způsobem pro metodu grandparent:

Uzel * R_B_Strom::prarodic(Uzel * uzel)
{
	if (uzel != NULL && uzel->rodic_ != NULL && uzel->rodic_->rodic_ != NULL)
		return uzel->rodic_->rodic_;
	else
		return NULL;	
}

#1 ondrej39
Assert v běžném provozu neměl být závislý na uživatelských datech, může však detekovat selhání programu.

Místo "return NULL;" je často výhodnější NullObject.

#2 Kit
Chápu to tedy správně, že data a algoritmy, která nejsou závislá na samotných uživatelích programu, ale jsou napevno dána v kódu, je možné ověřovat pomocí assert macra, protože pokud je macro dobře použité a jsou ověřeny podmínky, uživatel by nikdy neměl zjistit, že tam vůbec je?

Co se NullObject týče, to vrací právě assert při chybě, resp. nesplnění kritické podmínky?

#3 ondrej39
Ano, asserty jsou pouze na detekci vlastních chyb programátora. U odladěných aplikací se většinou vypínají kvůli úspoře výkonu, proto s jejich funkčností za běhu nesmíš počítat.

NullObject nevyhazuje žádný assert. Tváří se, jako kdyby fungoval, ale nic nedělá. Nemusíš pak při spouštění metod testovat, zda objekt existuje nebo ne a rovnou tu metodu spustíš. Místo  

if (uzel != NULL && uzel->rodic_ != NULL && uzel->rodic_->rodic_ != NULL)
	return uzel->rodic_->rodic_;
else
	return NULL;

píšeš jen  

return uzel->rodic_->rodic_;

#4 Kit
To úplně nechápu. Myslíš to tak, že po dokončení programu a zjištění, že správně funguje, veškerá assert macra prostě z kódu oddělat a například v metodě prarodič by mi opravdu zůstal jen ten return, jak píšeš?

#5 ondrej39
Ty asserty se vypínají pouhou změnou parametru při spouštění aplikace. Ve zdrojáku zůstávají.

Je možné, že autor prostě nepočítal s tím, že by tam ten NULL mohl nastat, ale jen si to chtěl posichrovat assertem. To je v naprostém pořádku.

Na řízení běhu programu se však assert použít nesmí. Proto se také AssertException nezachytává.

#6 Kit
Pokud bych tedy programoval algoritmus, kde bych se odkazoval na prarodiče určitého uzlu, který by prarodiče neměl

prarodic(uzel_bez_prarodice);

a měl v kódu assert, tak mi program spadne? Tím tedy budu vědět, že program mám udělaný špatně a je třeba ho opravit, je to tak? Naopak pokud bych tam assert neměl, vyvolal bych metodu prarodic na uzel, který prarodiče nemá, tak mi metoda vrátí NULL pointer, což pochopitelně nechci.

#7 ondrej39
Tak nějak to bude. Původní program jsem moc nezkoumal.

BTW: klíčové slovo "else" za returnem je zbytečné a je lepší ho nepoužívat. Podmínku by bylo dobré negovat.

#7 ondrej39
assert vecsinou funguje tak ze v debug mode sa testuje a v release mode sa asserty ignoruju.

Tak ako ti povedal Kit, asserty nemaju byt zavysle na vstupnych datach.

Ja pouzivam asserty na otestovanie chyb ktore by nemali nikdy nastat, testovanie takychto chyb pomocou if-ov vynimiek... zbytocne spomaluje program a zneprehladnuje kod, preto sa na ne hodi asserty ktore sa v release mode ignoruju.

#8 Kit
Jo, máš pravdu, že else je v mém případě zbytečné díky returnu.

#9 vitamin

Pánové, každopádně díky za odpovědi, oběma :).