第4章 類型和聲明 4.2 布爾量 按照定義,true具有值1,而false具有值0.整數可以隱式地轉換到bool值。指針也可以隱式地轉換到bool,非零指針轉為true,具有零值的指針轉為false。 4.3 字元類型 一個char類型幾乎都包含8個二進位位,這裡還提供了另一個類型wchar_t用 ...
第4章 類型和聲明
4.2 布爾量
- 按照定義,true具有值1,而false具有值0.整數可以隱式地轉換到bool值。指針也可以隱式地轉換到bool,非零指針轉為true,具有零值的指針轉為false。
4.3 字元類型
- 一個char類型幾乎都包含8個二進位位,這裡還提供了另一個類型wchar_t用於保存更大的字元集。字元類型都是整型,可以對他們使用算術和邏輯運算符。
4.6 大小
- C++基本類型的某些方面是由實現確定的。提供多種整數類型、多種無符號類型、多種浮點類型的原因就是希望使程式員能夠利用各種硬體特性。
- C++對象的大小是用char的大小的倍數表示的,所以按照定義char的大小為1。char類型被假定是由實現選擇的,類似地int類型也被假定是由實現選擇的,採用在給定的電腦上最適合儲存和操作整數的類型。關於移植性的問題一直是盲區,先mark。
- 如果需要的話,有關某個具體實現的所有依賴於實現的特征都可以在
<limits>
里找到。
4.8 枚舉
- 如果枚舉所有枚舉符非負,該枚舉的表達範圍就是[0:2^k-1];如果存在負數,[-2^k:2^k-1],k是能類聚的最小2的冪。
4.9 聲明
- 繼續補概念extern:置於變數或者函數前,以標示變數或者函數的定義在別的文件中,提示編譯器遇到此變數和函數時在其他模板中尋找其定義。
4.9.4 作用域
- 一個聲明將一個名字引進一個作用域;對於在函數里聲明的名字,其作用域從它聲明那一點開始,直到這個聲明所在的塊結束為止。
- 全局變數的作用域從聲明的那一點開始,一直延伸到這個聲明所在的文件的結束。在一個塊里聲明的名字可以遮蔽在其外圍的塊里所聲明的名字或者全局名字。也就是說退出這個塊後名字就恢復了它原來的意義。
- 還是避免名字遮蔽的情況。被遮蔽的全局名字可以通過作用域解析運算符::去引用。
4.9.5 初始化
- 如果沒有提供初始式,全局的、名字空間的和局部靜態的對象將被自動初始化為適當類型的0。局部對象和在只有儲存區建立的對象將不會用預設值做初始化。
4.10 忠告
1.保持較小的作用域。
2.避免有關大小的不必要假設。
3.優先使用int,double,char。
4.避免無符號算術。不是很懂,先mark
5.帶著疑問看待轉換。
第5章 指針、數組和結構
5.1 指針
- 能夠獨立地進行分配和通過內部指針類型指向的最小單位為cahr。如果想過要更緊湊的儲存更小的值,你可以按位邏輯操作或者結構中的位域。
5.1.1 零
- 零是一個整數,但是在各種標準轉換,0可以被用於作為任意整型、浮點類型、指針、還有指向成員的指針的常量。沒有任何對象對被分配到0地址。
- 在C中流行的巨集NULL表示0指針。由於C++收緊的類型檢查規則,採用普通的0而不是一些人建議的NULL巨集。
- 如果你必須定義NULL,請採用
const int NULL = 0;
。
5.1.2 數組
- 數組元素的界必須是一個常量表達式。如果需要變化,請使用vector。
- 其他語言對數組的界採用逗號,C++是序列運算符。
5.2.2 字元串文字量
- 在應用指針時,==比較的是地址而不是被指的東西。
5.3.1 在數組裡漫游
- 只有兩個指針指向同一個數組的元素時,指針之間的相減才有定義。複雜的指針運算通常並不必要,最好避免使用。
- 註意,數組並不具有自描述性,如果要遍歷一個數組,而該數組並不像字元串包含一個結束符,所以需要其他方式提供它的元素個數。
5.4 常量
- const實際上是改變了類型,它限制了對象能夠使用的方式,並沒有描述常量應該如何分配。
5.4.1 指針和常量
- char *const cp; 到char的const指針
- char const* pc; 到const char的指針
- const char* pc2; 到const char的指針
5.5 引用
- 引用的__主要用途__是為了描述函數的參數和返回值,特別是為了運算符的重載。
- 為了確保一個引用總能是某個東西的名字,我們必須對引用做__初始化__。
- 引用的一種__最常用的實現方法__就是作為一個常量指針,在每次使用它的時都自動地做間接訪問。將引用想象成指針這樣可以,但是一個引用並不是對象,不能像指針那樣操作。
- 需要__區分__對變數的引用和對常量的引用,是因為在變數引用的情況下引進臨時量極易出錯,對變數的賦值將變成對於——即將消失——臨時量的賦值。
- 為了提高程式的可讀性,通常應該儘量避免讓函數去修改他們的參數。相反,應該讓函數明確返回一個值或者明確要求一個指針參數。
- 引用還可以用於__定義一些函數__,使它們既可以被用在賦值的左邊,也可以用在右邊。
更多的擴展,參考C++中引用(&)的用法和應用實例。
5.6 指向void的指針
- 一個指向任何對象類型的指針都可以賦值給類型為空指針的變數,空指針可以賦值給另一個空指針,兩個空指針可以比較是否相等,而且可以顯式地將空指針轉換到另一個類型。
- 一般來說,如果一個指針被強制到與被指對象的實際類型不同的指針,使用後一個指針就是不安全的。
- 最重要的用途是需要向函數傳遞一個指針,而又不能對對象的類型做任何假設。還有就是從函數返回一個無類型的對象。要使用這樣的對象必須通過顯式的類型轉換。
5.7 結構
- 結構類型對象的大小未必是其成員的大小之和。
5.8 忠告
1.避免非平凡的指針算術。避免複雜的指針運算。
2.不要超出數組的界限去寫。
3.儘量使用0而不是NULL。
4.儘量使用vector和valarray而不是內部的數組。
5.儘量使用string而不是以0結束的char數組。
6.儘量少用普通的引用參數。
7.避免void*。
第6章 表達式和語句
6.1 一個桌面計算器
- 這個計算器由四部分組成:一個分析器,一個輸入函數,一個符號表,一個驅動程式。這裡另外在一篇博客上實現並講述link。
6.2 運算符概述
- 在表格中,class_name表示一個類的名字,member表示一個成員的名字,object表示一個能產生類對象的表達式,pointer表示一個產生指針的表達式,expr是表達式,lvalue表示一個非常量對象的表達式。
6.2.1 結果
- 算術運算符讓產生的結果具有“最大的”運算對象類型。
6.2.2 求值順序
- 在一個表達式里,子表達式的求值順序是沒有意義的,例如:
int x = f(2) + g(1) //你無法假定表達式從左到右執行
- 運算符,逗號,邏輯與,邏輯或保證了位於它左邊的運算對象一定先於右邊。
請註意,序列運算符,(逗號)與用來分隔函數調用參數的逗號在邏輯上是完全不同的
f1(v[i], i++) //兩個參數,兩個參數的執行順序不一定 f2((v[i], i++))//一個參數,等價於i++
6.2.5 增量和減量
++x
等價於(x += 1),x++
等價於(t=x, x+=1, t)。while(*p++ = *q++);
6.2.6 自由存儲
- 命名對象的生存時間由它的作用域決定。然而能夠建立起生存時間不依賴於建立它的作用域的對象。new, new[]/delete,delete[]
6.2.6.2 存儲耗盡
- 自由存儲運算符new,delete,new[],delete[]通過一些頭文件
<new>
里描述實現。new,new[]的標準實現並不對返回的存儲做初始化。 - 我們可以規定在存儲耗盡時new應該去做什麼。當new失敗時,它將先去調用一個函數,該函數在
<new>
里聲明的set_new_handler()設定。
6.3 語句概覽
6.5 忠告
- 應儘可能使用標準庫。
- 避免過於複雜的表達式。
- 如果對運算符的優先順序有疑問,加括弧。
- 避免顯式類型轉換。
- 若必須做顯式類型轉換,提倡使用特殊強制運算符,而不是C風格的轉換。
- 只對定義良好的構造使用T(e)記法。
- 避免帶有無定義求值順序的表達式。
- 避免goto和do。
- 在你已經有了初始化某個變數之前,不要去聲明它。
- 使註釋簡潔、清晰、有意義。
- 保持一致的縮進風格。
- 傾向於定義一個成員函數new()去取代全局new()。
- 在讀輸入的時候,考慮病態的輸入。