PoEdu - C++阶段班- Lesson07 To Lesson10_C to C++ - zzdoit

PoEdu - C++阶段班- Lesson07 To Lesson10_C to C++

07 重载导致的二义性

问题：为什么一定要重载呢？重载能方便我们注重函数的功能，当参数类型不确定时，我们能很便捷的利用重载的机制达到目的。

重载注意点：二义性

看代码：

#include <cstdio>

void MyCout(int num)
{
    printf("%d\n", num);
}

void MyCout(char c)
{
    printf("%c\n",c);
}

void MyCout(float f)
{
    printf("%f\n",f);
}
//MyCout@char*
void MyCout(char *str)
{
    printf("%s\n", str);
}

int main()
{
    
    long lNum = 100;
    MyCout(lNum);
    return 0;
}

高亮代码会调用哪个函数？

断点，运行：100

#include <cstdio>

void MyCout(int num)
{
    printf("%d\n", num);
}

void MyCout(long num)
{
    printf("%l\n", num);
}

void MyCout(char c)
{
    printf("%c\n",c);
}

void MyCout(float f)
{
    printf("%f\n",f);
}
//MyCout@char*
void MyCout(char *str)
{
    printf("%s\n", str);
}

int main()
{
    /*int num = 100;
    char c = 'a';
    char *str = "I Love Mark";
    float f = 1.0002;
    MyCout(f);
    MyCout(str);
    MyCout(num);*/

    short lNum = 100;
    MyCout(lNum);
    return 0;
}

代码测试，short long 不能匹配的时候，隐式的找int

unsigned long 会调用哪个？

重载的函数调用，它中间有个匹配，匹配有几大潜规则：

　　1 精准匹配 2 提升匹配 3 类型转换匹配（当1和2都不能匹配时，尝试强转） 4 当匹配规则冲突时当有了多个匹配时，二义性就出现了。

示例中 usigned long 它匹配的选择过多，产生二义性，所以报错。

如何消除二义性？改成精准匹配就行。

最好是根据业务需求来定义，不能写太多，也不能写太少。重载的时候最好不要用指针。比如（void*）。

再看示例：

#include <cstdio>

void f1(char c)
{
    
}

void f1(long l)
{
    
}

void f2(char * str)
{
    
}

void f2(int * n)
{
    
}

int main()
{
    int n = 100;
    f1(n);
    //f2(n);
    return 0;
}

运行：

1>------ 已启动生成: 项目: OverloadeDemo, 配置: Debug Win32 ------
1> main.cpp
1>e:\c_code\overloadedemo\overloadedemo\main.cpp(34): error C2668: “f1”: 对重载函数的调用不明确
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(8): note: 可能是“void f1(long)”
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(3): note: 或 “void f1(char)”
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(34): note: 尝试匹配参数列表“(int)”时
========== 生成: 成功 0 个，失败 1 个，最新 0 个，跳过 0 个 ==========

这个int找不到精准匹配，也没找到提升匹配，开启强转类型，这里它可以强转为long，又可以强转为char，二义性出现，编译器晕了，糊涂了。

再看示例中的f2()

#include <cstdio>

void f1(char c)
{
    
}

void f1(long l)
{
    
}

void f2(char * str)
{
    
}

void f2(int * n)
{
    
}

int main()
{
    /*int num = 100;
    char c = 'a';
    char *str = "I Love Mark";
    float f = 1.0002;
    MyCout(f);
    MyCout(str);
    MyCout(num);*/

    int n = 100;
    //f1(n);
    f2(n);
return 0;
}

运行：

1>------ 已启动生成: 项目: OverloadeDemo, 配置: Debug Win32 ------
1> main.cpp
1>e:\c_code\overloadedemo\overloadedemo\main.cpp(35): error C2665: “f2”: 2 个重载中没有一个可以转换所有参数类型
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(18): note: 可能是“void f2(int *)”
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(13): note: 或 “void f2(char *)”
1> e:\c_code\overloadedemo\overloadedemo\main.cpp(35): note: 尝试匹配参数列表“(int)”时
========== 生成: 成功 0 个，失败 1 个，最新 0 个，跳过 0 个 ==========

n的地址是一个unsgned int 类型，可以是char * 也可以是int* , 那么二义性产生。

为了避免二义性：要么精准匹配，要么强转类型。

08 默认实参

代码示例：

#include <cstdio>

void MyCout(int num,bool line)
{
    printf("%d", num);
    if(line)
        printf("\n");
}

void MyCout(char c , bool line )
{
    printf("%c",c);
    if(line)
        printf("\n");
}

void MyCout(char* str, bool line )
{
    printf("%s",str);
    if(line)
        printf("\n");
}

int main()
{
   MyCout(100,true);//参数true 不可缺少
   return 0;
}

这里MyCout(100,true)两个参数都要写上

代码一变：

#include <cstdio>

void MyCout(int num,bool line = true)
{
    printf("%d", num);
    if(line)
        printf("\n");
}

void MyCout(char c , bool line )
{
    printf("%c",c);
    if(line)
        printf("\n");
}

void MyCout(char* str, bool line )
{
    printf("%s",str);
    if(line)
        printf("\n");
}

int main()
{
   MyCout(100,true);//可以写
　　MyCout(100);　　//也可以不写
return 0;
}

如果参数全部默认实参，那么，就可以什么参数也不写入：

#include <cstdio>

void MyCout(int num=50,bool line=true)
{
    printf("%d", num);
    if(line)
        printf("\n");
}

void MyCout(char c , bool line )
{
    printf("%c",c);
    if(line)
        printf("\n");
}

void MyCout(char* str, bool line = true)
{
    printf("%s",str);
    if(line)
        printf("\n");
}

int main()
{
   MyCout();
    MyCout(100,true);
    MyCout("I Love Mark",true);
    MyCout("I Love Mark");
   return 0;
}

当全部默认实参的时候，函数可以什么也不传递，当有一个默认实参的时候，这个参数可写入，也可以不写。

当全部默认实参的时候，也要注意二义性的产生：

#include <cstdio>

void MyCout(int num=50,bool line=true)
{
    printf("%d", num);
    if(line)
        printf("\n");
}

void MyCout(char c , bool line )
{
    printf("%c",c);
    if(line)
        printf("\n");
}

void MyCout(char* str = "I Love Mark", bool line = true)
{
    printf("%s",str);
    if(line)
        printf("\n");
}

int main()
{
   MyCout();
    MyCout(100,true);
    MyCout("I Love Mark",true);
    MyCout("I Love Mark",false);
    MyCout("I Love Mark");
   return 0;
}