當(dāng)前位置:首頁 > 芯聞號(hào) > 充電吧
[導(dǎo)讀]C++11有一些這樣的改善,這種改善保證寫出的代碼比以往任何時(shí)候的執(zhí)行效率都要好。這種改善之一就是生成常量表達(dá)式,允許程序利用編譯時(shí)的計(jì)算能力。假如你熟悉模板元編程,你將發(fā)現(xiàn)constexpr使這一切


C++11有一些這樣的改善,這種改善保證寫出的代碼比以往任何時(shí)候的執(zhí)行效率都要好。這種改善之一就是生成常量表達(dá)式,允許程序利用編譯時(shí)的計(jì)算能力。假如你熟悉模板元編程,你將發(fā)現(xiàn)constexpr使這一切變得更加簡(jiǎn)單。假如你不知道模板元編程,也沒什么。constexpr使我們很容易利用上編譯時(shí)編程的優(yōu)勢(shì)。

常量表達(dá)式主要是允許一些計(jì)算發(fā)生在編譯時(shí),即發(fā)生在代碼編譯而不是運(yùn)行的時(shí)候。這是很大的優(yōu)化:假如有些事情可以在編譯時(shí)做,它將只做一次,而不是每次程序運(yùn)行時(shí)。需要計(jì)算一個(gè)編譯時(shí)已知的常量,比如特定值的sine或cosin?確實(shí)你亦可以使用庫函數(shù)sin或cos,但那樣你必須花費(fèi)運(yùn)行時(shí)的開銷。使用constexpr,你可以創(chuàng)建一個(gè)編譯時(shí)的函數(shù),它將為你計(jì)算出你需要的數(shù)值。用戶的電腦將不需要做這些工作。

constexpr初探

為了使函數(shù)獲取編譯時(shí)計(jì)算的能力,你必須指定constexpr關(guān)鍵字到這個(gè)函數(shù)。

constexpr?int?multiply?(int?x,?int?y)
{
????return?x?*?y;
}

//?將在編譯時(shí)計(jì)算
const?int?val?=?multiply(?10,?10?);

除了編譯時(shí)計(jì)算的性能優(yōu)化,constexpr的另外一個(gè)優(yōu)勢(shì)是,它允許函數(shù)被應(yīng)用在以前調(diào)用宏的所有場(chǎng)合。例如,你想要一個(gè)計(jì)算數(shù)組size的函數(shù),size是10的倍數(shù)。如果不用constexpr,你需要?jiǎng)?chuàng)建一個(gè)宏或者使用模板,因?yàn)槟悴荒苡煤瘮?shù)的返回值去聲明數(shù)組的大小。但是用constexpr,你就可以調(diào)用一個(gè)constexpr函數(shù)去聲明一個(gè)數(shù)組。

constexpr?int?getDefaultArraySize?(int?multiplier)
{
????return?10?*?multiplier;
}

int?my_array[?getDefaultArraySize(?3?)?];

constexpr函數(shù)的限制

一個(gè)constexpr有一些必須遵循的嚴(yán)格要求:

函數(shù)中只能有一個(gè)return語句(有極少特例) 只能調(diào)用其它c(diǎn)onstexpr函數(shù) 只能使用全局constexpr變量

注意遞歸并不受限制。但只允許一個(gè)返回語句,那如何實(shí)現(xiàn)遞歸呢?可以使用三元運(yùn)算符(?:)。例如,計(jì)算n的階乘:

constexpr?int?factorial?(int?n)
{
????return?n?>?0???n?*?factorial(?n?-?1?)?:?1;
}

現(xiàn)在你可以使用factorial(2),編譯器將在編譯時(shí)計(jì)算這個(gè)值,這種方式運(yùn)行更巧妙的計(jì)算,與內(nèi)聯(lián)截然不同。你無法內(nèi)聯(lián)一個(gè)遞歸函數(shù)。

constexpr函數(shù)還有那些特點(diǎn)?

一個(gè)constexpr函數(shù),只允許包含一行可執(zhí)行代碼。但允許包含typedefs、 using declaration && directives、靜態(tài)斷言等。

constexpr和運(yùn)行時(shí)

