C++超详细分析函数重载的使用

目录
  • 一、函数重载分析(上)
    • 1.1 重载的定义
    • 1.2 函数重载的定义
    • 1.3 函数重载需要满足的条件
    • 1.4 编译器调用重载函数的准则
    • 1.5 函数重载的注意事项
    • 1.6 小结
  • 二、函数重载分析(下)
    • 2.1 函数重载遇上函数指针
    • 2.2 C++和C的相互调用
    • 2.3 使得C代码只会以C的方式被编译的解决方案
    • 2.4 小结

一、函数重载分析(上)

1.1 重载的定义

定义:同一个标识符在不同的上下文有不同的意义

1.2 函数重载的定义

  • 用同一个函数名定义不同的函数
  • 当函数名和不同的参数搭配时函数的含义不同

如下:

下面看一段代码,感受一下:

#include <stdio.h>
#include <string.h>
int func(int x)
{
    return x;
}
int func(int a, int b)
{
    return a + b;
}
int func(const char* s)
{
    return strlen(s);
}
int main(int argc, char *argv[])
{
    printf("%d\n", func(3));
    printf("%d\n", func(4, 5));
    printf("%d\n", func("D.T.Software"));
    return 0;
}

下面为输出结果:

1.3 函数重载需要满足的条件

函数重载至少满足下面的一个条件:

  • 参数个数不同
  • 参数类型不同
  • 参数顺序不同

下图所示就是参数的顺序不同:

下面看一个函数默认参数遇上函数重载的实例程序:

#include <stdio.h>
int func(int a, int b, int c = 0)
{
    return a * b * c;
}
int func(int a, int b)
{
    return a + b;
}
int main(int argc, char *argv[])
{
    int c = func(1, 2);
    return 0;
}

下面为输出结果:

编译报错,因为模棱两可。如果说调用第一个函数说的过去,因为符合函数默认参数规则,c 的值已经确定;调用第二个函数也符合常理,所以编译不会通过。

1.4 编译器调用重载函数的准则

将所有同名函数作为候选者

尝试寻找可行的候选函数

  • 精确匹配实参
  • 通过默认参数能够匹配实参
  • 通过默认类型转换匹配实参

匹配失败

  • 最终寻找到的候选函数不唯一,则出现二义性,编译失败。
  • 无法匹配所有候选者,函数未定义,编译失败。

1.5 函数重载的注意事项

  • 重载函数在本质上是相互独立的不同函数
  • 重载函数的函数类型不同
  • 函数返回值不能作为函数重载的依据

函数重载是由函数名和参数列表决定的!!!

函数重载的本质是什么?下面通过一段代码深入分析,编译环境为VS2012。

#include "stdafx.h"
#include <stdio.h>
int add(int a, int b)  // int(int, int)
{
    return a + b;
}
int add(int a, int b, int c) // int(int, int, int)
{
    return a + b + c;
}
int main()
{
    printf("%p\n", (int(*)(int, int))add);
    printf("%p\n", (int(*)(int, int, int))add);
    return 0;
}

由C语言的知识可以知道,函数名就是函数的入口地址,所以输出结果如下:

可以看到,两个 add() 函数的入口地址不一样,所以这两个 add 是两个不同的函数。

编译器是如何看待这两个 add() 函数的呢?下面来深入分析。先看一下编译器产生的中间结果,在Test -> Debug -> Test.obj 文件中。

然后使用VS2012里面自带的命令行工具查看 Test.obj 里面有什么东西。

上图示为VS2012 命令行所在位置

输入 dumpbin,如下:

这里只需要关系 SYMBOLS(符号表),符号表就是编译器在编译过程中根据源代码所生成的一张表,这张表有程序的函数名变量等等。

输入以下命令,其中 /symbols 后面为 Test.obj 所在的位置。

找到下面的地方,可以看到编译器编译 (int __cdecl add(int,int)) 时标识符为?add@@YAHHH@Z;而编译器编译(int __cdecl add(int,int,int)) 时标识符为?add@@YAHHHH@Z ,也就是说编译器在编译这两个函数时已经把这两个函数分别对待,尽管它们名字一样,所以两个 add() 函数的入口地址不一样,这就很好理解了。

