Next: , Previous: , Up: Libraries   [Index]

13.7 The File Library

The file library describes one ‘file’ device type. ‘file’ objects are concerned with input or output, more frequently from or to system files.

The library arranges for the opened files to be closed eventually, explicitly closing files still makes sense.

The ‘file’ objects are not copyable and the copy operations on such objects do not create new objects, but merely add new references to the existing ones.