Неисправность проверки fclose возвращаемое значение

Question

Чтобы иметь более чистый способ проверки определенных функций, я хотел бы провести тесты по функции fclose. Но у меня была проблема при попытке написать и перечитать образ растрового изображения.

На самом деле, у меня была ошибка произошедшей при тестировании fclose так:

assert(fclose(bmp_image) != EOF); 

Хотя следующий код не дает ошибку:

int closing_ok = fclose(bmp_image); 
assert(closing_ok != EOF); 

С большим количеством тестов, я видел это разница происходит только в режиме записи, но не в режиме чтения. Нормально ли такое различие происходит? Может ли кто-нибудь объяснить мне эту разницу?

EDIT: Я попытался получить ошибку смысл с этим кодом:

if(fclose(output_file) != EOF) { 
    printf("ERROR: %s\n", strerror(errno)); 
} 

Но это также хорошо здесь и нет ошибок.

Answer 1

assert - макрос, который заменяется на no op при компиляции с NDEBUG. Грубо говоря, если вы создадите версию своего исполняемого файла, весь код fclose будет удален из кода.

Это возможная причина, по которой файлы могут быть закрыты неправильно.

Answer 2

assert() должен использоваться со скалярным выражением. Это означает, что вы не должны использовать в нем функцию.

Вы получаете это поведение, потому что fclose(bmp_image) оценивается дважды. Поэтому он возвращает EOF во втором вызове, потому что файл уже закрыт.

Вы можете проверить с этим:

int my_fclose(FILE *file) { 
    int ret = fclose(file); 
    if (ret == EOF) { 
    printf("ERROR: %s\n", strerror(errno)); 
    } 
    else { 
    printf("no problem\n"); 
    } 
    fflush(stdout); 
    return ret; 
} 

int main(void) { 
    // bad 
    assert(my_fclose(bmp_image) != EOF); 
}