1.6 小结

  • 函数重载是 C++ 中引入的概念
  • 函数重载用于模拟自然语言中的词汇搭配
  • 函数重载使得 C++ 具有更丰富的语义表达能力
  • 函数重载的本质为相互独立的不同函数
  • C++ 中通过函数名和函数参数确定函数调用

二、函数重载分析(下)

2.1 函数重载遇上函数指针

将重载函数名赋值给函数指针时

  • 根据重载规则挑选与函数指针参数列表一致的候选者
  • 严格匹配候选者的函数类型与函数指针的函数类型

下面看一段代码:

#include <stdio.h>
#include <string.h>
int func(int x)
{
    return x;
}
int func(int a, int b)
{
    return a + b;
}
int func(const char* s)
{
    return strlen(s);
}
typedef int(*PFUNC)(int a);
int main(int argc, char *argv[])
{
    int c = 0;
    PFUNC p = func;
    c = p(1);
    printf("c = %d\n", c);
    return 0;
}

下面为输出结果:

这也就是前面说的通过函数指针所指向的函数类型参数列表来进行选择。

注意事项

  • 函数重载必然发生在同一个作用域中
  • 编译器需要用参数列表或函数类型进行函数选择
  • 无法直接通过函数名得到重载函数的入口地址(可以通过指针来获取)

如下,这段代码想通过函数名获取重载函数的入口地址:

#include <stdio.h>
int add(int a, int b)  // int(int, int)
{
    return a + b;
}
int add(int a, int b, int c) // int(int, int, int)
{
    return a + b + c;
}
int main()
{
    printf("%p\n", add);
    printf("%p\n", add);
    return 0;
}

编译的时候会报错,无法确定是哪个函数。

2.2 C++和C的相互调用

  • 实际工程中C++和C代码相互调用是不可避免的
  • C++编译器能够兼容C语言的编译方式
  • C++编译器会优先使用C++编译的方式
  • extern 关键字能强制让C++编译器进行C方式的编译

如下:

在 Linux环境下新建一个 9-2 文件夹,先在文件夹下新建 add.c 和 add.h 文件,如下:

add.c :

#include "add.h"
int add(int a, int b)
{
    return a + b;
}

add.h :

int add(int a, int b);

通过 linux 命令 cd 进入 9-2 文件夹,再将 add.c 转换成 add.o 文件,如下所示:

然后在 9-2 文件夹下建一个 main.cpp 文件,如下:

mian.cpp :

#include <stdio.h>
#include "add.h"
int main()
{
    int c = add(1,2);
    printf("c = %d\n", c);
    return 0;
}   

对程序进行编译,发现程序报错,没有定义 add() 函数,但是函数确实已经定义了,可以使用 linux 中的 nm 指令查看 add.o 里面的信息,打印出来的就是符号表信息,可以看到确实有 add 。

这个时候就需要使用 extern关键字强制让C++编译器进行C方式的编译,所以 main.cpp就要修改成这样:

#include <stdio.h>
extern "C"
{
  #include "add.h"
}
int main()
{
    int c = add(1,2);
    printf("c = %d\n", c);
    return 0;
}   

这样编译就能通过了:

如果在 9-2 文件中新建一个 main.c 文件,main.c 里面的代码 与 main.cpp 中的相同。

进行编译,发现会报错误,因为 extern 关键词写法是 C++ 中的, C语言不支持该写法。那有没有一种写法既能被 C语言编译通过,又能让 C++编译通过呢?且看下面。

2.3 使得C代码只会以C的方式被编译的解决方案

  • _cplusplus 是C++编译器内置的标准宏定义
  • _cplusplus 的意义是确保C代码以统一的C方式被编译成目标文件

如下:

所以上述代码可以写作,main.c和 main.cpp 均为:

#include <stdio.h>
#ifdef __cplusplus
extern "C" {
#endif
#include "add.h"
#ifdef __cplusplus
}
#endif
int main()
{
    int c = add(1, 2);
    printf("c = %d\n", c);
    return 0;
}

