-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
A-docsArea: Documentation for any part of the project, including the compiler, standard library, and toolsArea: Documentation for any part of the project, including the compiler, standard library, and toolsC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.P-mediumMedium priorityMedium priority
Description
It seems unclear to me from its documentation when exactly
std::io::LineWriter
will flush.
The documentation of the struct says that it flushes "whenever a
newline […] is detected", but the existence and documentation of the
constructor with_capacity
suggests that LineWriter
has an internal
buffer of some set capacity.
What happens if a line written to the LineWriter
exceeds the
capacity of the internal buffer? Can LineWriter
also flush before
a newline is detected?
Metadata
Metadata
Assignees
Labels
A-docsArea: Documentation for any part of the project, including the compiler, standard library, and toolsArea: Documentation for any part of the project, including the compiler, standard library, and toolsC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.P-mediumMedium priorityMedium priority