一個(gè)聲明為constexpr的函數(shù)同樣可以在運(yùn)行時(shí)被調(diào)用,當(dāng)這個(gè)函數(shù)的參數(shù)是非常量的:

int?n;
cin?>>?n;
factorial(?n?);

這意味著你不需要分別寫運(yùn)行時(shí)和編譯時(shí)的函數(shù)。

編譯時(shí)使用對(duì)象

假如你有一個(gè)Circle類:

class?Circle
{
????public:
????Circle?(int?x,?int?y,?int?radius)?:?_x(?x?),?_y(?y?),?_radius(?radius?)?{}
????double?getArea?()?const
????{
????????return?_radius?*?_radius?*?3.1415926;
????}
????private:
????????int?_x;
????????int?_y;
????????int?_radius;
};

你希望在編譯期構(gòu)造一個(gè)Circle接著算出他的面積。

constexpr?Circle?c(?0,?0,?10?);
constexpr?double?area?=?c.getArea();

事實(shí)證明你可以給Circle類做一些小的修改以完成這件事。首先,我們需要將構(gòu)造函數(shù)聲明為constexpr,接著我們需要將getarea函數(shù)聲明為constexpr。將構(gòu)造函數(shù)聲明為constexpr則運(yùn)行構(gòu)造函數(shù)在編譯期運(yùn)行,只要這個(gè)構(gòu)造函數(shù)的參數(shù)為常量,且構(gòu)造函數(shù)僅僅包含成員變量的constexpr構(gòu)造(所以默認(rèn)構(gòu)造可以看成constexpr,只要成員變量都有constexpr構(gòu)造)。

class?Circle
{
????public:
????constexpr?Circle?(int?x,?int?y,?int?radius)?:?_x(?x?),?_y(?y?),?_radius(?radius?)?{}
????constexpr?double?getArea?()
????{
????????return?_radius?*?_radius?*?3.1415926;
????}
????private:
????????int?_x;
????????int?_y;
????????int?_radius;
};

constexpr vs const

假如你將一個(gè)成員函數(shù)標(biāo)記為constexpr,則順帶也將它標(biāo)記為了const。如果你將一個(gè)變量標(biāo)記為constexpr,則同樣它是const的。但相反并不成立,一個(gè)const的變量或函數(shù),并不是constexpr的。

constexpr和浮點(diǎn)數(shù)

到這里我們講到的constexpr功能都可以通過模板元編程實(shí)現(xiàn)。但constexpr支持的一項(xiàng)能力是可以計(jì)算浮點(diǎn)型的數(shù)據(jù)。因?yàn)閐ouble和float不是有效的模板參數(shù),你不可以輕易的通過模板編譯期計(jì)算浮點(diǎn)數(shù)的值。而constexpr允許編譯期計(jì)算浮點(diǎn)型數(shù)據(jù)。

權(quán)衡constexpr

C++開發(fā)者早就深受修改一個(gè)頭文件則引發(fā)重新編譯導(dǎo)致編譯緩慢的困擾。而constexpr可能引入增加編譯時(shí)間的風(fēng)險(xiǎn),但也有一些技術(shù)去降低這種風(fēng)險(xiǎn)。首先,因?yàn)閏onstexpr函數(shù)相同的參數(shù)會(huì)輸出相同的結(jié)果,所以它們可以被memoized,事實(shí)上GCC已經(jīng)支持memoization。

因?yàn)榭梢詫?duì)constexpr函數(shù)memoize,所以用constexpr函數(shù)替換模板函數(shù)的地方,(編譯)性能不會(huì)變得更壞,但代碼會(huì)變得清晰。事實(shí)上,替換掉一部分模板實(shí)例,編譯會(huì)顯著加快。

最后,標(biāo)準(zhǔn)允許編譯器去限制遞歸函數(shù)的級(jí)數(shù)。這樣可以限制深度遞歸的編譯性能損耗。

編譯器支持

constexpr需要編譯器支持編譯期的遞歸,所以也不奇怪支持constexpr的編譯器并不多,就我所知只有G++4.7支持這一特性。[注:到我翻譯時(shí),intelC++13、Clang3.1也都支持了,不過Vs2013還是不支持]

PS:常量表達(dá)式解決了數(shù)組無法使用函數(shù)返回值定義大小的問題。

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱"軟通動(dòng)力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