默認(rèn)實參

某些函數(shù)包含一些實參，在函數(shù)的很多次調(diào)用中他們都被賦予相同的一個值，此時我們把這個反復(fù)出現(xiàn)的值稱為函數(shù)的默認(rèn)實參。調(diào)用含有默認(rèn)實參的函數(shù)時，我們可以包含該實參，也可以省略該實參。

(資料圖片僅供參考)

例如我們用string對象表示窗口內(nèi)容，一般我們希望該窗口的高、寬和背景字符都是用默認(rèn)值，但是同時我們也允許用戶為這幾個參數(shù)自由指定與默認(rèn)值不同的數(shù)值。我們把他定義成以下形式：

我們?yōu)槊恳粋€參數(shù)都提供了默認(rèn)實參，默認(rèn)實參作為形參的初始值出現(xiàn)在形參列表中，我們可以為一個或多個形參定義默認(rèn)值，一旦某個形參被賦予了默認(rèn)值，他后面的所有形參都必須有默認(rèn)值。

使用默認(rèn)實參調(diào)用函數(shù)

如果我們想使用默認(rèn)實參，只要在調(diào)用函數(shù)的時候省略該實參就行了。

函數(shù)調(diào)用時實參按其位置解析，默認(rèn)實參負(fù)責(zé)填補函數(shù)調(diào)用缺少的尾部實參

第二種傳遞的雖然是個？字符，但是會自動轉(zhuǎn)換為sz的無符號整數(shù)，也就是ascii碼的值。

當(dāng)設(shè)計含有默認(rèn)實參的函數(shù)時，一般將不常用的形參寫在前面，而將常用的寫在后面。

默認(rèn)實參聲明

在給定作用域中一個形參只能被賦予一次默認(rèn)形參，也就是函數(shù)后續(xù)的聲明只能為之前那些沒有默認(rèn)值的形參添加默認(rèn)實參，而且該形參右側(cè)的所有形參都必須又默認(rèn)值。

內(nèi)聯(lián)函數(shù)和constexpr函數(shù)

調(diào)用函數(shù)一般比求等價表達(dá)式的值要慢一些。在大多數(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ù)是指能用于常量表達(dá)式的函數(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í)行任何操作就行，

如果我們用一個非常量表達(dá)式調(diào)用scale函數(shù)，則返回值是一個非常量表達(dá)式。

constexpr函數(shù)不一定返回常量表達(dá)式。

由于內(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)試幫助

有時我們會用到一種類似于頭文件保護(hù)的技術(shù)，以便有選擇地執(zhí)行調(diào)試代碼。基本思想是，程序可以包含一些用于調(diào)試的代碼，但是這些代碼只在開發(fā)程序時使用，當(dāng)應(yīng)用程序編寫完成時，要先屏蔽調(diào)試代碼，這種方法用到兩項預(yù)處理功能，assert和NDEBUG。

assert預(yù)處理宏

assert是一種預(yù)處理宏，所謂預(yù)處理宏其實是一個預(yù)處理變量，他的行為有點類似于內(nèi)聯(lián)函數(shù)，assert宏使用一個表達(dá)式作為他的條件，

首先對expr求值，如果表達(dá)式為假，assert輸出信息并終止程序的執(zhí)行，如果表達(dá)式為真，assert什么也不做。

assert宏定義在cassert頭文件中。

預(yù)處理名字由預(yù)處理器而不是編譯器管理，因此我們可以直接使用預(yù)處理名字而無需提供using聲明。我們應(yīng)該直接使用assert而不是std：：assert，也不需要using。

和預(yù)處理變量一樣，宏名字在程序內(nèi)必須唯一，含有assert頭文件的程序不能再定義名為assert的變量、函數(shù)或者其他實體。所以無論如何我們應(yīng)該避免使用assert作為名字。

assert宏常用于檢查“不能發(fā)生的條件”。例如，一個對輸入文本進(jìn)行操作的程序可能要求所有給定單詞的長度都大于某個閾值，此時我們可以使用

NDEBUG預(yù)處理變量

assert的行為依賴于一個名為NDEBUG的預(yù)處理變量的狀態(tài)，如果定義了NDEBUG則assert什么也不做，默認(rèn)狀態(tài)下沒有定義NDEBUG，此時assert將執(zhí)行運行時檢查。

我們可以使用#define語句定義NDEBUG，從而關(guān)閉調(diào)試狀態(tài)。所以，assert應(yīng)該僅用于驗證那些確實不可能發(fā)生的事情，我們可以把assert當(dāng)成調(diào)試程序的一種輔助手段，但是不能用它替代真正的運行時邏輯狀態(tài)，也不能替代程序本身應(yīng)該包含的錯誤檢查。

除了用于assert外，NDEBUG也可以編寫自己的條件調(diào)試代碼。如果NDEBUG未定義，將執(zhí)行#ifndef和#endif之間的代碼，如果定義了NDEBUG，這些代碼被忽略

我們使用變量__func__輸出當(dāng)前調(diào)試的函數(shù)的名字，編譯器為每個函數(shù)都定義了__func__，他是const char的一個靜態(tài)數(shù)組，用于存放函數(shù)的名字。

還有四個對于程序調(diào)試很有用的名字

如果我們給程序提供了一個長度小于threshold的string對象，將得到下面的錯誤消息。

關(guān)鍵詞：

責(zé)任編輯：Rex_05