From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-04-27 16:18:59
Thorsten Ottosen wrote:
> "Peter Dimov" <pdimov_at_[hidden]> wrote in message
> news:015401c54b68$01274540$6401a8c0_at_pdimov2...
>> David Abrahams wrote:
>>> [...] Efficiency
>>> considerations are usually only used when deciding whether or not to
>>> provide functionality at all. for example, that's why we don't have
>>> std::vector::push_front.
>>
>> And this is very annoying when you really want to push_front.
>
> cont.insert( cont.begin(), new_element );
>
> ?
Yes, that's what's annoying.