关于C++一些很微妙的疑问

PCliangtao

不好意思.实在不知道用什么合适的主题。
第一个疑问是STL标准模板库中的插入操作。
例如deque中的一个。

1. template <class _Tp, class _Alloc>
   
2. typename deque<_Tp, _Alloc>::iterator
   
3. deque<_Tp,_Alloc>::_M_insert_aux(iterator __pos, const value_type& __x)
   
4. {
   
5.   difference_type __index = __pos - _M_start;
   
6.   [b][color=Red]value_type __x_copy = __x;[/color][/b]
   
7. ......

复制代码

红色部分是我的疑问. 我发现insert中，都会对传入的插值引用建立一个局部拷贝，然后使用这份拷贝。而不使用传入的参数。
不知是何用意。如果是为了避免传入的__x被意外修改，这也说不通，因为__x是const引用。

第二个疑问是来自effective C++中的，见Item 16.
他个的例子代码是

1. 
   
2. Derived& Derived::operator=(const Derived& rhs)
   
3. {
   
4.     if (this == &rhs) return *this;
   
5.     static_cast<Base&>(*this) = rhs; // call operator= on
   
6.                                                      // Base part of *this
   
7.     y = rhs.y;
   
8.     return *this;
   
9. }
   

复制代码

将派生类使用static_cast转换为基类的引用，这样可以正确实现对基类成员的赋值。
原文：

1. 
   
2. Careful now! It is important that the cast be to
   
3. a reference to a Base object, not to a Base object itself. If you cast *this to be a Base object, you'll end up
   
4. calling the copy constructor for Base, and the new object you construct (see Item M19) will be the target of the
   
5. assignment; *this will remain unchanged. Hardly what you want.
   

复制代码

如果是static_case<Base>(*this) = rhs;
这为何会引起调用Base的构造函数生成一个新的对象，并且赋值的对象是这个新对象？
我写了代码试了下，果然是这样。

各位大侠不吝赐教啊.
thx...

bruceteen

第一个，就是“为了避免传入的__x被意外修改”
因为它没法确定 __x 是不是此 deque 内部某个元素的引用
如果是的话，一旦调整deque的大小，那么 __x 就可能嗝屁了

bruceteen

第二个问题，不是很明显嘛，不知道你哪里迷糊

PCliangtao

回复 2# bruceteen


     你说的有道理. 谢谢！

PCliangtao

回复 3# bruceteen


    为嘛static_cast<Base&>(*this) = rhs; 这样是正确的
而 static_cast<Base>(*this) = rhs; 不是正确的。 而且会导致创建临时的Base对象。

littledick

Base& 和 Base 的区别