關(guān)于C++一些很微妙的疑問

PCliangtao

不好意思.實在不知道用什么合適的主題。
第一個疑問是STL標(biāo)準(zhǔn)模板庫中的插入操作。
例如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. ......

復(fù)制代碼

紅色部分是我的疑問. 我發(fā)現(xiàn)insert中，都會對傳入的插值引用建立一個局部拷貝，然后使用這份拷貝。而不使用傳入的參數(shù)。
不知是何用意。如果是為了避免傳入的__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. }
   

復(fù)制代碼

將派生類使用static_cast轉(zhuǎn)換為基類的引用，這樣可以正確實現(xiàn)對基類成員的賦值。
原文：

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.
   

復(fù)制代碼

如果是static_case<Base>(*this) = rhs;
這為何會引起調(diào)用Base的構(gòu)造函數(shù)生成一個新的對象，并且賦值的對象是這個新對象？
我寫了代碼試了下，果然是這樣。

各位大俠不吝賜教啊.
thx...

bruceteen

第一個，就是“為了避免傳入的__x被意外修改”
因為它沒法確定 __x 是不是此 deque 內(nèi)部某個元素的引用
如果是的話，一旦調(diào)整deque的大小，那么 __x 就可能嗝屁了

bruceteen

第二個問題，不是很明顯嘛，不知道你哪里迷糊

PCliangtao

回復(fù) 2# bruceteen


     你說的有道理. 謝謝！

PCliangtao

回復(fù) 3# bruceteen


    為嘛static_cast<Base&>(*this) = rhs; 這樣是正確的
而 static_cast<Base>(*this) = rhs; 不是正確的。 而且會導(dǎo)致創(chuàng)建臨時的Base對象。

littledick

Base& 和 Base 的區(qū)別