Re: [PATCH 5/5] style: don't use std::endl

[Akim Demaille]

> Le 10 mai 2018 à 14:01, Hans Åberg <address@hidden> a écrit :
> 
> 
>> On 9 May 2018, at 08:18, Akim Demaille <address@hidden> wrote:
>> 
>>> Le 8 mai 2018 à 18:03, Hans Åberg <address@hidden> a écrit :
>>> 
>>> 
>>>> On 8 May 2018, at 17:02, Akim Demaille <address@hidden> wrote:
>>>> 
>>>> Don't use std::endl, it flushes uselessly, and is considered bad
>>>> style.
>>> 
>>> Flushing is good with debugging and error reporting, though.
>> 
>> I agree, but in that case an explicit `flush()` is better.
>> And in the case of Bison, I don’t think we need any.
>> 
>> Besides, stdout is typically line buffered when connected to a terminal,
>> and stderr is typically unbuffered.
> 
> I can see this difference when throwing an uncaught exception: std::cerr is 
> output before the exception reporting, whereas std::cout after, when the 
> buffers are flushed in connection with program termination.

Of course one can see differences in arbitrary programs.  The
question is whether my changes change something for users.  Do
you have an actual example?