一 conversion function(轉(zhuǎn)換函數(shù))
class Fraction
{
public:
Fraction(int num,int den=1)
: m_numerator(num),m_denominator(den){ }
operator double() const {
return(double) (m_numerator/m_denominator);
} //轉(zhuǎn)換函數(shù),需要將Fraction轉(zhuǎn)換為double時(shí)候調(diào)用,函數(shù)名為需要轉(zhuǎn)換的類型,不可以有參數(shù)
private:
int m_numerator; //分子
int m_denominator; //分母
{
Fraction f(3,5)
double d=4+f; //調(diào)用operator double()將 f 轉(zhuǎn)為0.6
}
使用的時(shí)候,當(dāng)編譯器運(yùn)行到double=4+f時(shí)會(huì)先看看有沒有一個(gè)全局函數(shù)作了+的重載操作并且參數(shù)為整數(shù)和Fraction類型,如果沒有就調(diào)用operator double()將f轉(zhuǎn)換為double類型,使得編譯能通過。
轉(zhuǎn)換函數(shù)標(biāo)準(zhǔn)庫一個(gè)應(yīng)用(代理):
二 non-explicit-one-argument(實(shí)參) ctor
class Fraction
{
public:
Fraction(int num,int den=1)
: m_numerator(num),m_denominator(den){ }
Fraction operator + (const Fraction& f){
return Fraction(......);
}
private:
int m_numerator;
int m_denominator;
{
Fraction f(3,5)
double d=f+4; //調(diào)用non-explicit ctor將 4 轉(zhuǎn)為Fraction(4,1)
//然后調(diào)用operator+
}
Fraction叫做non-explicit-one argument。它有兩個(gè)parameter,只要一個(gè)argument就夠了。它可以將別的東西轉(zhuǎn)換為Fraction。
conversion function vs non-explicit-one-argument ctor
class Fraction
{
public:
Fraction(int num,int den=1)
: m_numerator(num),m_denominator(den){ }
operator double() const {
return(double) (m_numerator/m_denominator); }
Fraction operator + (const Fraction& f){
return Fraction(......);
}
private:
int m_numerator;
int m_denominator;
{
Fraction f(3,5)
double d=f+4; //ERROR ambiguous
}
如上代碼所示同時(shí)寫conversion function和non-explicit-one-argument ctor,運(yùn)行到double d=f+4將會(huì)產(chǎn)生歧義,編譯器報(bào)錯(cuò)。
explicit-one-argument ctor
class Fraction
{
public:
explict Fraction(int num,int den=1)
: m_numerator(num),m_denominator(den){ }
operator double() const {
return(double) (m_numerator/m_denominator); }
Fraction operator + (const Fraction& f){
return Fraction(......);
}
private:
int m_numerator;
int m_denominator;
{
Fraction f(3,5)
double d=f+4; //ERROR conversion from 'double' to 'Fraction' requested
}
explict一般只有用在構(gòu)造函數(shù)前面。表示明確,不允許編譯器將4看作是4/1,所以運(yùn)行到double d=f+4時(shí)報(bào)錯(cuò),無法將4轉(zhuǎn)換成Fraction。
三 pointer-like-classes,關(guān)于智能指針
一個(gè)c++的class可能像兩種東西:
(1)像指針;
(2)像函數(shù)。
像指針,要比指針多做一點(diǎn)東西,叫智能指針(C++ 2.0之前有個(gè)auto pointer,之后又出現(xiàn)很多)。
智能指針一定含有一般的指針,一定要寫*和—>重載,寫法一定如圖所示。
迭代器(一種智能指針)主要用來遍歷容器:
四 function-like classes,所謂仿函數(shù)
(1)設(shè)計(jì)一個(gè)class讓它的行為像一個(gè)函數(shù),函數(shù)有一個(gè)函數(shù)名稱,用一個(gè)括號(hào)作用,小括號(hào)叫做function call operator,任何一個(gè)東西能夠接受小括號(hào)這個(gè)操作符,我們叫這個(gè)東西為函數(shù)或者像函數(shù)的東西。
(2)標(biāo)準(zhǔn)庫有很多仿函數(shù),都是小小的class,里面有重載小括號(hào)。這些仿函數(shù)都繼承一些大小為0的父類,作用不作詳述,比較復(fù)雜。
五 namespace經(jīng)驗(yàn)談
避免不同單位使用相同函數(shù)名,導(dǎo)致混亂。
六 class template
為了不限制類的成員變量的類型,采用模板的形式定義成員變量,等以后需要的用的時(shí)候再定義數(shù)據(jù)類型。
七 Function Template
關(guān)鍵字class和typename是相通的。函數(shù)模板用的時(shí)候,編譯器會(huì)對(duì)它進(jìn)行實(shí)參推導(dǎo),不用加尖括號(hào)。函數(shù)模板里面<的重載由設(shè)計(jì)stone類的人去設(shè)計(jì),這是合理的,編譯器是不知道如何比大小的。
八 Member Template
既是模板的成員,自己本身又是template。
把鯽魚和麻雀構(gòu)成的pair當(dāng)成初值塞到魚類和鳥類構(gòu)成的pair,反之不行。
在標(biāo)準(zhǔn)庫大量的類的構(gòu)造函數(shù)應(yīng)用,使得構(gòu)造函數(shù)更有彈性。
new一個(gè)鯽魚,指針指向魚類,這個(gè)叫做up-cast。
九 specialization
面對(duì)獨(dú)特的類型而設(shè)計(jì)叫做特化(全特化)。
template<class Key>
struct hash { }; //泛化,指定任意類型都跑到這里,除了特化的幾個(gè)類型
template<> //被綁定,括號(hào)里面為空,指定類型char會(huì)跑到這段代碼,int、long雷同
struct hash<char>{
size_t operator() (char x) const { return x;}
};
template<>
struct hash<int>{
size_t operator() (int x) const { return x;}
};
template<>
struct hash<long>{
size_t operator() (int x) const { return x;}
};
{
cout<<hash<long>()(1000);
//空的小括號(hào)表示淺綠色的是一個(gè)臨時(shí)對(duì)象,帶有參數(shù)的小括號(hào)表示啟動(dòng)operator()函數(shù)。
}
十 模板偏特化
局部特化(偏特化):
(1)個(gè)數(shù)偏:
如圖例,兩個(gè)模板參數(shù),其中一個(gè)T被綁定為bool(bool比int節(jié)約8倍空間),綁定順序從左邊到右邊,不能跳數(shù)。
(2)范圍偏:
任意類型T縮小范圍成指針(指向任何類型)。
十一 模板模板參數(shù)
模板參數(shù)本身又是一個(gè)模板,下圖黃色部分。
模板模板參數(shù):容器list里面的模板參數(shù)是外面模板的參數(shù)。圖示用法XCl<string,list> mylst1;過不了語法因?yàn)槿萜饔泻脦讉€(gè)參數(shù),只不過平時(shí)用的時(shí)候有默認(rèn)值沒有寫。
解決方法:如圖Lst代碼。
unique_ptr和weak_ptr有好幾參數(shù)。
list已經(jīng)被綁定,不是模板參數(shù),所以該段代碼(deque<T>)不是模板模板參數(shù)。
十二 關(guān)于C++標(biāo)準(zhǔn)庫
C++標(biāo)準(zhǔn)庫,C++ Standard Library,是類庫和函數(shù)的集合,其使用核心語言寫成,在C++開發(fā)中,要盡可能地利用標(biāo)準(zhǔn)庫完成。
十三 三個(gè)主題
1 variadic templates (since C++11)
(1)數(shù)量不定的模板參數(shù),...表示包,圖示代碼print打印出第一個(gè)參數(shù),剩下的再調(diào)用print,如此遞歸直到最后一個(gè)打印出來,包數(shù)量為0,無任何參數(shù)輸入,則調(diào)用上方無參數(shù)的print。
(2)sizeof...(args)可以知道包的數(shù)量。
2 auto (since C++11)
3 ranged-base for (since C++11)
要使elem*3影響原來的值,則要傳引用。用auto可以不知道elem什么類型,偷懶。
十四 Reference
int x=0;
int* p=&x; //一個(gè)變量p,它的類型是指向整型的指針
int& r=x; //一個(gè)變量r,它的類型是指向整型的引用。r代表x。現(xiàn)在r,x都是0
int x2=5;
r=x2; //r不能重新代表物體。現(xiàn)在r,x都是5
int& r2=r; //現(xiàn)在r2是5(r2代表r;亦相當(dāng)于代表x)
(1)引用常用來作傳遞參數(shù)類型和返回類型,它和直接傳參數(shù)寫法相同,調(diào)用接口相同,但是更加快。
(2)signature叫做“簽名”。
(3)灰色部分const是函數(shù)簽名的一部分。
十五 復(fù)合&繼承關(guān)系下的構(gòu)造和析構(gòu)
第三周筆記有寫,這里不再贅述。
鏈接:http://www.lxweimin.com/p/ca6613dd4c8d