Почему fopen устанавливает ошибку Invalid argument в errno при fopen в режиме r+ после w и fopen в режиме w+ после r?

Question

[Qubc]

// gcc (x86_64-win32-seh-rev0, Built by MinGW-W64 project) 8.1.0 , msvc v143 тоже самое
//#define _CRT_SECURE_NO_DEPRECATE
#include <stdio.h>
#include <errno.h>

int main ( void ) {
    FILE* pFile;
    int er;

    pFile = fopen ( "file.txt", "w" );
    er = errno;
    perror ( "?" ); // ? : No error
    fclose ( pFile );

    pFile = fopen ( "file.txt", "r+" );
    er = errno;
    perror ( "?" ); // ? : Invalid argument
    fclose ( pFile );

    return 0;
}

// gcc (x86_64-win32-seh-rev0, Built by MinGW-W64 project) 8.1.0 , msvc v143 тоже самое
//#define _CRT_SECURE_NO_DEPRECATE
#include <stdio.h>
#include <errno.h>

int main ( void ) {
    FILE* pFile;
    int er;

    pFile = fopen ( "file.txt", "r" );
    er = errno;
    perror ( "?" ); // ? : No error
    fclose ( pFile );

    pFile = fopen ( "file.txt", "w+" );
    er = errno;
    perror ( "?" ); // ? : Invalid argument
    fclose ( pFile );

    return 0;
}

Comments

[Rsa97]

Что-то завязанное на компилятор или ОС.
gcc version 11.3.0 (Ubuntu 11.3.0-1ubuntu1~22.04)
Никаких ошибок не выдаёт.

[Qubc]

Rsa97, спасибо, главное понятно, что

Вообще читать errno надо, только если fopen вернул NULL.

Answer 1

[res2001]

Интересный вопрос. Ответа у меня нет, что-то не приходилось использовать режимы "+".
Попробуйте обнулять errno перед вызовом fopen. Возможно значение, осталось от предыдущего вызова. Вообще читать errno надо, только если fopen вернул NULL. При нормальном завершении errno не меняется.
И если pFile == NULL, очевидно, что не надо вызывать fclose.

Comments

[Qubc]

И если pFile == NULL, очевидно, что не надо вызывать fclose.

Да, конечно, а здесь - исключительно для уменьшения тела вопроса.

Возможно значение, осталось от предыдущего вызова. Вообще читать errno надо, только если fopen вернул NULL. При нормальном завершении errno - не меняется.

Ок, тогда всё понятно, большое спасибо!

[res2001]

Qubc, С обнулением ошибка ушла?

[Qubc]

res2001, хах, нет. Она появляется именно после попытки открытия.

#define _CRT_SECURE_NO_DEPRECATE
#include <stdio.h>
#include <errno.h>

int main ( void ) {
    FILE* pFile;
    int er;

    pFile = fopen ( "file.txt", "w" );
    er = errno;
    perror ( "?" ); // ? : No error
    fclose ( pFile );

    clearerr ( pFile );

    pFile = fopen ( "file.txt", "r+" );
    er = errno;
    perror ( "?" ); // ? : Invalid argument
    fclose ( pFile );

    return 0;
}

[res2001]

Qubc, Не то. Буквально errno = 0;
Когда pFile уже закрыт, то вызывать для него clearerr - вообще смысла нет - он вернет ошибку. И clearerr сбрасывает флаги ошибок файла, а не errno.

[Qubc]

res2001,

Когда pFile уже закрыт, то вызывать для него clearerr - вообще смысла нет - он вернет ошибку. И clearerr сбрасывает флаги ошибок файла, а не errno.

конечно, туплю.

r+ выдаёт ошибку (меняет errno) при открытии пустого файла.

[res2001]

Qubc, А w+?
Вроде r+ сразу что-то пытается прочитать, возможно потому что файл пустой ошибка. Сделайте файл не пустым.

[Qubc]

res2001,
1.
Нужно было максимально упростить тело задачи. Было сложно увидеть и заметить, что создаются пустые файлы.
2.

#include <stdio.h>
#include <errno.h>

void test1 () {
    FILE* pFile;
    int er;

    pFile = fopen ( "file1.txt", "w+" );
    er = errno;
    perror ( "?" ); // ? : invalid argument
    fclose ( pFile );
}

void test2 () {
    FILE* pFile;
    int er;

    pFile = fopen ( "file2.txt", "r+" );
    er = errno;
    perror ( "?" ); // ? : Invalid argument
    fclose ( pFile );
}

int main ( void ) {
    test1 ();
    test2 ();
    return 0;
}

3.
Если файлы пустые:
?: Invalid argument
?: Invalid argument
Если есть хотя бы байт:
ошибок нет
4.
Самый главный вывод - это всё вообще неважно, важно не смотреть errno просто так.

[res2001]

Qubc, Я бы даже сказал - важно всегда проверять возвращаемые значения системных функций (и библиотечных). Исключениями тут могут быть разве что функции типа close, т.к. обычно все равно сделать ничего нельзя и не нужно.

Я так понимаю, что при r+ и пустом файле хоть ошибка в errno выставляется, но файл все равно открыт (pFile != NULL)?

[Qubc]

res2001, да, именно так, и при w+ тоже. Ещё раз спасибо.

[Qubc]

res2001, кстати,

Вообще читать errno надо, только если fopen вернул NULL. При нормальном завершении errno не меняется.

наверное, можно дополнить, что есть fopen_s, которая принимает адрес указателя FILE * и возвращает errno_t. Эта функция так же меняет errno в состояние Invalid argument, но сама возвращает 0.

fopen_s ( &file, "file.txt", "r+" );
errno: 0x16 (Invalid argument)

errno = fopen_s ( &file, "file.txt", "r+" );
errno: 0x00