这样程序在 C语言和 C++ 的编译环境下均能通过,如下:

注意事项

C++编译器不能以C的方式编译重载函数

编译方式决定函数名被编译后的目标名

  • C++编译方式将函数名和参数列表编译成目标名
  • C 编译方式只将函数名作为目标名进行编译

下面通过一个例子说明一下:

int add(int a, int b)  // int(int, int)
{
    return a + b;
}
int add(int a, int b, int c) // int(int, int, int)
{
    return a + b + c;
}

将该代码编译成目标文件,取名为 test.oo,然后通过 linux 中的 nm 命令查看 test.oo 中的东西,可以看到 test 符号表里面有两个东西 T _Z3addii 和T _Z3addiii,这就是 add 函数被编译过后的目标函数名,ii 表示两个参数, iii 表示三个参数。

如果采用 C 方式编译重载函数,代码如下:

extern "C"
{
    int add(int a, int b)  // ==>add
    {
        return a + b;
    }
    int add(int a, int b, int c) // ==>add
    {
        return a + b + c;
    }
}

下面为编译结果,可以看到编译报错,说两个 add() 函数冲突了。

2.4 小结

  • 函数重载是 C++ 对 C 的一个重要升级
  • 函数重载通过函数参数列表区分不同的同名函数
  • extern 关键字能够实现 C 和 C++的相互调用
  • 编译方式决定符号表中的函数名的最终目标名

