explicit
explicit修飾符可以用于轉(zhuǎn)化構(gòu)造函數(shù)conversion constructor(C++98) 或者轉(zhuǎn)化函數(shù)conversion function(C++11)，禁止它們進行隱式轉(zhuǎn)化implicit conversion或者拷貝初始化copy-initialization
注:當構(gòu)造函數(shù)只有一個非默認的參數(shù)(until C++11)矾瘾，并且沒有用explicit修飾時优俘，它就叫做轉(zhuǎn)化構(gòu)造函數(shù)conversion constructor
隱式轉(zhuǎn)化存在的問題
當我們自定義了conversion，編譯器會在合適的時機去進行隱式轉(zhuǎn)化，一些情況下這些隱式轉(zhuǎn)化是我們想要的男窟，而另一些情況可能會違背程序的初衷侠仇。
最典型的就是Safe Bool Problem磕秤。如果沒有用explicit，A a; std::cout << 1 + a;等類似場景都是可以通過編譯的臭笆；如果用了explicit叙淌，那場景中需要的類型必須是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)化的目標類型就是這個構(gòu)造函數(shù)生成的對象的類型
- 轉(zhuǎn)化構(gòu)造函數(shù)一般來說只有一個參數(shù)，這個參數(shù)的類型就是源類型愁铺，
A(int){}鹰霍，int就是源類型。但是也可以有多個參數(shù)茵乱，只要多余的參數(shù)都有默認值茂洒，并且第一個參數(shù)的類型仍然是源類型。 - 轉(zhuǎn)化構(gòu)造函數(shù)也是構(gòu)造函數(shù)瓶竭，所以不需要也不可以指定返回類型
- 轉(zhuǎn)化構(gòu)造函數(shù)可以用
explicit修飾
聲明轉(zhuǎn)化函數(shù)conversion function
- 目標類型必須要在轉(zhuǎn)化函數(shù)前聲明
- 轉(zhuǎn)化函數(shù)不可以帶參數(shù)
- 轉(zhuǎn)化函數(shù)的名字就是目標類型的類名督勺，同時也不可以指定返回類型
- 轉(zhuǎn)化函數(shù)可以是虛函數(shù)
- 轉(zhuǎn)化函數(shù)可以用
explicit修飾
