一、基礎(chǔ)

函數(shù)：封裝了一段代碼，可以在一次執(zhí)行過程中被反復(fù)調(diào)用，包含函數(shù)頭和函數(shù)體；

函數(shù)頭：

• 函數(shù)名稱（標識符），用于后續(xù)的調(diào)用；
• 形式參數(shù)，代表函數(shù)的輸入?yún)?shù)；
• 返回類型，函數(shù)執(zhí)行完成后返回結(jié)果的類型；
  

函數(shù)體：一個語句塊（block），包含具體的計算邏輯；

函數(shù)的聲明與定義：

• 函數(shù)聲明只包含函數(shù)頭，不包含函數(shù)體，通常在頭文件中；
• 函數(shù)聲明可以出現(xiàn)多次，定義通常出現(xiàn)一次（也有例外）；
  

函數(shù)調(diào)用：

• 需要提供函數(shù)名與實際參數(shù)；
• 實際參數(shù)拷貝初始化給形式參數(shù)；
• 返回值會拷貝給函數(shù)的調(diào)用者；
• 棧幀結(jié)構(gòu)（可自行了解下）；
  

二、參數(shù)

對于非模板函數(shù)來說，其每個形參都有確定的類型，但形參可以沒有名稱；

實參到形參的拷貝順序是不確定的；

函數(shù)的形參的傳遞一般分為：傳值、傳址、傳引用；

變長參數(shù)的定義：

1、使用initializer_list傳遞

#include <initializer_list>
void fun(std::initializer_list<int> a){}

int main
{
 fun({1, 2, 3, 4})
}

注意：該方法只能傳遞類型相同的變長參數(shù)；

• 可變長度模板參數(shù)
• 使用省略號表示形式參數(shù)（一般不使用）

函數(shù)的缺省實參注意點：

1、如果某個形參具有缺省參數(shù)，那么它右側(cè)的形參都必須具有缺省實參；

void fun(int x=1, int y=2){} // 這里y必須給定缺省值

2、具有缺省實參的函數(shù)調(diào)用時，傳入實參按照從左到右的順序進行匹配；

3、在一個翻譯單元中，每個形參的缺省實參只能定義一次；

4、缺省實參為對象時，實參的缺省值會隨對象值的變化而變化；

main函數(shù)的版本:

• 無形參版本（一般使用）
• 帶形參版本

int main(int argc, char *argv[]) {}

argc是非負數(shù)，表述傳入?yún)?shù)個數(shù)，argv是一個指針指向傳輸參數(shù)的數(shù)組頭。

三、返回類型

返回類型的幾種書寫方式：

經(jīng)典方法：位于函數(shù)頭的前部，也是最常規(guī)的寫法；

C++11引入的方式：位于函數(shù)頭的尾部；

auto fun(int x) -> int
{
 return x*2;
}

C++14引入的方式：返回類型的自動推導；

auto fun(int a)
{
 return a;  // 會根據(jù)return語句進行推導
}

四、函數(shù)重載與解析

函數(shù)重載：使用相同的函數(shù)名定義多個函數(shù)，每個函數(shù)具有不同的參數(shù)列表；

注意：不能基于不同的返回類型進行重載；

名稱查找：

• 分為限定查找和非限定查找：有無限定在某個作用域中；
• 非限定查找會進行域的逐級查找——名稱隱藏；
• 查找通常只會在已聲明的名稱集合中進行；
  

重載解析：在名稱查找的基礎(chǔ)上進一步選擇合適的調(diào)用函數(shù)；

• 過濾不能被調(diào)用的版本：參數(shù)個數(shù)不對、無法將實參轉(zhuǎn)為形參、實參不滿足形參的限制條件；
  

五、內(nèi)聯(lián)函數(shù)

定義：將比較簡單的函數(shù)邏輯展開到調(diào)用函數(shù)的部分，避免棧幀銷毀，提升性能；

關(guān)鍵字：inline，如果一個函數(shù)在多個翻譯單元展開，加入這個關(guān)鍵字可以避免重復(fù)定義；

1.constexpr函數(shù)

定義：之前有介紹常量表達式時用到了該關(guān)鍵字，現(xiàn)在對于函數(shù)也可以用該關(guān)鍵字；

作用：使得函數(shù)在編譯器被執(zhí)行，當然在有變量情況下也可在運行期執(zhí)行；

constexpr int fun(int x){
    // int y; std::cin >> y;  會報錯，該語句需要用戶傳入?yún)?shù)，只能在運行期執(zhí)行
 return x * 2;
}

int main
{
 constexpr int x = fun(2);  // 編譯器會翻譯成 move eax 4, 去掉constexpr也可以
 return x;
}

注意：constexpr函數(shù)中的語句必須是可以在編譯器執(zhí)行的語句；

拓展：關(guān)鍵字consteval（C++20引入），函數(shù)只能在編譯器執(zhí)行；

六、函數(shù)指針

作用：可以用于高階函數(shù)中，將函數(shù)指針作為參數(shù)；

代碼案例：

int add(x) { return x + 1};
using T = int(int);
int fun(K* F, int x)
{
 int tmp = (*F)(x);
 return tmp * 2;
}

int main
{
 std::cout << fun(&add, 50) << std::endl;
}

說明：這就是用函數(shù)指針定義的一個高階函數(shù)，在之后的很多高階函數(shù)、泛型算法中也是這樣的用法；

注意：當函數(shù)對象進行賦值或者返回值時，返回的是一個函數(shù)指針類型的對象；

七、思考

1、我們常常會見到如下代碼，是由什么作用？

extern "C" 
int fun(int x, int y)
{
    return x + y;
}

C語言對于函數(shù)是不能重載的，當用C調(diào)用C++程序時，往往找不到C++編譯后的函數(shù)名，可通過如上代碼定義一個函數(shù)為C類型函數(shù)；

2、可以用別名定義一個函數(shù)類型嗎？

using X = int[3];
X a;    // 這是定義了一個數(shù)組，同int a[3]

using X = int(int);
X fun;    // 這是定義了一個int返回類型的函數(shù)

函數(shù)也是有類型的，可以用別名定義，并且函數(shù)類型不包含形參名稱，并且只能聲明，不能定義；

總結(jié)：

本篇主要介紹了函數(shù)的基礎(chǔ)概念以及一些特殊的函數(shù)方法和類型。重點需要注意的就是函數(shù)重載以及函數(shù)指針，這個在后續(xù)的模板以及泛型編程都會用到；下一篇將討論C++中的內(nèi)存，也是最重要的一個部分。

到此這篇關(guān)于C++ 函數(shù)的介紹的文章就介紹到這了,更多相關(guān)C++函數(shù)內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論