到此这篇关于C++超详细分析函数重载的使用的文章就介绍到这了,更多相关C++函数重载内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • 详解C++之函数重载

    函数重载本质 c++中通过函数名和函数确定一个函数 所以相同的函数名,不同参数也是可以的 不同于c语言,c语言没有函数重载,函数的本质地址就是函数名 函数重载发生在同一个作用域内 类中的重载 构造函数重载 普通成员函数重载 静态成员函数重载 全局函数.静态成员函数.普通成员函数可以发生重载吗? 本质就是函数名和函数参数不同,并且发生在同一个作用域 静态函数和普通成员函数是可以的 全局函数作用域在全局作用域,所以不可以 问题1:当父类的成员函数和子类的成员函数相等,会发生重载吗? 本质还是上面说的

  • C++基础学习之函数重载的简单介绍

    前言 我们在平时写代码中会用到几个函数但是他们的实现功能相同,但是有些细节却不同.例如:交换两个数的值其中包括(int, float,char,double)这些个类型.在C语言中我们是利用不同的函数名来加以区分. void Swap1(int* a, int* b); void Swap2(float* a, float* b); void Swap3(char* a, char* b); void Swap4(double* a, double* b); 我们可以看出这样的代码不美观而且给程

  • C++语法中的函数重载和默认参数

    C语言中没有函数重载 C++语言中有函数重载 函数名相同,参数个数不同.参数类型不同.参数顺序不同 例如下面就是函数重载 void sum(int a, int b){ cout << a+b << endl; } void sum(int a, double b){ cout << a+b << endl; } 返回值类型与函数重载无关 返回值类型与函数重载无关,下面代码不构成重载,编译会报错 //返回值类型与函数重载无关 int func(){ retu

  • C++函数重载的定义与原因详解

    目录 引例 函数重载的定义 函数重载规则 为什么C不支持函数重载而C++可以 内部名称 总结 引例 如果要求你只能通过print函数,即能打印字符串,又能打印一个整型. 虽然在C语言中我们可以通过 print_i 和print_s来实现功能. 但是C++更方便.C++支持同一函数名,完成类似的功能的语法. void print(int i) { cout << "print a integer :" << i << endl; } void prin

  • C++入门语法之函数重载详解

    目录 写在前面 1 函数重载的概念 2 函数重载原理 总结 写在前面 关于C语言的编译与链接不懂的可以看一下下面的文章,先回顾一下以前的知识. 详解C语言的编译与链接 1 函数重载的概念 函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数 或 类型 或 顺序)必须不同,常用来处理实现功能类似数据类型不同的问题. //1.函数的参数个数不同 #include <iostream> using namespace std; void

  • C++中函数重载详解

    目录 函数重载的概念 函数重载的应用 为什么C++支持函数重载,而C语言不支持 函数重载的概念 函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的 形参列表(参数个数 或 类型 或 顺序)必须不同,常用来处理实现功能类似数据类型不同的问题. 函数重载的应用 1.比如以下代码,函数名一样,而参数的类型不同,在调用的时候编译器会根据传递的参数自动进行匹配. 2.在例如以下代码,我们进行编译,都可以编译成功. 3.接下来看一个有趣的现象,将上述第二个例子

  • C++ 函数重载详情介绍

    文章转自微信公众号:Coder梁(ID:Coder_LT) 函数重载 函数重载还有一个别名叫函数多态,其实我个人感觉函数多态这个名字更好理解更恰当一些. 函数多态是C++在C语言基础上的新特性,它可以让我们使用多个同名函数.当然这些同名函数的参数是要有区别的,我们在函数调用的时候,编译器会自动根据我们传入的参数,从多个同名函数当中找到我们调用的那一个.和面向对象里的多态的概念很接近. 我们在定义函数的时候,编译器只会查看参数的数目和类型,而不会理会参数的名称.只要参数的数量以及类型不完全相同,就

  • C++函数重载介绍与原理详解

    目录 函数重载 函数重载的概念 函数重载的原理(名字修饰) 总结: extern “C” 函数重载 函数重载的概念 函数重载是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表必须不同.函数重载常用来处理实现功能类似,而数据类型不同的问题. #include <iostream> using namespace std; int Add(int x, int y) { return x + y; } double Add(double x, doub

  • C++默认参数与函数重载及注意事项

    一.默认参数 在C++中,可以为参数指定默认值.在函数调用时没有指定与形参相对应的实参时, 就自动使用默认参数. 默认参数的语法与使用: (1)在函数声明或定义时,直接对参数赋值.这就是默认参数: (2)在函数调用时,省略部分或全部参数.这时可以用默认参数来代替. 注意: (1)默认参数只可在函数声明中设定一次.只有在没有函数声明时,才可以在函数定义中设定.(#add ,此句意为存在函数声明和定义两部分的时候.验证表明有这个限制,可以随便,但出于规范,在声明中指定) (2)如果一个参数设定了缺省

  • C++超详细分析函数重载的使用

    目录 一.函数重载分析(上) 1.1 重载的定义 1.2 函数重载的定义 1.3 函数重载需要满足的条件 1.4 编译器调用重载函数的准则 1.5 函数重载的注意事项 1.6 小结 二.函数重载分析(下) 2.1 函数重载遇上函数指针 2.2 C++和C的相互调用 2.3 使得C代码只会以C的方式被编译的解决方案 2.4 小结 一.函数重载分析(上) 1.1 重载的定义 定义:同一个标识符在不同的上下文有不同的意义 1.2 函数重载的定义 用同一个函数名定义不同的函数 当函数名和不同的参数搭配时

  • C++超详细讲解函数重载

    目录 1 函数重载的定义 2 构成函数重载的条件 3 编译器调用重载函数的准则 4 函数重载的注意事项 4.1 避开重载带有指定默认值参数的函数 4.2 注意函数重载遇上函数指针 4.3 C++编译器不能以 C 的方式编译重载函数 1 函数重载的定义 函数重载:使用同一个函数名定义不同的函数.从本质上来看,就是互相独立的不同函数,每一个函数类型不同.因此,函数重载是由函数名和参数列表决定的. 注意:函数返回值不能作为函数重载的重要依据! 2 构成函数重载的条件 当满足以下三个条件之一时,便可以构

  • C++超详细讲解操作符的重载

    目录 一.需要解决的问题 二.操作符重载 三.小结 一.需要解决的问题 下面的复数解决方案是否可行? 下面看一下复数的加法操作: #include <stdio.h> class Complex { int a; int b; public: Complex(int a = 0, int b = 0) { this->a = a; this->b = b; } int getA() { return a; } int getB() { return b; } friend Comp

  • C++超详细讲解数组操作符的重载

    目录 一.字符串类的兼容性 二.重载数组访问操作符 三.小结 一.字符串类的兼容性 问题:string 类对象还具备 C 方式字符串的灵活性吗?还能直接访问单个字符吗? string 类最大限度的考虑了 C 字符串的兼容性 可以按照使用 C 字符串的方式使用 string 对象 下面看一个用 C 方式使用 string 类的示例: #include <iostream> #include <string> using namespace std; int main() { stri

  • C++超详细讲解运算符重载

    目录 概念 赋值运算符重载 const成员 取地址及const取地址操作符重载 概念 C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类 型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似. 函数名字为:关键字operator后面接需要重载的运算符符号. 函数原型:返回值类型 operator操作符(参数列表) 需要注意的几点: 不能通过连接其他符号来创建新的操作符:比如operator@,必须是已有的操作符: 重载操作符必须有一个类类型

  • C++函数模板与重载解析超详细讲解

    目录 1.快速上手 2.重载的模板 3.模板的局限性 4.显式具体化函数 5.实例化和具体化 6.重载解析 6.1 概览 6.2 完全匹配中的三六九等 6.3 总结 7.模板的发展 1.快速上手 函数模板是通用的函数描述,也就是说,它们使用泛型来定义函数. #include<iostream> using namespace std; template <typename T> void Swap(T &a,T &b);//模板原型 struct apple{ st

  • Java超详细分析泛型与通配符

    目录 1.泛型 1.1泛型的用法 1.1.1泛型的概念 1.1.2泛型类 1.1.3类型推导 1.2裸类型 1.3擦除机制 1.3.1关于泛型数组 1.3.2泛型的编译与擦除 1.4泛型的上界 1.4.1泛型的上界 1.4.2特殊的泛型上界 1.4.3泛型方法 1.4.4类型推导 2.通配符 2.1通配符的概念 2.2通配符的上界 2.3通配符的下界 题外话: 泛型与通配符是Java语法中比较难懂的两个语法,学习泛型和通配符的主要目的是能够看懂源码,实际使用的不多. 1.泛型 1.1泛型的用法

  • C++超详细分析红黑树

    目录 红黑树 红黑树的概念 红黑树的性质 红黑树结点的定义 红黑树的插入操作 情况一 情况二 情况三 红黑树的验证 用红黑树封装map.set 红黑树的迭代器 封装map 封装set 红黑树 红黑树的概念 红黑树的概念 红黑树,是一种二叉搜索树,但在每个结点上增加一个存储位表示结点的颜色,可以是Red或Black. 通过对任何一条从根到叶子的路径上各个结点着色方式的限制,红黑树确保没有一条路径会比其他路径长出俩倍,因而是接近平衡的. 红黑树和AVL树都是高效的平衡二叉树,增删改查的时间复杂度都是

  • C++ 超详细深入分析单例模式

    目录 不能被拷贝的类 C++98 C++11 只能在堆上创建对象的类 只能在栈上创建对象的类 不能被继承的类 C++98 C++11 只能创建一个对象的类(单例模式) 设计模式 单例模式 饿汉模式 懒汉模式 不能被拷贝的类 拷贝只会放生在两个场景中:拷贝构造函数以及赋值运算符重载,因此想要让一个类禁止拷贝,只需让该类不能调用拷贝构造函数以及赋值运算符重载即可. C++98 将拷贝构造函数与赋值运算符重载只声明不定义,并且将其访问权限设置为私有即可. class CopyBan { //... p

  • Java 超详细讲解对象的构造及初始化

    目录 如何初始化对象 构造方法 特性 默认初始化 就地初始化 如何初始化对象 我们知道再Java方法内部定义一个局部变量的时候,必须要初始化,否则就会编译失败 要让这串代码通过编译,很简单,只需要在正式使用a之前,给a设置一个初始值就好那么对于创造好的对象来说,我们也要进行相对应的初始化我们先写一个Mydate的类 public class MyDate { public int year; public int month; public int day; /** * 设置日期: */ pub

随机推荐