默認實參
某些函數(shù)包含一些實參,在函數(shù)的很多次調(diào)用中他們都被賦予相同的一個值,此時我們把這個反復(fù)出現(xiàn)的值稱為函數(shù)的默認實參。調(diào)用含有默認實參的函數(shù)時,我們可以包含該實參,也可以省略該實參。
(資料圖片僅供參考)
例如我們用string對象表示窗口內(nèi)容,一般我們希望該窗口的高、寬和背景字符都是用默認值,但是同時我們也允許用戶為這幾個參數(shù)自由指定與默認值不同的數(shù)值。我們把他定義成以下形式:
我們?yōu)槊恳粋€參數(shù)都提供了默認實參,默認實參作為形參的初始值出現(xiàn)在形參列表中,我們可以為一個或多個形參定義默認值,一旦某個形參被賦予了默認值,他后面的所有形參都必須有默認值。
使用默認實參調(diào)用函數(shù)
如果我們想使用默認實參,只要在調(diào)用函數(shù)的時候省略該實參就行了。
函數(shù)調(diào)用時實參按其位置解析,默認實參負責填補函數(shù)調(diào)用缺少的尾部實參
第二種傳遞的雖然是個?字符,但是會自動轉(zhuǎn)換為sz的無符號整數(shù),也就是ascii碼的值。
當設(shè)計含有默認實參的函數(shù)時,一般將不常用的形參寫在前面,而將常用的寫在后面。
默認實參聲明
在給定作用域中一個形參只能被賦予一次默認形參,也就是函數(shù)后續(xù)的聲明只能為之前那些沒有默認值的形參添加默認實參,而且該形參右側(cè)的所有形參都必須又默認值。
內(nèi)聯(lián)函數(shù)和constexpr函數(shù)
調(diào)用函數(shù)一般比求等價表達式的值要慢一些。在大多數(shù)機器上,一次函數(shù)調(diào)用其實包含這一系列工作,調(diào)用前要先保存寄存器,并在返回時恢復(fù);可能需要拷貝實參,程序轉(zhuǎn)向一個新的位置繼續(xù)執(zhí)行。
內(nèi)聯(lián)函數(shù)可避免函數(shù)調(diào)用的開銷
將函數(shù)指定為內(nèi)聯(lián)函數(shù),通常是將他在每個調(diào)用點上“內(nèi)聯(lián)的”展開。如果我們把之前的shorterString函數(shù)定義成內(nèi)聯(lián)函數(shù)
將在編譯過程中展開成類似
的形式,這樣就消除了shorterString函數(shù)運行時的開銷。
在shorterString函數(shù)的返回類型前加上關(guān)鍵字inline,這樣就可以將它聲明為內(nèi)聯(lián)函數(shù)了。
一般來說,內(nèi)聯(lián)機制用于優(yōu)化規(guī)模小、流程直接、頻繁調(diào)用的函數(shù)。很多編譯器都不支持內(nèi)聯(lián)遞歸函數(shù),而且一個75行的函數(shù)也不太可能在調(diào)用點內(nèi)斂地展開。
constexpr函數(shù)
constexpr函數(shù)是指能用于常量表達式的函數(shù)。定義constexpr函數(shù)的方法和其他函數(shù)類似,不過需要注意,函數(shù)的返回類型及所有形參的類型都得是字面值類型,而且函數(shù)中必須有且只有一條return語句。
執(zhí)行該初始化任務(wù)時,編譯器把對constexpr函數(shù)的調(diào)用替換成其結(jié)果值,為了能在編譯過程中隨時展開,constexpr函數(shù)被隱式的指定為內(nèi)聯(lián)函數(shù)。
constexpr函數(shù)體內(nèi)也可以包含其他語句,只要這些語句在運行時不執(zhí)行任何操作就行,
如果我們用一個非常量表達式調(diào)用scale函數(shù),則返回值是一個非常量表達式。
constexpr函數(shù)不一定返回常量表達式。
由于內(nèi)聯(lián)函數(shù)和constexpr函數(shù)可以在程序中多次定義,編譯器要想展開函數(shù)僅有函數(shù)聲明是不夠的,還要函數(shù)的定義。不過對于某個給定的內(nèi)聯(lián)函數(shù)或者constexpr函數(shù)來說,他的多個定義必須完全一致,所以一般將內(nèi)聯(lián)函數(shù)和constexpr函數(shù)定義在頭文件中。
調(diào)試幫助
有時我們會用到一種類似于頭文件保護的技術(shù),以便有選擇地執(zhí)行調(diào)試代碼。基本思想是,程序可以包含一些用于調(diào)試的代碼,但是這些代碼只在開發(fā)程序時使用,當應(yīng)用程序編寫完成時,要先屏蔽調(diào)試代碼,這種方法用到兩項預(yù)處理功能,assert和NDEBUG。
assert預(yù)處理宏
assert是一種預(yù)處理宏,所謂預(yù)處理宏其實是一個預(yù)處理變量,他的行為有點類似于內(nèi)聯(lián)函數(shù),assert宏使用一個表達式作為他的條件,
首先對expr求值,如果表達式為假,assert輸出信息并終止程序的執(zhí)行,如果表達式為真,assert什么也不做。
assert宏定義在cassert頭文件中。
預(yù)處理名字由預(yù)處理器而不是編譯器管理,因此我們可以直接使用預(yù)處理名字而無需提供using聲明。我們應(yīng)該直接使用assert而不是std::assert,也不需要using。
和預(yù)處理變量一樣,宏名字在程序內(nèi)必須唯一,含有assert頭文件的程序不能再定義名為assert的變量、函數(shù)或者其他實體。所以無論如何我們應(yīng)該避免使用assert作為名字。
assert宏常用于檢查“不能發(fā)生的條件”。例如,一個對輸入文本進行操作的程序可能要求所有給定單詞的長度都大于某個閾值,此時我們可以使用
NDEBUG預(yù)處理變量
assert的行為依賴于一個名為NDEBUG的預(yù)處理變量的狀態(tài),如果定義了NDEBUG則assert什么也不做,默認狀態(tài)下沒有定義NDEBUG,此時assert將執(zhí)行運行時檢查。
我們可以使用#define語句定義NDEBUG,從而關(guān)閉調(diào)試狀態(tài)。所以,assert應(yīng)該僅用于驗證那些確實不可能發(fā)生的事情,我們可以把assert當成調(diào)試程序的一種輔助手段,但是不能用它替代真正的運行時邏輯狀態(tài),也不能替代程序本身應(yīng)該包含的錯誤檢查。
除了用于assert外,NDEBUG也可以編寫自己的條件調(diào)試代碼。如果NDEBUG未定義,將執(zhí)行#ifndef和#endif之間的代碼,如果定義了NDEBUG,這些代碼被忽略
我們使用變量__func__輸出當前調(diào)試的函數(shù)的名字,編譯器為每個函數(shù)都定義了__func__,他是const char的一個靜態(tài)數(shù)組,用于存放函數(shù)的名字。
還有四個對于程序調(diào)試很有用的名字
如果我們給程序提供了一個長度小于threshold的string對象,將得到下面的錯誤消息。
關(guān)鍵詞:
責任編輯:Rex_05