C++語(yǔ)法中的函數(shù)重載和默認(rèn)參數(shù)

更新時(shí)間：2020年03月04日 10:27:27 投稿：mrr

這篇文章主要介紹了C++語(yǔ)法中的函數(shù)重載和默認(rèn)參數(shù)，本文從語(yǔ)法角度通過(guò)實(shí)例代碼給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下

C語(yǔ)言中沒(méi)有函數(shù)重載
C++語(yǔ)言中有函數(shù)重載

函數(shù)名相同，參數(shù)個(gè)數(shù)不同、參數(shù)類(lèi)型不同、參數(shù)順序不同

例如下面就是函數(shù)重載

void sum(int a, int b){
 cout << a+b << endl;
}

void sum(int a, double b){
 cout << a+b << endl;
}

返回值類(lèi)型與函數(shù)重載無(wú)關(guān)

返回值類(lèi)型與函數(shù)重載無(wú)關(guān)，下面代碼不構(gòu)成重載，編譯會(huì)報(bào)錯(cuò)

//返回值類(lèi)型與函數(shù)重載無(wú)關(guān)
int func(){
 return 0;
}

double func(){
 return 0;
}

實(shí)參的隱式類(lèi)型轉(zhuǎn)換可能會(huì)產(chǎn)生二義性

不同編譯器有不同處理
下面代碼在vs上編譯不過(guò)，但是在Xcode中可以編譯通過(guò)。

#include "iostream"
using namespace std;

void sum(double a){
 cout << a << endl;
}

void sum(int a){
 cout << a << endl;
}

int main(){
 sum(10);
 
 return 0;
}

函數(shù)重載的本質(zhì)

采用了name mangling或者叫name decoration技術(shù)

C++編譯器默認(rèn)會(huì)對(duì)符號(hào)名（比如函數(shù)名）進(jìn)行改編、修飾，有些地方翻譯為“命名傾軋”
重載時(shí)會(huì)生成多個(gè)不同的函數(shù)名，不同編譯器（MSVC、g++）有不同的生成規(guī)則
通過(guò)IDA打開(kāi)【VS_Release_禁止優(yōu)化】可以看到或者通過(guò)hopper查看

源碼

下面的代碼

#include "iostream"
using namespace std;

void sum(double a){
 cout << a << endl;
}

void sum(int a){
 cout << a << endl;
}

int main(){
 return 0;
}

在代碼中， void sum(double a){} 和 void sum(int a){} 是如何重載，調(diào)用函數(shù)的時(shí)候是如何能正確找到對(duì)應(yīng)的函數(shù)呢？

匯編

我是用xcode的編譯出可執(zhí)行文件，放在hopper中查看

     __Z3sumd:        // sum(double)
0000000100000ce0         push       rbp         ; CODE XREF=_main+23
0000000100000ce1         mov        rbp, rsp
0000000100000ce4         sub        rsp, 0x10
0000000100000ce8         mov        rdi, qword [__ZNSt3__14coutE_100001000]
0000000100000cef         movsd      qword [rbp+var_8], xmm0
0000000100000cf4         movsd      xmm0, qword [rbp+var_8]
0000000100000cf9         call       imp___stubs___ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEd ; std::__1::basic_ostream<char, std::__1::char_traits<char> >::operator<<(double)
0000000100000cfe         mov        rdi, rax
0000000100000d01         lea        rsi, qword [__ZNSt3__1L4endlIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_]
0000000100000d08         call       __ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEPFRS3_S4_E ; std::__1::basic_ostream<char, std::__1::char_traits<char> >::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >& (*)(std::__1::basic_ostream<char, std::__1::char_traits<char> >&))
0000000100000d0d         mov        qword [rbp+var_10], rax
0000000100000d11         add        rsp, 0x10
0000000100000d15         pop        rbp
0000000100000d16         ret
                        ; endp
0000000100000d17         nop        word [rax+rax]

可知 void sum(double a){} 被編譯器修改為函數(shù) __Z3sumd

                     __Z3sumi:        // sum(int)
