Проверка инициализации указателя в С, Керниган и Ритчи молчат как партизаны... Опции

[tolik_zp]

Есть код на с, называется FatFs (FatFs). В этом коде присутствуют такие выражения:

static
FATFS *FatFs[_DRIVES]; /* Pointer to the file system objects (logical drives, _DRIVES=1) */

тип FATFS определен в заголовочном файле, вроде с этим проблем нет.

далее есть функция:
f_mkfs (...)
{
FATFS *fs;
...
fs = FatFs[0];
if (!fs) return FR_NOT_ENABLED;
...

Объясните пожалуйста, почему функция возвращает FR_NOT_ENABLED и как вообще происходит проверка указателя?

[Сергей Борщ]

Объясните пожалуйста, почему функция возвращает FR_NOT_ENABLED и как вообще происходит проверка указателя?

Код

static
FATFS *FatFs[_DRIVES];  /* Pointer to the file system objects (logical drives, _DRIVES=1) */

Объявляется глобальная переменная (массив). Глобальные переменные при старте программы обнуляются - это аксиома, требование стандарта. Значит, все элементы этого массива содержат нули при старте программы. По тому же стандарту указатель, содержащий 0 никуда не указывает. Это и используется в следующей проверке

Код

  fs = FatFs[0];
  if (!fs) return FR_NOT_ENABLED;

Берется первый элемент массива. Если там указатель, который указывает на что-то реальное, он ненулевой.