buffered input

[Torarin]

2011/2/7 Robert Jacques <sandford at jhu.edu>:
> On Sun, 06 Feb 2011 10:43:47 -0500, Andrei Alexandrescu
> <SeeWebsiteForEmail at erdani.org> wrote:
>
>> On 2/6/11 6:01 EST, Tomek Sowiński wrote:
>>>
>>> Nick Sabalausky napisał:
>>>
>>>> discard and fetch?
>>>
>>> I like that.
>>
>> What's missing is the part that they refer to front. Maybe
>> discardFromFront() and fetchToFront()? But then I like discardFromFront()
>> and appendToFront() better - the latter is about as long and more
>> informative.
>>
>> Don't forget that these are relatively rarely used.
>>
>>
>> Andrei
>>
>
> Actually, I don't think these functions would be relatively rarely used. I
> don't see that many people using a buffered input's popFront. Instead I see
> shiftFront in its place and an appendToFront call has to be made whenever
> buffer.front.empty.
>

Why not popFront if empty? Maybe you could use appendToFront if you
knew that you needed to expand the stream's buffer, but that doesn't
sound like a common case.

Torarin