Re: [boost] ptr_map_adapter::insert non const key argument

Subject: Re: [boost] ptr_map_adapter::insert non const key argument
From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2013-06-20 11:36:31

On 20-06-2013 14:24, Gaetano Mendola wrote:
> On 06/20/2013 01:54 PM, Pekka Seppänen wrote:
>> On 20.6.2013 14:41, Gaetano Mendola wrote:
>>> Hi,
>>> it seems that the method:
>>>
>>> std::pair<iterator,bool> ptr_map_adapter::insert( key_type& key, mapped_type x )
>>>
>>> has the key argument non const? Is there a valid reason for it or it's just a mistake?
>>
>> It's a deliberate choice. I'm quoting the pointer container FAQ here..
>>
>> Q: Why does ptr_map<T>::insert()/replace() take two arguments (the key and the pointer) instead of one std::pair? And why is the key passed by non-const reference?
>>
>> A: This is the only way the function can be implemented in an exception-safe manner; since the copy-constructor of the key might throw, and since function arguments are not guaranteed to be evaluated from left to right, we need to ensure that evaluating the first argument does not throw. Passing the key as a reference achieves just that.
>
> I see why. Apparently my googling didn't work well.

Also notice that it's not a perfect solution. You might still call a 
throwing function that returns a reference.

-Thorsten