explicit
explicit修飾符可以用于轉(zhuǎn)化構(gòu)造函數(shù)conversion constructor(C++98) 或者轉(zhuǎn)化函數(shù)conversion function(C++11)，禁止它們進(jìn)行隱式轉(zhuǎn)化implicit conversion或者拷貝初始化copy-initialization
注:當(dāng)構(gòu)造函數(shù)只有一個(gè)非默認(rèn)的參數(shù)(until C++11)，并且沒有用explicit修飾時(shí)，它就叫做轉(zhuǎn)化構(gòu)造函數(shù)conversion constructor
隱式轉(zhuǎn)化存在的問題
當(dāng)我們自定義了conversion，編譯器會(huì)在合適的時(shí)機(jī)去進(jìn)行隱式轉(zhuǎn)化，一些情況下這些隱式轉(zhuǎn)化是我們想要的，而另一些情況可能會(huì)違背程序的初衷。
最典型的就是Safe Bool Problem。如果沒有用explicit，A a; std::cout << 1 + a;等類似場(chǎng)景都是可以通過編譯的；如果用了explicit，那場(chǎng)景中需要的類型必須是bool或者顯示轉(zhuǎn)化一下才能通過編譯,if(b);或者std::cout << static_cast<bool>(b) + 1;
struct A
{
A(int) { } // converting constructor
A(int, int) { } // converting constructor (C++11)
operator bool() const { return true; }
};
struct B
{
explicit B(int) { }
explicit B(int, int) { }
explicit operator bool() const { return true; }
};
int main()
{
A a1 = 1; // OK: copy-initialization selects A::A(int)
A a2(2); // OK: direct-initialization selects A::A(int)
A a3 {4, 5}; // OK: direct-list-initialization selects A::A(int, int)
A a4 = {4, 5}; // OK: copy-list-initialization selects A::A(int, int)
A a5 = (A)1; // OK: explicit cast performs static_cast
if (a1) ; // OK: A::operator bool()
bool na1 = a1; // OK: copy-initialization selects A::operator bool()
bool na2 = static_cast<bool>(a1); // OK: static_cast performs direct-initialization
// B b1 = 1; // error: copy-initialization does not consider B::B(int)
B b2(2); // OK: direct-initialization selects B::B(int)
B b3 {4, 5}; // OK: direct-list-initialization selects B::B(int, int)
// B b4 = {4, 5}; // error: copy-list-initialization does not consider B::B(int,int)
B b5 = (B)1; // OK: explicit cast performs static_cast
if (b2) ; // OK: B::operator bool()
// bool nb1 = b2; // error: copy-initialization does not consider B::operator bool()
bool nb2 = static_cast<bool>(b2); // OK: static_cast performs direct-initialization
}
聲明轉(zhuǎn)化構(gòu)造函數(shù)conversion constructor
- 轉(zhuǎn)化的目標(biāo)類型就是這個(gè)構(gòu)造函數(shù)生成的對(duì)象的類型
- 轉(zhuǎn)化構(gòu)造函數(shù)一般來說只有一個(gè)參數(shù)，這個(gè)參數(shù)的類型就是源類型，
A(int){}，int就是源類型。但是也可以有多個(gè)參數(shù)，只要多余的參數(shù)都有默認(rèn)值，并且第一個(gè)參數(shù)的類型仍然是源類型。 - 轉(zhuǎn)化構(gòu)造函數(shù)也是構(gòu)造函數(shù)，所以不需要也不可以指定返回類型
- 轉(zhuǎn)化構(gòu)造函數(shù)可以用
explicit修飾
聲明轉(zhuǎn)化函數(shù)conversion function
- 目標(biāo)類型必須要在轉(zhuǎn)化函數(shù)前聲明
- 轉(zhuǎn)化函數(shù)不可以帶參數(shù)
- 轉(zhuǎn)化函數(shù)的名字就是目標(biāo)類型的類名，同時(shí)也不可以指定返回類型
- 轉(zhuǎn)化函數(shù)可以是虛函數(shù)
- 轉(zhuǎn)化函數(shù)可以用
explicit修飾
