Я не понимаю целиassert() .

Мой лектор говорит, что цель утверждения - найти ошибки.

Например :

double divide(int a , int b ) 
{
  assert (0 != b);
  return a/b;
}

Оправдано ли вышеизложенное? Я думаю, что ответ да, потому что если моя программа не должен работать с0 (число ноль), но каким-то образом ноль находит свой путь вb переменная, значит что-то не так с кодом.

Я прав ?

Можете ли вы показать мне несколько примеров дляjustified assert ()?

С уважением