Я просматривал страницу справки assert() и застрял, когда прочитайте приведенный пример:

/* assert example */
#include <stdio.h>
#include <assert.h>

int main ()
{
  FILE * datafile;
  datafile=fopen ("file.dat","r");
  assert (datafile);

  fclose (datafile);

  return 0;
}

В этом примере assert используется для прерывания выполнения программы, если datafile сравнивается с 0, что происходит, когда предыдущий вызов fopen не увенчался успехом.

Я полностью согласен с тем, что в случае сбоя fopen() выполнение assert() прервется. Однако меня беспокоит правильность этого примера:

По моему мнению, assert() предназначено для обнаружения случаев, которые обычно не могут произойти (например, передача указателя NULL функции, в документации которой указано, что это запрещено).

В этом примере сбой при открытии файла не является чем-то обычно невозможным. На самом деле, я вижу десятки причин, по которым это не получится. Файл не может существовать, программа может работать без необходимых прав и т.д.

Я бы предпочел сделать что-то вроде:

/* not longer an assert example */
#include <stdio.h>
#include <assert.h>

int main ()
{
  FILE * datafile;
  datafile=fopen ("file.dat","r");

  if (datafile != NULL)
  {
    // Do something, whatever.
    fclose (datafile);
  } else
  {
    // Report the error somehow.
  }

  return 0;
}

Правильно ли я понимаю, как следует использовать assert()?

РЕДАКТИРОВАТЬ И ХОРОШИЕ НОВОСТИ!

Похоже, упомянутым сайтом правят строгие люди. Вот письмо, которое я получил от одного из сопровождающих сайта:

Привет, Жюльен, я должен согласиться, код примера был выбран плохо. Сейчас его просто переписали на что-то более подходящее.

Большое спасибо, что указали на это, и приносим извинения за любые неудобства, которые это могло вам причинить.

С наилучшими пожеланиями,

И обновленный пример:

/* assert example */
#include <stdio.h>
#include <assert.h>

void print_number(int* myInt) {
  assert (myInt!=NULL);
  printf ("%d\n",*myInt);
}

int main ()
{
  int a=10;
  int * b = NULL;
  int * c = NULL;

  b=&a;

  print_number (b);
  print_number (c);

  return 0;
}

Рад видеть, что некоторые люди хорошо делают свою работу в Интернете! ;)