What is the rationale for fread/fwrite taking size and count as arguments?

CFile IoLibc

C Problem Overview


We had a discussion here at work regarding why fread() and fwrite() take a size per member and count and return the number of members read/written rather than just taking a buffer and size. The only use for it we could come up with is if you want to read/write an array of structures which aren't evenly divisible by the platform alignment and hence have been padded but that can't be so common as to warrant this choice in design.

From fread(3):

>The function fread() reads nmemb elements of data, each size bytes long, >from the stream pointed to by stream, storing them at the location given >by ptr.

>The function fwrite() writes nmemb elements of data, each size bytes >long, to the stream pointed to by stream, obtaining them from the location >given by ptr.

>fread() and fwrite() return the number of items successfully read or written >(i.e., not the number of characters). If an error occurs, or the >end-of-file is reached, the return value is a short item count (or zero).

C Solutions


Solution 1 - C

The difference in fread(buf, 1000, 1, stream) and fread(buf, 1, 1000, stream) is, that in the first case you get only one chunk of 1000 bytes or nothing, if the file is smaller and in the second case you get everything in the file less than and up to 1000 bytes.

Solution 2 - C

It's based on how fread is implemented.

The Single UNIX Specification says

> For each object, size calls shall be > made to the fgetc() function and the > results stored, in the order read, in > an array of unsigned char exactly > overlaying the object.

fgetc also has this note:

> Since fgetc() operates on bytes, > reading a character consisting of > multiple bytes (or "a multi-byte > character") may require multiple calls > to fgetc().

Of course, this predates fancy variable-byte character encodings like UTF-8.

The SUS notes that this is actually taken from the ISO C documents.

Solution 3 - C

This is pure speculations, however back in the days(Some are still around) many filesystems were not simple byte streams on a hard drive.

Many file systems were record based, thus to satisfy such filesystems in an efficient manner, you'll have to specify the number of items ("records"), allowing fwrite/fread to operate on the storage as records, not just byte streams.

Solution 4 - C

Here, let me fix those functions:

size_t fread_buf( void* ptr, size_t size, FILE* stream)
{
    return fread( ptr, 1, size, stream);
}


size_t fwrite_buf( void const* ptr, size_t size, FILE* stream)
{
    return fwrite( ptr, 1, size, stream);
}

As for a rationale for the parameters to fread()/fwrite(), I've lost my copy of K&R long ago so I can only guess. I think that a likely answer is that Kernighan and Ritchie may have simply thought that performing binary I/O would be most naturally done on arrays of objects. Also, they may have thought that block I/O would be faster/easier to implement or whatever on some architectures.

Even though the C standard specifies that fread() and fwrite() be implemented in terms of fgetc() and fputc(), remember that the standard came into existence long after C was defined by K&R and that things specified in the standard might not have been in the original designers ideas. It's even possible that things said in K&R's "The C Programming Language" might not be the same as when the language was first being designed.

Finally, here's what P.J. Plauger has to say about fread() in "The Standard C Library":

> If the size (second) argument is greater than one, you cannot determine > whether the function also read up to size - 1 additional characters beyond what it reports. > As a rule, you are better off calling the function as fread(buf, 1, size * n, stream); instead of > fread(buf, size, n, stream);

Bascially, he's saying that fread()'s interface is broken. For fwrite() he notes that, "Write errors are generally rare, so this is not a major shortcoming" - a statement I wouldn't agree with.

Solution 5 - C

Likely it goes back to the way that file I/O was implemented. (back in the day) It might have been faster to write / read to files in blocks then to write everything at once.

Solution 6 - C

Having separate arguments for size and count could be advantageous on an implementation that can avoid reading any partial records. If one were to use single-byte reads from something like a pipe, even if one was using fixed-format data, one would have to allow for the possibility of a record getting split over two reads. If could instead requests e.g. a non-blocking read of up to 40 records of 10 bytes each when there are 293 bytes available, and have the system return 290 bytes (29 whole records) while leaving 3 bytes ready for the next read, that would be much more convenient.

I don't know to what extent implementations of fread can handle such semantics, but they could certainly be handy on implementations that could promise to support them.

Solution 7 - C

I think it is because C lacks function overloading. If there was some, size would be redundant. But in C you can't determine a size of an array element, you have to specify one.

Consider this:

int intArray[10];
fwrite(intArray, sizeof(int), 10, fd);

If fwrite accepted number of bytes, you could write the following:

int intArray[10];
fwrite(intArray, sizeof(int)*10, fd);

But it is just inefficient. You will have sizeof(int) times more system calls.

Another point that should be taked into consideration is that you usually don't want a part of an array element be written to a file. You want the whole integer or nothing. fwrite returns a number of elements succesfully written. So if you discover that only 2 low bytes of an element is written what would you do?

On some systems (due to alignment) you can't access one byte of an integer without creating a copy and shifting.

Attributions

All content for this solution is sourced from the original question on Stackoverflow.

The content on this page is licensed under the Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.

Content TypeOriginal AuthorOriginal Content on Stackoverflow
QuestionDavid HolmView Question on Stackoverflow
Solution 1 - CPeter MiehleView Answer on Stackoverflow
Solution 2 - CPowerlordView Answer on Stackoverflow
Solution 3 - CnosView Answer on Stackoverflow
Solution 4 - CMichael BurrView Answer on Stackoverflow
Solution 5 - CdolchView Answer on Stackoverflow
Solution 6 - CsupercatView Answer on Stackoverflow
Solution 7 - CVanuanView Answer on Stackoverflow