Why are iostreams not copyable?

by

Copying and moving are value-semantic operations. To define them, you first have to decide what properties of a class give its objects distinct values. This point was at first largely sidestepped for the iostreams library, and then C++11 took a different direction incompatible with such a copy constructor.

The state of a stream object comprises two parts: A pointer to a stream buffer with its associated state, and formatting information. Since C++98, rdbuf, rdstate, and copyfmt expose this information separately.

Since C++11, stream classes also have a protected interface including a move constructor (and a member called move) which copies the format but not the stream buffer pointer. This commits iostream to treating the formatting information exclusively as the state of the stream object.

If streams were made copyable at this point, it would only do copyfmt and not the rest.

The choice to exclude rdbuf from the value state may be due to the further-muddled value semantics of derived classes such as std::fstream, which not only expose access to a stream buffer, but also embed and own it.

std::ifstream f( path + filename ); // Owns, or even "is," a file.
std::istream i = f; // Observes an externally-managed file.

std::istream i2 = i; // OK, copy a shallow reference.
std::ifstream f2 = f; // Error, ifstream is more than a shallow reference.

std::istream i3 = std::move( f ); // Error? Would retain a reference to an rvalue.
std::ifstream f3 = std::move( f ); // OK: full copy including the file buffer.

The semantics could be consistent in some fashion, but it would be a lot of confusion for a moderate gain.

More Related Contents:

  1. What is The Rule of Three?
  2. Conditions for automatic generation of default/copy/move ctor and copy/move assignment operator?
  3. How to print Unicode character in C++?
  4. Testing stream.good() or !stream.eof() reads last line twice [duplicate]
  5. No matching function – ifstream open()
  6. Why must the copy assignment operator return a reference/const reference?
  7. How to read until EOF from cin in C++
  8. Copy constructor and = operator overload in C++: is a common function possible?
  9. std::cout won’t print
  10. Hide user input on password prompt [duplicate]
  11. Can I use CreateFile, but force the handle into a std::ofstream?
  12. How can I compose output streams, so output goes multiple places at once?
  13. Overload handling of std::endl?
  14. Copy constructor is not inherited
  15. Why does std::cout convert volatile pointers to bool?
  16. vs. vs. “iostream.h”
  17. Can we return objects having a deleted/private copy/move constructor by value from a function?
  18. What is the header?
  19. Why are C++ STL iostreams not “exception friendly”?
  20. Resetting the State of a Stream
  21. When does cout flush?
  22. Are int8_t and uint8_t intended to be char types?
  23. c++ fastest way to read only last line of text file?
  24. Calling assignment operator in copy constructor
  25. ostream chaining, output order
  26. Using char16_t and char32_t in I/O
  27. Uniform initialization fails to copy when object has no data members
  28. Why do I need to include both the iostream and fstream headers to open a file
  29. Output Unicode strings in Windows console
  30. checking data availability before calling std::getline

Leave a Comment