conversion function,轉換函數
語法:如黃色部分所示,名稱“operator+類型”,沒有參數,它的返回類型要與名稱中的類型一致,并且作者不能寫出來。
non-explicit-one-argument ctor
這種構造函數,它是有兩形參,且后一個形參有初值,所以它允許被一個實參調用,后面的形參就設為默認值。
所以調用示例中,編譯器就會自動轉換,以完成編譯。
當conversion function和non-explicit-one-argument ctor并存時,調用示例中,就會有兩種可以行的完成方法,編譯器是沒法決定選擇使用哪一種的,所以這樣會報錯。
explicit-one-argument ctor
加了explicit關鍵字會讓編譯器不能將4轉為Fraction,所以這里調用時編譯器也會報錯。
class模仿指針
pointer-like classes,關于智能指針
智能指針強化了普通指針所沒有的功能,這里暫不詳述。
上面的是C++1.0標準庫簡化后的智能指針;在指針能用到的操作符就是‘*’和‘->’,所以需要重載這兩個操作符,而且是必須的。
語法: ‘*’的重載是直接返回指向的內容;而‘->’則是返回實際的指針,但是這樣‘->’不就是消耗了嗎?然而‘->’它在C++的定義是可以重復使用的,就是說完成重載函數后,它繼續起作用。
pointer-like classes,關于迭代器
迭代器也相當于智能指針,它將指向容器的內容;
有所不同的是會有更多的操作符重載‘++’和‘--’,這些操作符作用于指針則是用于移位(內存地址),而這里則是改變在鏈表中的位置;
迭代器的‘*’的重載,要返回容器內容的數據;
而‘->’的重載則是返回容器內容數據的地址(即是返回指針)。
class模仿函數
function-like classes,所謂仿函數
模仿函數,即是要重載‘()’;
示例中,類模板是pair(一對的),所以寫了兩個struct,實現pair中兩個對象的調用。
調用:
標準庫中,仿函數所作用的奇特的base classes
在C++標準庫里面,有很多用仿函數,都會繼承類似‘binary_function’的classes,它不會占用內存(實際上可能會占用為1)。
關于namespace
由于,在實際的開發團隊中,各部門之間所寫的代碼,難免會有重名的情況出現;
或者自己寫的測試程序也會有重名的情況,利用命名空間namespace,去解決重名情況,這樣一來就可以在不同的namespace中都使用自己習慣的名稱,不用再苦惱為變量和函數如何命名的問題。
關于模板
class template,類模板
所謂class template,就是在設計class時,把那些你認為允許使用者任意指定的類型抽出來,用自定義的關系字代替(這里用‘T’);
在調用時,就像上面一樣,把指定類型寫在‘<>’里面放在類名的后面。
語法:用template,表示T為未指定類型(可以是類,也可以是普通的數據類型)
function template,函數模板
所謂函數模板,就是允許函數不指明是哪一種類型調用和返回;
在調用時,編譯器會進行實參推導,用來確定調用的類型;
要注意的是對象的類的功能要完善,要用到的操作符一定要重載。
語法:用template,表示T為未知的類型;
(在模板定義的語法中關鍵字class和typename的作用是完全一樣的)
member template,成員模板
所謂成員模板(也可以說是模板成員),就是說它是類的成員,而且它本身又是一個模板。
特化模板
最前面的是普通的類模板,可以接收所有的類型,稱為泛化模板;
而后面的三個則是特化模板,它是泛化模板中的特例,只能接收指定的類型;(如果泛化模板和特化模板同時存在,編譯器會先檢測特化模板)
但這樣做不是跟不用模板一樣嗎?不一樣,這樣做可以為每種類型寫不一樣的內容。
模板偏特化(局部特化)
個數上的部分特化,將部分確定的形參類型和不確定的模板參數類型的標識符依次排序。(左邊的一定要是確定的形參類型,而不能有非模板和模板參數穿插在里面)
范圍上的局部特化,例如指針是對應類型的部分;
上面便是實現方法,在調用時編譯器會判斷,是否實參為指針形,而選擇下面的一個(上一個和下一個的標識符沒有直接的關聯,可以寫成右邊的)
template template parameter,模板模板參數
上面的class,就是所謂的模板模板參數的寫法,黃色的部分,是它與之不同的之處;
黃色部分表示,Container自身為模板,并且用第一模板參數‘T’作為它里面的參數類型(黃色里面的‘T’,就是指第一個模板‘T’);
但這樣是還不是調用的,還需要增加中間的兩行才可以(具體原因,會在下一個相關的章節詳述)
對于上面的例子,第二模板參數也使用第一模板參數‘T’,作為它里面的參數;
但它不是模板模板參數,因為它的第二模板參數是預置了默認值,不完全是模板,
在調用時,它可以不寫,而使用默認值,也可以寫(第二個調用便是),但這樣就不用理會第一參數的類型,而可以寫上需要的類型。
這一點就可以與模板模板參數的定義分開。
關于C++標準庫
在C++的標準庫里面,已經涵蓋了很多種容器(數據結構)和算法,標準庫是很棒的團隊寫的,所以我們要善用標準庫,而不是全都自己去寫。
學習標準庫的最好方法,就是自己寫一個小程序,應用到標準庫的每一個函數,而不是只去看網上相關的例子(光看,不實踐)
C++11新標準
variadic template (數量不定的模板參數)
上面第2函數的第二模板參數便是,用typename...(記得是在typename后面加三個點),聲明使用variadic template,表示接收一個參數包(里面有個數不定的參數)
接下來,在第2函數的第二個形參,相應的也需要的在后面,加上三個點,表示不定個數的參數包。
在調用時,也需要在參數包名稱的后面加上三個點。
例子中的第2函數,會被輾轉調用,直到把42輸出是,參數包args...內沒有參數了,print(args...)調用的就會是第1函數,從而結束運行。
例子是函數,當然,類也可以使用這個C++2.0的新特性。
auto
它的作用是,在變量聲明時賦值的情況下,能讓編譯器通過判斷值的類型,來確定變量的類型。
若在變量只聲明不賦值時,編譯器則無法確定變量的類型,所以最后的用法是不允許的。
ranged-base for
注釋:decl表示變量,coll表示容器
例子中,for的里面的‘{}’表示容器(它也是C++11的新標準)
例子的for語句將會實現的是,把容器coll里的內容,逐個賦值給變量decl,直到容器遍歷完成。
若想要改變容器內的值,則需要使用pass by reference。
關于reference
reference在定義時一定要有初值,而且不能被改變,直到它的生命結束。
例子中,r是代表x的,r擁有x的所以特性,也就是說r和它所代表的x的大小相同,地址相同(不過這是編譯器所制造的假象)
二者不能并存的原因,是函數簽名signature相同,使程序產生歧義Ambiguity,導致編譯模棱兩可;
函數灰色部分可以加const,const也是函數簽名的一部分,所以二者其中一個加上const,就可以使它們兩者并存。