0000000100000da0         push       rbp
0000000100000da1         mov        rbp, rsp
0000000100000da4         sub        rsp, 0x10
0000000100000da8         mov        rax, qword [__ZNSt3__14coutE_100001000]
0000000100000daf         mov        dword [rbp+var_4], edi
0000000100000db2         mov        esi, dword [rbp+var_4]
0000000100000db5         mov        rdi, rax
0000000100000db8         call       imp___stubs___ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi ; std::__1::basic_ostream<char, std::__1::char_traits<char> >::operator<<(int)
0000000100000dbd         mov        rdi, rax                                    ; argument #1 for method __ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEPFRS3_S4_E
0000000100000dc0         lea        rsi, qword [__ZNSt3__1L4endlIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_]
0000000100000dc7         call       __ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEPFRS3_S4_E ; std::__1::basic_ostream<char, std::__1::char_traits<char> >::operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >& (*)(std::__1::basic_ostream<char, std::__1::char_traits<char> >&))
0000000100000dcc         mov        qword [rbp+var_10], rax
0000000100000dd0         add        rsp, 0x10
0000000100000dd4         pop        rbp
0000000100000dd5         ret
                        ; endp
0000000100000dd6         nop        word [cs:rax+rax]

可知 void sum(int a){} 被編譯器修改為函數(shù) __Z3sumi

這樣當(dāng)我們調(diào)用的時(shí)候

int main(){
 sum(10.5);
 return 0;
}

匯編如下，可知：因?yàn)?10.5是double類(lèi)型，調(diào)用函數(shù)的時(shí)候是調(diào)用 __Z3sumd

0000000100000de0         push       rbp
0000000100000de1         mov        rbp, rsp
0000000100000de4         sub        rsp, 0x10
0000000100000de8         movsd      xmm0, qword [0x100000f80]
0000000100000df0         mov        dword [rbp+var_4], 0x0
0000000100000df7         call       __Z3sumd        ; sum(double)
0000000100000dfc         xor        eax, eax
0000000100000dfe         add        rsp, 0x10
0000000100000e02         pop        rbp
0000000100000e03         ret
                        ; endp
0000000100000e04         nop        word [cs:rax+rax]
0000000100000e0e         nop

函數(shù)重載結(jié)論

由上面的匯編代碼可知，當(dāng)參數(shù)類(lèi)型不同的時(shí)候，編譯器會(huì)生成不同的函數(shù)名作為區(qū)別，這樣就能實(shí)現(xiàn)函數(shù)重載。

默認(rèn)參數(shù)

規(guī)則

C++允許函數(shù)設(shè)置默認(rèn)參數(shù)，在調(diào)用時(shí)可以根據(jù)情況省略實(shí)參。規(guī)則如下：

默認(rèn)參數(shù)只能按照右到左的順序
如果函數(shù)同時(shí)有聲明、實(shí)現(xiàn)，默認(rèn)參數(shù)只能放在函數(shù)聲明中
默認(rèn)參數(shù)的值可以是常量、全局符號(hào)（全局變量、函數(shù)名）

用法：如果函數(shù)的實(shí)參經(jīng)常是同一個(gè)值，可以考慮使用默認(rèn)參數(shù)

#include "iostream"
using namespace std;
void test(){
 cout << "test()" << endl;
}
// test2函數(shù)
// a沒(méi)有默認(rèn)值
// b 默認(rèn)值是 10
// 最后一個(gè)參數(shù)默認(rèn)值是個(gè)函數(shù)
void test2(int a, int b = 10, void (*func)() = test){
 cout << "a is " << a << endl;
 cout << "b is " << b << endl;
 func();
}
int main(){
 test2(3);
 return 0;
}

可能有沖突，二義性

函數(shù)重載、默認(rèn)參數(shù)可能會(huì)產(chǎn)生沖突、二義性（建議優(yōu)先選擇使用默認(rèn)參數(shù)）
例如下面的代碼中，調(diào)用 test(3); 會(huì)報(bào)錯(cuò)，因?yàn)椴恢酪獔?zhí)行哪個(gè)函數(shù)。

#include "iostream"
using namespace std;

void test(int a){
 cout << a << endl;
}

void test(int a,int b = 10){
 cout << a << endl;
}

int main(){
 test(3); // 這里報(bào)錯(cuò)，因?yàn)椴恢酪獔?zhí)行哪個(gè)函數(shù)
 test(10,20); //這一句可以正確
 return 0;
}

總結(jié)：如果函數(shù)的實(shí)參經(jīng)常是同一個(gè)值，可以考慮使用默認(rèn)參數(shù)

到此這篇關(guān)于C++語(yǔ)法之函數(shù)重載和默認(rèn)參數(shù)的文章就介紹到這了,更多相關(guān)c++ 函數(shù)重載默認(rèn)參數(shù)內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: