1.該函數(shù)的每個(gè)實(shí)參的匹配都不劣于其他可行函數(shù)

2.至少有一個(gè)實(shí)參的匹配優(yōu)于其他可行函數(shù)的匹配

3.滿足上面兩種要求的函數(shù)有且只有一個(gè)

如果上面三個(gè)要求都沒(méi)滿足，則出現(xiàn)二義性

一些演示

各有一個(gè)精確匹配的實(shí)參，編譯器報(bào)錯(cuò),不滿足條件3

error

void func(int a,int b)
{
    cout << "(int,int)" << endl;
}
void func(double a, double b = 3.14)
{
    cout <<"(double,double = 3.14)" << endl;
}
int main()
{
    func(2.3,5);
}

調(diào)用函數(shù)類型轉(zhuǎn)換優(yōu)先級(jí)，依次遞減

1.精確匹配

包含三種

(1)實(shí)參形參類型匹配

(2)從數(shù)組或者函數(shù)轉(zhuǎn)到對(duì)應(yīng)的指針

(3)添加或者刪除頂層const

2.通過(guò)const轉(zhuǎn)換實(shí)現(xiàn)匹配

3.通過(guò)類型提升匹配

4.通過(guò)算術(shù)類型轉(zhuǎn)換或者指針轉(zhuǎn)換的匹配

5.通過(guò)類類型轉(zhuǎn)換實(shí)現(xiàn)的匹配

小整形一般提升為int或者long，即便他的面量很小

void func(int a)
{
    cout << "(int)" << endl;
}
void func(short a)
{
    cout << "(short)" << endl;
}
int main()
{
    func(12);
    func('a');
}

運(yùn)行結(jié)果

所有算數(shù)類型級(jí)別轉(zhuǎn)換都一樣

error

void func(double a)
{
    cout << "(double)" << endl;
}
void func(float a)
{
    cout << "(float)" << endl;
}
int main()
{
    func(3.14);
}

不能重載const 和非const兩個(gè)版本，但是引用可以

關(guān)于引用：非const可以升級(jí)為const，但是const不能降級(jí)為非const

若有兩種版本——const and not const，會(huì)根據(jù)傳入的參數(shù)自動(dòng)匹配

void func(const int &a)
{
    cout << "(const int&)" << endl;   
}
void func(int &a)
{
    cout << "(int&)" << endl;
}
int main()
{
    const int a = 3;
    int b = 4;
    func(a);
    func(b);
    func(5);
}

運(yùn)行結(jié)果

指針的情況于引用類似：

如果兩個(gè)函數(shù)唯一的區(qū)別是他們指向的對(duì)象是常量或非常量，則編譯器根據(jù)實(shí)參選擇函數(shù)。

演示

void func(const int *a)
{
    cout << "(const int *)" << endl;
}
void func(int *)
{
    cout << "(int *)" << endl;
}
 
int main()
{
    int a = 3;
    int *pa = &a;
    const int *c_pa = &a;
    const int b = 4;
    const int *pb = &b;
    func(pa);
    func(c_pa);
    func(pb);
}

運(yùn)行結(jié)果

上面提到過(guò)的一些重載

using namespace std;
 
void func(int a)
{
    cout << "(int)" << endl;
}
void func(double a)
{
    cout << "(double)" << endl;
}
void func(int a,int b)
{
    cout << "(int,int)" << endl;
}
void func(double a, double b = 3.14)
{
    cout <<"(double,double = 3.14)" << endl;
}
void func(short a)
{
    cout << "(short)" << endl;
}
void func(float a)
{
    cout << "(float)" << endl;
}
void func(const int &a)
{
    cout << "(const int&)" << endl;
}
void func(int &a)
{
    cout << "(int&)" << endl;
}
void func(const int *a)
{
    cout << "(const int *)" << endl;
}
void func(int *)
{
    cout << "(int *)" << endl;
}

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

您可能感興趣的文章: