این دستور شرط یا شروطی رو بررسی میکنه و در صورت بر قرار نبودن شروط Exception ی رو ایجاد میکنه و برنامه رو خاتمه میده ، مثلا :
void Exchange(int *a, int *b)
{
assert(("Parameters can not be Null", a != NULL && b != NULL));
int temp = *a;
*a = *b;
*b = temp;
}
در خط اول تابع بررسی شده اگر یکی از پارامترهای null بود یک Execption با متن دلخواه نمایش داده بشه و برنامه بسته بشه .