1. 如果要把一個template中的某個標識符號指定為一種型別,就算意圖顯而易見,關鍵字typename也不可或缺,因此一般的規則是,除了以typename修飾之外,template內的任何標識符號都被視為一個值而非一個型別.
2. 類的成員函數可以是個template,但這樣的成員函數既不能是virtual也不能有缺省參數.
3. 如果程序允許我們為成員函數提供不同的template型別,就可以放寬”必須精確吻合”這條規則:只要型別可被賦值,就可以被當做上述成員模板函數的參數.
4. 通過explicit,我們可以禁止”單參數構造函數”,被用於自動類型轉換.其中有對應的一個詞implicit.這個詞不是C++關鍵字(因為C++默認的是隱式轉換的).這裡這總結類似的關鍵字: volatile.使用這個關鍵字以後,優化器在用到這個變量時必須每次都小心的重新讀取這個變量的值,而不是使用保存在寄存器中的備份.
5. auto_ptr中擁有權的轉移情況:
◆ 某函數是數據的終點.
Voidskin(std::auto_ptr<ClassA>);
◆ 某函數是數據的起點
此外,不能以by reference方式傳遞auto_ptr.(無法預知擁有權是否被轉交)
就特性而言,constauto_ptr類似於常數指針(T*const p).而非指向常數d的指針.(const T* p)
如果auto_ptr在整個生命期內都不必改變其所指對象的擁有權,就可以使用const auto_ptr
const std::auto_ptr<int> p(new int(42));
std::auto_ptr<int> q(new int( -11 ));
*p = *q;//此時只是q指向了新的地址.所有權並沒有通過q轉移.
6. const 成員函數.其對象的成員不能改變.
因此不難得出以下結論:
◆const 成員函數即可以供const對象調用,也能供非const對象調用,此時const不能改變非const對象的成員
◆ const 對象不能調用非const 成員函數(因為非const對象可能會改變const對象)
◆非const函數不能調用const函數，反之可行
Mutable關鍵字:在const成員函數中也能改變mutable修飾的變量
7. 前置式遞增(++pos)與後置遞增相比,前者效率高.因為需要額外的臨時對象.所以,在一般情況下使用前置
8. 在使用set和map時,要注意排序問題.(關聯容器)它們的實現是以樹作為基本結構來存儲.
9. 三類插入迭代器:
◆ back inserter:利用push_back操作向容器插入.適合的容器:vector,deque,list
◆ front insert:利用push_front操作向容器插入.適合的容器:deque,list.(相當於鏈表前插)
◆ general insert:向第二個參數的位置前插入新的元素.
Inserter(contain,contain.begin()) 相當於front_insert
Inserter(contain,contain.end()) 相當於back_insert
10. 更易型算法(remove,resort,modify)不能作用於關聯式容器,因此時會改變某位置上的”值”(指鍵值).另外在選用算法的同時,首先應當確定是否可以利用容器的成員函數來代替.
11. 如果要把一個template中的某個標示符指定為一種類型,就算意圖顯而易見,關鍵字typename也不可或缺,因此C++的一般規則是,處理以type修飾之外,template內的任何標示符都被視為一個值,而非一個型別.
舉例:
class A
{
public:
typedef int SubType;
private:
intvalue;
};
template<class T>
class MyClass{
typedef T::SubType * ptr;
// typedef typename T::SubType * ptr;
};
int main()
{
MyClass<A> my_cls;
}
編譯器(vs2010)報錯: error C2143: 語法錯誤 : 缺少“;”(在“*”的前面).
編譯器好像並不認識SubType.這就是上面所說的把其當做為一個值,而非類型.加上typename就ok了.
11. STL容器元素必須滿足的三個基本要求:
◆ 必須可透過copy構造函數進行復制.
◆ 必須可以透過assignment操作符完成賦值動作.
◆ 必須可以透過析構函數完成銷毀動作.
解釋一點:我們平日裡經常會寫一個類的容器,但是,類裡面沒有看到什麼copy,assignment什麼的.為什麼程序還能正常運行?
舉例:
#include <iostream>
#include <set>
using namespace std;
class A
{
public:
A(intiVlaue ):m_iValue( iVlaue ){}
private:
intm_iValue;
};
int main()
{
set<A> coll;
system("pause");
return0;
}
關鍵在於編譯器會在這種情況下幫我們合成自己的賦值和復制操作.
其他的需要滿足特殊情況的條件:
◆ 對順序容器,元素的默認構造函數必須可用
◆ 對於某些特殊動作,必須定義operator==以執行相等的測試.
◆ 在關聯容器中,元素必須定義排序准則,這裡主要是定義<.
12. C++標准庫對STL做出如下保證:
◆ 所有以節點來實現基礎的容器(list,set,multiset,map,multimap),如果及诶單構造失敗,容器保持不變.移除節點的容器保持不會失敗.然而如果是對關聯式容器插入多個元素,為保證已序性,失敗時無法完全恢復原狀.對插入單一元素操作,支持要麼成功,要麼原先的容器不受任何影響.此外,所有擦除操作(無論數量多少)肯定成功.
對list,就算插入多個元素,也屬於安全操作,實際上,處理remove,remove_if,merge,sort,unique之外,要麼成功,要麼不受任何影響.
◆ 所有以array為構造基礎的容器如vector,deque安插元素如果失敗,都無法做到完全恢復.如果元素的型別保證拷貝動作不拋異常,則所有加諸於改元素身上的操作都能夠保證要麼成功,要麼就毫無影響.
摘自 yuanweihuayan的專欄
