??構(gòu)造函數(shù)不僅可以構(gòu)造與初始化對象，對于單個(gè)參數(shù)或者除第一個(gè)參數(shù)無默認(rèn)值其余均有默認(rèn)值的構(gòu)造函數(shù)，還具有類型轉(zhuǎn)換的作用

一、單參構(gòu)造函數(shù)

• 還是老朋友，我們通過下面這個(gè)日期類進(jìn)行講解

class Date
{
public:
	Date(int year)
		:_year(year)
	{}

private:
	int _year;
	int _month = 3;
	int _day = 31;
};

對于下面的d1很清楚一定是調(diào)用了有參構(gòu)造進(jìn)行初始化，不過對于d2來說，也是一種構(gòu)造方式

int main()
{
	Date d1(2022);
	Date d2 = 2023;
	
	return 0;
}

依舊通過調(diào)試來看就會非常清晰，這種寫法也會去調(diào)用構(gòu)造函數(shù)

在操作符章節(jié)，我有提到過【隱式類型轉(zhuǎn)換】這個(gè)概念，像下面將一個(gè)int類型的數(shù)值賦值給到一個(gè)double類型的數(shù)據(jù)，此時(shí)就會產(chǎn)生一個(gè)隱式類型轉(zhuǎn)換

int i = 1;
double d = i;

• 對于類型轉(zhuǎn)換而言，我在C++引用一文中也有提到過，這里并不是將值直接賦值給到左邊的對象，而是在中間呢會產(chǎn)生一個(gè)臨時(shí)變量，例如右邊的這個(gè)i會先去構(gòu)造一個(gè)臨時(shí)變量，這個(gè)臨時(shí)變量的類型是[double]。把它里面的值初始化為1，然后再通過這個(gè)臨時(shí)對象進(jìn)行拷貝構(gòu)造給d，這就是編譯器會做的一件事
• 那對于這個(gè)d2其實(shí)也是一樣，2023會先去構(gòu)造一個(gè)臨時(shí)對象，這個(gè)臨時(shí)對象的類型是[Date]把它里面的year初始化為2023，然后再通過這個(gè)臨時(shí)對象進(jìn)行拷貝構(gòu)造給到d2，

??小陳：不是說構(gòu)造函數(shù)有初始化列表嗎？拷貝構(gòu)造怎么去初始化呢？

//拷貝構(gòu)造
Date(const Date& d)
	:_year(d._year)
	,_month(d._month)
	,_day(d._day)
{}

同學(xué)，別忘了【拷貝構(gòu)造】也是屬于構(gòu)造函數(shù)的一種哦，也是會有初始化列表的

剛才說到了中間會產(chǎn)生一個(gè)臨時(shí)對象，而且會調(diào)用構(gòu)造 + 拷貝構(gòu)造，那此時(shí)我們在Date類中寫一個(gè)拷貝構(gòu)造函數(shù)，調(diào)試再去看看會不會去進(jìn)行調(diào)用

• 很明顯沒有，我在進(jìn)入Date類后一直在按F11，但是卻進(jìn)不到拷貝構(gòu)造中，這是為什么呢？

• 原因其實(shí)在于編譯器在這里地方做了一個(gè)優(yōu)化，將【構(gòu)造 + 拷貝構(gòu)造】優(yōu)化成了【一個(gè)構(gòu)造】，因?yàn)榫幾g器在這里覺得構(gòu)造再加拷貝構(gòu)造太費(fèi)事了，干脆就合二為一了。其實(shí)對于這里的優(yōu)化不同編譯器是有區(qū)別的，像一下VC++、DevC++可能就不會去優(yōu)化，越是新的編譯器越可能去進(jìn)行這種優(yōu)化。在本文的最后一個(gè)模塊我還會詳細(xì)展開分析

??小葉：但您是怎么知道中間賦值這一塊產(chǎn)生了臨時(shí)對象呢？如果不清楚編譯器的優(yōu)化機(jī)制這一塊肯定就會認(rèn)為這里只有一個(gè)構(gòu)造

• 這點(diǎn)確實(shí)是，若是我現(xiàn)在不是直接賦值了，而是去做一個(gè)引用，此時(shí)會發(fā)生什么呢？

Date& d3 = 2024;

可以看到，報(bào)出了一個(gè)錯(cuò)誤，原因就在于d3是一個(gè)Date類型，2024則是一個(gè)內(nèi)置類型的數(shù)據(jù)

• 但若是我在前面加一個(gè)const做修飾后，就不會出現(xiàn)問題了，這是為什么呢？

其實(shí)這里的真正原因就在于產(chǎn)生的這個(gè)【臨時(shí)變量】，它就是通過Date類的構(gòu)造函數(shù)構(gòu)造出來的，同類型之間可以做引用。還有一點(diǎn)就是臨時(shí)變量具有常性，所以給到一個(gè)const類型修飾對象不會有問題

但若是你不想讓這種隱式類型轉(zhuǎn)換發(fā)生怎么辦呢？此時(shí)就可以使用到C++中的一個(gè)關(guān)鍵字叫做explicit

• 它加在構(gòu)造函數(shù)的前面進(jìn)行修飾，有了它就不會發(fā)生上面的這一系列事兒了，它會【禁止類型轉(zhuǎn)換】

explicit Date(int year)
	:_year(year)
{}

二、多參構(gòu)造函數(shù)

對于上面所講的都是基于單參的構(gòu)造函數(shù)，接下去我們來瞧瞧多參的構(gòu)造函數(shù)

//多參構(gòu)造函數(shù)
Date(int year, int month ,int day = 31)
	:_year(year)
	,_month(month)
	,_day(day)
{}

• 根據(jù)從右往左缺省的規(guī)則，我們在初始化構(gòu)造的時(shí)候要給到2個(gè)參數(shù)，d1沒有問題傳入了兩個(gè)參數(shù)，但是若是像上面那樣沿襲單參構(gòu)造函數(shù)這么去初始化還行得通嗎？很明顯不行，編譯器報(bào)出了錯(cuò)誤

??小馮：那要怎么辦呀，對于一定要傳入多參數(shù)進(jìn)行構(gòu)造的場景

這個(gè)時(shí)候就要使用到我們C++11中的新特性了，在對多參構(gòu)造進(jìn)行初始化的時(shí)候在外面加上一個(gè){}就可以了，可能你覺得這種寫法像是C語言里面結(jié)構(gòu)體的初始化，但實(shí)際不是，而是在調(diào)用多參構(gòu)造函數(shù)

Date d2 = { 2023, 3 };

• 不僅如此，對于下面這種也同樣適用，調(diào)用構(gòu)造去產(chǎn)生一個(gè)臨時(shí)對象

const Date& d3 = {<!--{cke_protected}{C}%3C!%2D%2D%20%2D%2D%3E--> 2024, 4 };

那要如何去防止這樣的隱式類型轉(zhuǎn)換發(fā)生呢，還是可以使用到explicit關(guān)鍵字嗎？

//多參構(gòu)造函數(shù)
explicit Date(int year, int month ,int day = 31)
	:_year(year)
	,_month(month)
	,_day(day)
{}

• 可以看到，加上explicit關(guān)鍵字做修飾，同樣可以起到【禁止類型轉(zhuǎn)換】的作用

• 還有一種例外，當(dāng)缺省參數(shù)從右往左給到兩個(gè)的時(shí)候，此時(shí)只需要傳入一個(gè)實(shí)參即可，那也就相當(dāng)于是單參構(gòu)造explicit關(guān)鍵字依舊可以起到作用·

explicit Date(int year, int month = 3,int day = 31)
	:_year(year)
	,_month(month)
	,_day(day)
{}

所以對于可讀性不是很好的代碼，可以使用explicit修飾構(gòu)造函數(shù)，將會禁止構(gòu)造函數(shù)的隱式轉(zhuǎn)換

以上就是C++ 之explicit關(guān)鍵字的詳細(xì)內(nèi)容，更多關(guān)于explicit關(guān)鍵字的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論